|Nice Answer||Answer score of 10 or more. This badge can be awarded multiple times.|
Andrej Bauer earned this badge 9 times
apr 15 at 20:12Perplexed by Rice's theorem
feb 12 at 16:15Is $(aaaaa)^n aa (aaaaa)^n$ a regular language?
jan 5 at 1:36Importance of recursion in computability theory
dec 21 at 18:17No compression algorithm can compress all input messages?
nov 29 at 8:36First-order logic arity defines decidability?
jun 20 '12 at 8:53Representing Negative and Complex Numbers Using Lambda Calculus