Popular Question
Question with 1,000 views. This badge can be awarded multiple times.
earned this badge 14 times.
Awarded Sep 15, 2023 at 15:31
Awarded Sep 12, 2023 at 16:42
Awarded Sep 8, 2023 at 12:51
Awarded Apr 1, 2022 at 0:27
Awarded Apr 27, 2021 at 1:07
How can the simply typed lambda calculus be Turing-incomplete, yet stronger than second-order logic?
Awarded Dec 5, 2020 at 14:35
Awarded Apr 30, 2020 at 7:26
Awarded Apr 25, 2020 at 1:27
Awarded Apr 24, 2019 at 18:10
Awarded May 9, 2018 at 22:48
Awarded Apr 16, 2018 at 16:32
Awarded Dec 5, 2017 at 19:27
Awarded Aug 1, 2015 at 16:29
Awarded Apr 27, 2015 at 11:11