Related to the recent NewAPPS symposium on Livingston’s paper on Derrida and diagonalization, my M-Phi co-blogger Jeff Ketland posted a really neat tutorial on diagonalization and the diagonal lemma. One of the things that emerged in discussions of Livingston’s paper is that there are quite a few different conceptions of diagonalization floating around, so in this context Jeff’s post may be of interest to many readers – something like ‘everything you’ve always wanted to know about diagonalization but were afraid to ask’. Enjoy!
Recent Comments