This was pretty similar to the previous day: I worked through more of Leary and Kristiansen’s logic book.

I read a bit of the Boolos/Burgess/Jeffrey book, namely 14.1 (sequent calculus) and 14.3 (other proof procedures and Hilbert’s thesis). I had previously read this when I was first learning logic out of this book (many months ago). This made way more sense now that I have had more exposure to logic from other sources.

I started on the page Comparison of intuitive notions of computability and proof.

I thought again about the two different ways of stating semantic completeness.

I read more of Peter Smith’s Gödel book.

(The caffeine reset has been going well; I can mostly think normally now and I don’t need to nap in the afternoon.)