I continued thinking about the diagonal lemma (I mostly used Peter Smith’s book, some online postings, SEP, and Gaifman’s paper). I think it was on this day that I realized that the proofs of the Rogers fixed point theorem and the diagonal lemma are basically the same, and that the theorems themselves are basically the same (I found a couple of papers and some online postings stating this connection, but I wish more textbooks talked about this).

I wrote the diagonalization lemma page.