home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / sci / logic / 2570 < prev    next >
Encoding:
Internet Message Format  |  1993-01-11  |  1.2 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!cs.utexas.edu!qt.cs.utexas.edu!yale.edu!ira.uka.de!Sirius.dfn.de!rrz.uni-koeln.de!news.rrz.uni-koeln.de!fsp
  2. From: fsp@thp.uni-koeln.de (Falko Spiller)
  3. Newsgroups: sci.logic
  4. Subject: Re: Doctrines of Maybe: 7 truth values
  5. Date: 11 Jan 93 19:04:51
  6. Organization: Institute of Theoretical Physics, University of Cologne, F. R.
  7.     Germany
  8. Lines: 16
  9. Message-ID: <FSP.93Jan11190451@sun7.thp.uni-koeln.de>
  10. References: <1993Jan5.020944.20105@sophia.smith.edu>
  11.     <1993Jan11.100803.6802@cs.rug.nl>
  12. NNTP-Posting-Host: sun7.thp.uni-koeln.de
  13. In-reply-to: peterb@cs.rug.nl's message of Mon, 11 Jan 1993 10:08:03 GMT
  14.  
  15. an example:
  16. in math we use really 4 truth values:
  17. 1.true (a proof is given)
  18. 2.false (a disproof is given)
  19. 3.independent (a proof of independence is given, eg.Cantor hypothesis)
  20.   (ie. true xor false, ad libitum , if you want to say so)
  21. 4.unknown (else, eg. Riemann hypothesis)
  22.  
  23. and this will ever be the case if we have a incomplete logic without
  24. entscheidungsverfahren. these four truth values are not new but always
  25. used in mathematics. 
  26.  
  27. a good 1993.       falko spiller
  28. --
  29. Falko Spiller  fsp@thp.uni-koeln.de
  30. Uni-Koeln,Inst.f.Theo.Physik
  31.