Timeline for Intuition behind the diagonal lemma while proving Tarski's theorem about truth
Current License: CC BY-SA 3.0
2 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Apr 12, 2018 at 7:02 | comment | added | Asvin | Thanks for the correction. I was aware of the issue between different terms evaluating to the same number but didn't think through what that meant for the diagonal lemma. | |
Apr 11, 2018 at 19:25 | history | answered | Peter LeFanu Lumsdaine | CC BY-SA 3.0 |