[FOM] Godel: the proof from The Book??
ps218 at cam.ac.uk
Mon Aug 23 15:45:13 EDT 2004
I've been having fun dipping into the latest edition of Aigner and
Ziegler's Proofs_from_The_Book. If you happen not to know it, the allusion
in the title is to Paul Erdos's conceit that God maintains a book of the
most elegant proofs of theorems; and Aigner and Ziegler aim to collect
together some beautiful proofs that really deserve to be in The Book
(sometimes two or three of the same result).
Prompted by that, here's a summertime diversion for FOMers (or if you are
in the other hemisphere, something to mull over while huddled by the fire
Leaving Godel's own original effort out of it, what proof of the first
incompleteness theorem would you suggest as a candidate for The Book?
Dr Peter Smith: Faculty of Philosophy, University of Cambridge
www.logicbook.net | www.godelbook.net
(for the "LaTeX for Logicians" page)
More information about the FOM