[FOM] Godel's Theorems: An Introduction
Peter Smith
ps218 at cam.ac.uk
Thu Sep 23 15:54:16 EDT 2004
FOMers with advanced undergraduates/graduate students doing a course on
math logic and/or Gödel's Incompleteness Theorems might like to point them
to the 160+ pages of my draft book available for download from
www.godelbook.net.
Whatever the other virtues or vices of the book as it is developing,
students here said they found the previous version "very accessible",
"easier to follow than the other books". (My local audience are typically
very bright students but without much math background.)
All feedback -- from students and their teachers alike -- always greatly
appreciated, of course!
--
Dr Peter Smith: Faculty of Philosophy, University of Cambridge
www.logicbook.net | www.godelbook.net
--
http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/
(for the "LaTeX for Logicians" page)
--
Dr Peter Smith: Faculty of Philosophy, University of Cambridge
www.logicbook.net | www.godelbook.net
--
http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX/
(for the "LaTeX for Logicians" page)
More information about the FOM
mailing list