| 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:12
Perplexed by Rice's theorem
feb 12 at 16:15
Is $(aaaaa)^n aa (aaaaa)^n$ a regular language?
jan 5 at 1:36
Importance of recursion in computability theory
dec 21 at 18:17
No compression algorithm can compress all input messages?
nov 29 at 8:36
First-order logic arity defines decidability?
jun 20 '12 at 8:53
Representing Negative and Complex Numbers Using Lambda Calculus
