Timeline for How many variations can be derived from Gödel's fixed-point lemma?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 22 at 20:10 | vote | accept | Stanley sun | ||
| Aug 11 at 20:35 | comment | added | Ali Enayat | Not too long ago, Smorynski published an interesting article on the history of (the various kinds of) diagonalization, and it is the kind of article that both a novice and an expert can benefit from; alas it is not free access: The early history of formal diagonalization by C Smoryński, Logic Journal of the IGPL, Volume 31, Issue 6, December 2023, Pages 1203–1224, doi.org/10.1093/jigpal/jzac054 | |
| Aug 9 at 21:19 | comment | added | Stanley sun | Thank you very much, I will read this book. | |
| Aug 9 at 21:03 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
deleted 23 characters in body
|
| Aug 9 at 16:40 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 115 characters in body
|
| Aug 9 at 15:49 | history | edited | Joel David Hamkins | CC BY-SA 4.0 |
added 660 characters in body
|
| Aug 9 at 15:44 | history | answered | Joel David Hamkins | CC BY-SA 4.0 |