home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / sci / math / 9358 < prev    next >
Encoding:
Internet Message Format  |  1992-07-21  |  1.5 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!wupost!darwin.sura.net!jvnc.net!netnews.upenn.edu!netnews.cc.lehigh.edu!ns1.cc.lehigh.edu!fc03
  2. From: fc03@ns1.cc.lehigh.edu (Frederick W. Chapman)
  3. Newsgroups: sci.math
  4. Subject: Re: You know, the integers (was: Re: Stupid question about FLT)
  5. Message-ID: <1992Jul21.132554.152734@ns1.cc.lehigh.edu>
  6. Date: 21 Jul 92 13:25:54 GMT
  7. Organization: Lehigh University
  8. Lines: 23
  9.  
  10. In article <1992Jul20.173716.6310@galois.mit.edu>,
  11. tycchow@riesz.mit.edu (Timothy Y. Chow) writes:
  12.  
  13. >Perhaps you might try to use the fact that in ZFC one can formulate a
  14. >proof that any two Peano structures are isomorphic.  In that case,
  15. >consider nonstandard models of ZFC...
  16.  
  17. If I am not mistaken, there are no *KNOWN* models for ZFC, standard or
  18. otherwise!  The consistency of ZFC set theory is not known; if a model
  19. for ZFC were to exist, then ZFC would be consistent.
  20.  
  21. I can't speak for anyone else, but I find the notion that the
  22. consistency of ZFC has not yet been established to be the most
  23. singularly disturbing mathematical news to ever reach my ears, given
  24. that ZFC is intended to serve as a foundation for the rest of
  25. mathematics.
  26. -- 
  27.  
  28. o ------------------------------------------------------------------------- o
  29. |  Frederick W. Chapman, User Services, Computing Center, Lehigh University |
  30. |    Campus Phone:  8-3218     Preferred E-mail Address:  fc03@Lehigh.Edu   | 
  31. |  "I do comedy and magic; what you don't find funny -- that's the magic."  |
  32. o ------------------------------------------------------------------------- o
  33.