home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / 10615 < prev    next >
Encoding:
Internet Message Format  |  1992-08-27  |  1.6 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!darwin.sura.net!mlb.semi.harris.com!uflorida!usf.edu!darwin!mccolm
  2. From: mccolm@darwin.math.usf.edu. (Gregory McColm)
  3. Newsgroups: sci.math
  4. Subject: Re: You know, the integers (was: Re: Stupid question about FLT)
  5. Message-ID: <1992Aug24.153555.1298@ariel.ec.usf.edu>
  6. Date: 24 Aug 92 15:35:55 GMT
  7. References: <1992Aug4.174928.1071@sics.se> <1992Aug11.190119.23518@ariel.ec.usf.edu> <1992Aug16.172642.13398@sics.se>
  8. Sender: news@ariel.ec.usf.edu (News Admin)
  9. Organization: Univ. of South Florida, Math Department
  10. Lines: 25
  11.  
  12. In article <1992Aug16.172642.13398@sics.se> torkel@sics.se (Torkel Franzen) writes:
  13. >In article <1992Aug11.190119.23518@ariel.ec.usf.edu> mccolm@darwin.math.usf.
  14. >edu. (Gregory McColm) writes:
  15. >
  16. >   >From there, we get more problems.  Suppose that you 
  17. >   >believe that the model of the integers exist.  Is PA 
  18. >   >true on this model?
  19. >
  20. >  What is PA? My explanation of the integers is simple: the integers
  21. >are 0, s(0), s(s(0)) and so on. Any obscurity or ambiguity that you
  22. >find in this explanation carries over to any explanation of what is
  23. >meant by "PA".
  24.  
  25.  
  26. And what, precisely do you mean by "and so on"???  You may think 
  27. that it is obvious what you mean, but a number of people, from 
  28. Aristotle to Brouwer, have had doubts about the murkey depths of 
  29. that "and so on".
  30.  
  31. ===================================================================
  32.                           |
  33. Greg McColm               |    I see it, but I don't believe it.
  34. Dept of Mathematics       |
  35. Univ of S Florida         |        -----Georg Cantor
  36. mccolm@math.usf.edu       |
  37.