Timeline for Intuition behind the diagonal lemma while proving Tarski's theorem about truth [duplicate]
Current License: CC BY-SA 3.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 12, 2018 at 10:05 | history | closed |
Emil Jeřábek Asvin CommunityBot |
Duplicate of Arithmetic fixed point theorem | |
| Apr 12, 2018 at 10:05 | comment | added | Asvin | This question is answered here: mathoverflow.net/questions/30874/arithmetic-fixed-point-theorem/… | |
| Apr 12, 2018 at 7:05 | history | edited | Asvin | CC BY-SA 3.0 |
added 280 characters in body
|
| Apr 11, 2018 at 19:25 | answer | added | Peter LeFanu Lumsdaine | timeline score: 6 | |
| Apr 11, 2018 at 17:43 | review | Close votes | |||
| Apr 12, 2018 at 10:06 | |||||
| Apr 11, 2018 at 17:27 | comment | added | Emil Jeřábek | This is not the usual statement of the diagonal lemma, and under any reasonable Gödel encoding, your lemma is false: the Gödel number of an expression is strictly larger than Gödel numbers of its proper subexpressions, and the Gödel number of a numeral for $n$ is larger than $n$ itself. | |
| Apr 11, 2018 at 17:04 | history | edited | Asvin |
edited tags
|
|
| Apr 11, 2018 at 16:57 | history | asked | Asvin | CC BY-SA 3.0 |