Badge

 Enlightened First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.

Andrej Bauer earned this badge 3 times
feb 15 at 16:40
How are programming languages and foundations of mathematics related?
dec 23 at 12:39
No compression algorithm can compress all input messages?
nov 29 at 9:06
First-order logic arity defines decidability?

Others with this badge