Godel’s Theorems
Peter Smith has posted the complete draft of his book on Godel’s Theorems online (forthcoming from CUP). Among other things, the book contains some interesting and provocative remarks about the Church-Turing thesis, including an argument that it is provable. Smith invites everyone to check out his book and send him comments and corrections.His …