Timeline for Has Goedel's Second Incompleteness Theorem been proven using Lawvere's Fixed Point Theorem?
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 11, 2022 at 18:14 | vote | accept | jpt4 | ||
| Jun 10, 2022 at 11:45 | answer | added | godelian | timeline score: 12 | |
| Jun 10, 2022 at 1:00 | comment | added | jpt4 | Should you wish to convert your comment into an answer, I would mark this question resolved. | |
| Jun 10, 2022 at 0:56 | comment | added | jpt4 | "We have the following lemma, the AU-incarnation of the diagonalization lemma. It is reminiscent of Lawvere’s fixed point theorem." - @godelian, thank you very much, this looks promising. I had read about Joyal's work on arithmetic categories here [0], and Maria Maietti's modernization of them, but did not know if they had yet been used to categorify Goedel's 2nd Incompleteness Theorem. - [0] "Categorical folklore": mathoverflow.net/questions/126513/… | |
| Jun 9, 2022 at 21:07 | comment | added | godelian | Joyal has provided a proof of both the first and second incompleteness theorems which is a categorical version entirely analogous to Gödel's original proof. The proof has been made available at arxiv.org/abs/2004.10482 | |
| S Jun 9, 2022 at 20:59 | review | First questions | |||
| Jun 9, 2022 at 23:50 | |||||
| S Jun 9, 2022 at 20:59 | history | asked | jpt4 | CC BY-SA 4.0 |