home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #20 / NN_1992_20.iso / spool / sci / math / 11491 < prev    next >
Encoding:
Text File  |  1992-09-15  |  969 b   |  24 lines
  1. Newsgroups: sci.math
  2. Path: sparky!uunet!mcsun!sunic!sics.se!torkel
  3. From: torkel@sics.se (Torkel Franzen)
  4. Subject: Re: ZFC etc. (was Re: Report on Philosophies of Physicists)
  5. In-Reply-To: jbaez@riesz.mit.edu's message of Tue, 15 Sep 92 16:56:35 GMT
  6. Message-ID: <TORKEL.92Sep15200707@bast.sics.se>
  7. Sender: news@sics.se
  8. Organization: Swedish Institute of Computer Science, Kista
  9. References: <716501145.10401@minster.york.ac.uk> <TORKEL.92Sep15063308@bast.sics.se>
  10.     <1992Sep15.165635.12446@galois.mit.edu>
  11. Date: Tue, 15 Sep 1992 19:07:07 GMT
  12. Lines: 10
  13.  
  14. In article <1992Sep15.165635.12446@galois.mit.edu> jbaez@riesz.mit.edu 
  15. (John C. Baez) writes:
  16.  
  17.    >The propositional calculus might be inconsistent and we have somehow failed
  18.    >to notice this so far; 
  19.  
  20.   This is an observation of the same kind as "perhaps the fundamental
  21. theorem of arithmetic is not really true", or "perhaps Euclid's
  22. algorithm sometimes gives the wrong answer", and so on. Not very
  23. exciting stuff.
  24.