Enlightened
First to answer and accepted with score of 10 or more. This badge can be awarded multiple times.
earned this badge 35 times.
Awarded Feb 24 at 22:11
Awarded Jan 5 at 17:55
Awarded Aug 4, 2022 at 16:51
Awarded Oct 22, 2021 at 1:40
Awarded Jun 25, 2021 at 2:11
Awarded Nov 3, 2020 at 16:34
Awarded Oct 19, 2020 at 18:42
Awarded Oct 12, 2020 at 7:03
Awarded Sep 12, 2020 at 14:13
Awarded Dec 22, 2019 at 14:20
Awarded Jul 22, 2019 at 4:30
Awarded Jun 28, 2019 at 14:30
How can the simply typed lambda calculus be Turing-incomplete, yet stronger than second-order logic?
Awarded Jan 30, 2019 at 21:40
Awarded Oct 11, 2018 at 20:35
Awarded Sep 3, 2018 at 1:30
Awarded Aug 2, 2018 at 5:30
Awarded Nov 23, 2016 at 15:52
Awarded Nov 16, 2016 at 16:41
Awarded Jun 24, 2016 at 16:41
Awarded Dec 22, 2015 at 4:08
Awarded Jun 2, 2015 at 8:19
Awarded Mar 6, 2015 at 3:01
Awarded Feb 12, 2014 at 18:32
Awarded Nov 22, 2013 at 19:29
Awarded Nov 15, 2013 at 0:28
Awarded Jun 4, 2013 at 9:35
Awarded Jun 2, 2013 at 17:50
Awarded May 24, 2013 at 16:05
Awarded Apr 11, 2013 at 23:50
Awarded Dec 13, 2012 at 6:20
Awarded Mar 21, 2012 at 22:05
Awarded Jul 13, 2011 at 7:20
Awarded Dec 3, 2010 at 5:20
Awarded May 29, 2010 at 11:05
Awarded Apr 21, 2010 at 18:50