Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 alpha 4/15/85; site kestrel.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!gamma!epsilon!zeta!sabre!petrus!bellcore!decvax!decwrl!glacier!kestrel!ladkin
From: ladkin@kestrel.ARPA
Newsgroups: net.ai,net.philosophy
Subject: Re: A halting problem: a meaty response
Message-ID: <4377@kestrel.ARPA>
Date: Wed, 29-Jan-86 17:08:13 EST
Article-I.D.: kestrel.4377
Posted: Wed Jan 29 17:08:13 1986
Date-Received: Sat, 1-Feb-86 02:05:19 EST
References: <2175@aecom.UUCP> <14551@rochester.UUCP> <3978@kestrel.ARPA> <11590@ucbvax.BERKELEY.EDU>
Distribution: net
Organization: Kestrel Institute, Palo Alto, CA
Lines: 10
Xref: watmath net.ai:3239 net.philosophy:4004

In article <11590@ucbvax.BERKELEY.EDU>, gsmith@brahms.BERKELEY.EDU (Gene Ward Smith) writes:

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

Gene, was this a serious comment? (I presume you mean the natural
numbers, not the integers). If so, this is circular reasoning,
(which, although logically sound, is epistemologically unhelpful).

Peter Ladkin