Timeline for Can we find strong fixed-points in the fixed-point lemma of Gödel's incompleteness theorem, that is, where the fixed point is syntactically identical to its substitution instance rather than merely provably equivalent to it?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 28, 2023 at 22:34 | history | edited | Ali Enayat | CC BY-SA 4.0 |
Added an update at the end about two recent papers
|
| S Mar 27, 2023 at 6:47 | history | suggested | Benedict Eastaugh | CC BY-SA 4.0 |
Corrected page number and volume for Visser reference in the Handbook of Philosophical Logic
|
| Mar 26, 2023 at 17:27 | review | Suggested edits | |||
| S Mar 27, 2023 at 6:47 | |||||
| Apr 11, 2012 at 2:12 | history | edited | Ali Enayat | CC BY-SA 3.0 |
added 41 characters in body
|
| Apr 11, 2012 at 1:43 | history | answered | Ali Enayat | CC BY-SA 3.0 |