Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!brahms!gsmith
From: gsmith@brahms.BERKELEY.EDU (Gene Ward Smith)
Newsgroups: net.ai,net.philosophy
Subject: Re: A halting problem: a meaty response
Message-ID: <11590@ucbvax.BERKELEY.EDU>
Date: Wed, 29-Jan-86 03:04:39 EST
Article-I.D.: ucbvax.11590
Posted: Wed Jan 29 03:04:39 1986
Date-Received: Thu, 30-Jan-86 05:45:17 EST
References: <2175@aecom.UUCP> <14551@rochester.UUCP>
Sender: usenet@ucbvax.BERKELEY.EDU
Reply-To: gsmith@brahms.UUCP (Gene Ward Smith)
Distribution: net
Organization: University of California, Berkeley
Lines: 10
Xref: watmath net.ai:3234 net.philosophy:3981

>I don't quite understand this note, so I'll try to rephrase it.  Nobody *knows*
>whether Peano arithmetic is consistent, but everyone (well, almost everyone :-)
>*believes* it is.  If one day someone proves it is not, then everyone will, in
>fact, *know* it is inconsistent.  The same comment applies to the higher and

  Actually, I know the Peano axioms are correct, because the integers are
a model for them. So there!
 

   Gene Smith