Timeline for Lawvere's fixed point theorem and the Recursion Theorem
Current License: CC BY-SA 3.0
9 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/
|
|
| May 21, 2013 at 16:37 | vote | accept | Noah Schweber | ||
| May 20, 2013 at 16:44 | comment | added | The User | @Tanmay That looks like a standard proof of the recursion theorem—without any explicit reference to Lawvere’s theorem (it looks kinda analogously, but we knew that before). | |
| May 20, 2013 at 7:23 | comment | added | Andrej Bauer | That's an answer for logicians, yes. Are we all logicians here? I can be. | |
| May 20, 2013 at 7:22 | answer | added | Andrej Bauer | timeline score: 16 | |
| May 19, 2013 at 23:50 | comment | added | François G. Dorais | Tanmay, isn't that an answer? | |
| May 19, 2013 at 23:32 | history | edited | Peter LeFanu Lumsdaine | CC BY-SA 3.0 |
fixed a (presumably) intended link
|
| May 19, 2013 at 23:07 | comment | added | user3462 | See Theorem 5 here: arxiv.org/pdf/math/0305282v1.pdf. | |
| May 19, 2013 at 22:52 | history | asked | Noah Schweber | CC BY-SA 3.0 |