Another revised chapter for the Study Guide. And again, there is little substantial change from the previous version, except to significantly cut down the length of the “overviews”, which were getting a bit out of hand! Anyway, here is the latest version of the chapter on computable functions, formal arithmetic, and Gödelian incompleteness.
These revised chapters I am posting are being downloaded a significant number of times, but comments (either here or by email) are few and far between. I‘m rather hoping that that’s because people aren’t finding my overviews on topic areas gruesomely misleading or my recommendations for reading too outlandish! But, as I’ve said before, if you do think I’m leading your students horribly astray (if you are a logic teacher) or think the Guide could be more helpful (if you are a student), now really is the time to say!