2019-02-06
I continued trying to understand Gödel’s first incompleteness theorem, diagonalization lemma, etc. Mostly via Leary & Kristiansen’s book, but also Peter Smith’s book. Also this page on SEP.
I started the expresses versus captures page.
Advertisements
Reply