[FOM] An Introduction to Gödel's Theorems

Peter Smith ps218 at cam.ac.uk
Mon Dec 12 09:18:34 EST 2005

This is just to note that the first half of my draft CUP book "An 
Introduction to Gödel's Theorems" is back on line, and can be downloaded 
from http://www.godelbook.net (This is, I hope, a quite radically improved 
version of what was on-line for a while much earlier in the year.)

FOMers might like to draw this to the attention of (some of) their grad 
students/advanced undergrads. The book is intended to be pretty accessible 
while not cheating (or at least, not too often) on the technicalities. 
Local consumer reaction suggests that students find it significantly more 
manageable for stand-alone study than BBJ, covering similar territory in a 
different order. There's an on-line forum for discussion/feedback too which 
I'll try to look in on regularly.

All comments/feedback from FOMers themselves will, of course, be even more 
gratefully received!

Peter Smith
Dr Peter Smith: Faculty of Philosophy, University of Cambridge

(for the "LaTeX for Logicians" page) 

More information about the FOM mailing list