home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / sci / logic / 1264 < prev    next >
Encoding:
Text File  |  1992-08-15  |  888 b   |  20 lines
  1. Newsgroups: sci.logic
  2. Path: sparky!uunet!usc!sol.ctr.columbia.edu!eff!snorkelwacker.mit.edu!galois!riesz!tycchow
  3. From: tycchow@riesz.mit.edu (Timothy Y. Chow)
  4. Subject: ZFC+~Con(ZFC)
  5. Message-ID: <1992Aug16.000726.5227@galois.mit.edu>
  6. Sender: news@galois.mit.edu
  7. Nntp-Posting-Host: riesz
  8. Organization: None.  This saves me from writing a disclaimer.
  9. Date: Sun, 16 Aug 92 00:07:26 GMT
  10. Lines: 8
  11.  
  12. Assuming ZFC is consistent, there are models of ZFC+~Con(ZFC).  Are such
  13. models interesting?  Have they been studied?  Or to put it another way, are
  14. there any interesting consequences of assuming that ZFC is INconsistent?
  15. -- 
  16. Tim Chow     tycchow@math.mit.edu
  17. Where a calculator on the ENIAC is equipped with 18,000 vacuum tubes and weighs
  18. 30 tons, computers in the future may have only 1,000 vacuum tubes and weigh
  19. only 1 1/2 tons.                               ---Popular Mechanics, March 1949
  20.