home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #19 / NN_1992_19.iso / spool / sci / math / 10629 < prev    next >
Encoding:
Internet Message Format  |  1992-08-27  |  1.1 KB
  1. Path: sparky!uunet!gatech!darwin.sura.net!jvnc.net!yale.edu!think.com!news!columbus
  2. From: columbus@strident.think.com (Michael Weiss)
  3. Newsgroups: sci.math
  4. Subject: The thread that wouldn't die (was:You know, the integers)
  5. Date: 27 Aug 92 11:49:30
  6. Organization: Thinking Machines Corporation, Cambridge MA, USA
  7. Lines: 12
  8. Message-ID: <COLUMBUS.92Aug27114930@strident.think.com>
  9. References: <1992Aug4.174928.1071@sics.se>
  10.     <1992Aug11.190119.23518@ariel.ec.usf.edu>
  11.     <1992Aug16.172642.13398@sics.se>
  12.     <1992Aug24.153555.1298@ariel.ec.usf.edu>
  13.     <1992Aug27.141149.14345@sics.se>
  14. NNTP-Posting-Host: strident.think.com
  15. In-reply-to: torkel@sics.se's message of Thu, 27 Aug 1992 14:11:49 GMT
  16.  
  17. As Torkel Franzen explains, if one is willing to use the phrase "the formal
  18. system PA" without blushing, one shouldn't gag at "the integers".  (Note
  19. that one might accept "the integers" without qualms and still feel nauseous
  20. at "the universe of sets".)
  21.  
  22. To clarify this point, I offer the following variation on PA:
  23.  
  24.     1. There exists a first post in this thread.
  25.  
  26.     2. For any post in this thread, there is a reply to it.
  27.  
  28. I believe (2); I'm not so sure about (1).
  29.