Timeline for Diagonal lemma from recursion theorem?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 15, 2011 at 22:09 | comment | added | Cole Leahy | Thanks, Ali. I was unaware of that paper, and will take a look. | |
| Jul 15, 2011 at 21:56 | comment | added | Ali Enayat | You may have already seen this, but in section 5 of the paper below, the "one-formula-at-a-time" version of the Diagonal Lemma is derived from Kleene's (Second) Recursion Theorem: Kleene's amazing Second Recursion Theorem, by Yiannis N. Moschovakis, Bulletin of Symbolic Logic, June 2010, pages 189 — 239, an online copy of which is available at math.ucla.edu/~asl/bsl/1602-toc.htm | |
| Jul 15, 2011 at 19:43 | history | asked | Cole Leahy | CC BY-SA 3.0 |