Nice Question
Question score of 10 or more. This badge can be awarded multiple times.
Awarded 22964 times.
Awarded 3 hours ago
Awarded 3 hours ago
Awarded 10 hours ago
Awarded 14 hours ago
Awarded 20 hours ago
Awarded yesterday
Is it decidable whether two real algebraic irrationals generate the same extension of the rationals?
Awarded yesterday
Awarded 2 days ago
Awarded 2 days ago
Awarded 2 days ago
Awarded Mar 26 at 1:41
Awarded Mar 25 at 23:30
Awarded Mar 25 at 22:57
Awarded Mar 25 at 18:09
Awarded Mar 25 at 5:43
Awarded Mar 24 at 14:35
Awarded Mar 24 at 6:04
Awarded Mar 22 at 20:32
Awarded Mar 22 at 12:00
Awarded Mar 22 at 11:55
Awarded Mar 22 at 8:15
Awarded Mar 21 at 15:11
Awarded Mar 21 at 9:09
Awarded Mar 20 at 15:32
Awarded Mar 20 at 0:43
Awarded Mar 19 at 1:57
Awarded Mar 19 at 1:16
Awarded Mar 18 at 20:32
Awarded Mar 18 at 19:06
Awarded Mar 18 at 17:05
Awarded Mar 18 at 10:18
How can the simply typed lambda calculus be Turing-incomplete, yet stronger than second-order logic?
Awarded Mar 17 at 17:40
Awarded Mar 17 at 17:32
Awarded Mar 17 at 6:42
Awarded Mar 17 at 1:19
Awarded Mar 16 at 20:16
Awarded Mar 16 at 19:26
Awarded Mar 16 at 0:49
Awarded Mar 15 at 18:52
Awarded Mar 15 at 16:47
Awarded Mar 15 at 14:18
Awarded Mar 15 at 13:50
Awarded Mar 15 at 1:52
Awarded Mar 14 at 17:57
Awarded Mar 14 at 1:27
Awarded Mar 13 at 8:05
Awarded Mar 12 at 20:07
Awarded Mar 12 at 16:10
Awarded Mar 12 at 13:50
Awarded Mar 12 at 9:01
Awarded Mar 11 at 19:55
Awarded Mar 11 at 18:40
Awarded Mar 11 at 17:55
Awarded Mar 11 at 16:30
Awarded Mar 10 at 19:31
Awarded Mar 9 at 20:05
Awarded Mar 9 at 19:57
Awarded Mar 9 at 16:17
Awarded Mar 8 at 21:05
Awarded Mar 8 at 16:18