home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / math / 10306 < prev    next >
Encoding:
Internet Message Format  |  1992-08-16  |  1.1 KB
  1. Path: sparky!uunet!europa.asd.contel.com!gatech!bloom-beacon!eru.mt.luth.se!lunic!sunic!sics.se!sics.se!torkel
  2. From: torkel@sics.se (Torkel Franzen)
  3. Newsgroups: sci.math
  4. Subject: Re: You know, the integers (was: Re: Stupid question about FLT)
  5. Message-ID: <1992Aug16.172642.13398@sics.se>
  6. Date: 16 Aug 92 17:26:42 GMT
  7. References: <1992Jul21.132554.152734@ns1.cc.lehigh.edu>
  8.     <1992Jul29.173257.5041@ariel.ec.usf.edu> <1992Aug4.174928.1071@sics.se>
  9.     <1992Aug11.190119.23518@ariel.ec.usf.edu>
  10. Sender: news@sics.se
  11. Organization: Swedish Institute of Computer Science, Kista
  12. Lines: 11
  13. In-Reply-To: mccolm@darwin.math.usf.edu.'s message of 11 Aug 92 19:01:19 GMT
  14.  
  15. In article <1992Aug11.190119.23518@ariel.ec.usf.edu> mccolm@darwin.math.usf.
  16. edu. (Gregory McColm) writes:
  17.  
  18.    >From there, we get more problems.  Suppose that you 
  19.    >believe that the model of the integers exist.  Is PA 
  20.    >true on this model?
  21.  
  22.   What is PA? My explanation of the integers is simple: the integers
  23. are 0, s(0), s(s(0)) and so on. Any obscurity or ambiguity that you
  24. find in this explanation carries over to any explanation of what is
  25. meant by "PA".
  26.