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.