home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / 9353 < prev    next >
Encoding:
Internet Message Format  |  1992-07-21  |  1.4 KB
  1. Path: sparky!uunet!spool.mu.edu!mixcom.com!ttyytt
  2. From: ttyytt@mixcom.com (Adam Costello)
  3. Newsgroups: sci.math
  4. Subject: Re: Stupid question about FLT
  5. Message-ID: <1992Jul20.234036.9686@mixcom.com>
  6. Date: 20 Jul 92 23:40:36 GMT
  7. Article-I.D.: mixcom.1992Jul20.234036.9686
  8. References: <1992Jul18.224827.2167@sics.se> <1992Jul20.035836.4789@mixcom.com> <1992Jul20.080932.24570@sics.se>
  9. Organization: Milwaukee Internet Xchange BBS, Milwaukee, WI U.S.A.
  10. Lines: 19
  11.  
  12. In article <1992Jul20.080932.24570@sics.se> torkel@sics.se (Torkel Franzen) writes:
  13. >In article <1992Jul20.035836.4789@mixcom.com> ttyytt@mixcom.com
  14. > (Adam Costello) writes:
  15. >
  16. >   >Isn't it?  I can think of a non-recursive set of axioms which would admit
  17. >   >only models elementarily equivalent to the standard model N, namely the
  18. >   >set Th N.
  19. >
  20. >  Yes. However, Th N also has nonstandard models, and I thought that this
  21. >was what you meant by "models which aren't exactly like the natural
  22. >numbers".  Anyway it is a good idea, I believe, to clarify this point.
  23.  
  24. Okay, I see that you could imagine "non-standard" models of Th N, but since
  25. these models make exactly the same sentences true that N does, this brand
  26. of non-standardness isn't very upsetting.  It's the possibility of a
  27. non-standard model that actually disagrees with N about the truth of some
  28. sentences that provokes discussions like the one we're in the middle of.
  29.  
  30. AMC
  31.