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 ++++