From: ags@seaman.cc.purdue.edu (Dave Seaman) Newsgroups: sci.logic,sci.math Subject: Re: Godels theorem Date: 7 Oct 1998 12:54:48 -0500 In article , C.Y./J.E.Cripps wrote: >Nagel & Newman's Godel's Proof (I think that's the title) is good also, >and shorter. (I think that's the title. Not sure if it is in print.) >A very good expository text. One of Raymond Smullyan's logic-puzzle books >is related to this subject, but it's a puzzle book, not an exposition. >Can't remember the title, it might be the Lady or the Tiger? There may be more than one such, but there is a puzzle called "The Goedelian Forest" in Smullyan's book _To Mock a Mockingbird_. The object is to prove, from a certain set of axioms, that a certain forest contains at least one bird that sings, but is not a nightingale. There is an unstated correspondence x is a bird <-> x is a proposition x sings <-> x is true x is a nightingale <-> x is provable and, of course, one of the axioms guarantees that all nightingales sing. -- Dave Seaman dseaman@purdue.edu ++++ stop the execution of Mumia Abu-Jamal ++++ ++++ if you agree copy these lines to your sig ++++ ++++ see http://www.xs4all.nl/~tank/spg-l/sigaction.htm ++++