Timeline for What is some current research going on in foundations about?
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Dec 14, 2016 at 20:54 | comment | added | Andrej Bauer | Excellent. Glad to hear it. | |
| Dec 14, 2016 at 18:46 | comment | added | Timothy Chow | @AndrejBauer : Yes, reverse mathematics is very active. MathSciNet lists almost a hundred papers with "reverse mathematics" in the title that have been published since Simpson's book. There are so many new results that there is now a "Reverse Mathematics Zoo" to help people keep track of them. rmzoo.math.uconn.edu Simpson's book didn't finish the subject; it started it. | |
| Dec 14, 2016 at 7:46 | comment | added | Andrej Bauer | Is reverse mathematics still active? I always get the feeling that Simpson's book more or less finished the subject off. | |
| S Dec 12, 2016 at 20:10 | history | answered | Timothy Chow | CC BY-SA 3.0 | |
| S Dec 12, 2016 at 20:10 | history | made wiki | Post Made Community Wiki by Timothy Chow |