Re: Doctrines of Maybe: 7 truth values

Article View: sci.logic

Article #635

#635

From: Falko Spiller
Date: Mon, 11 Jan 1993 19:04

16 lines
1216 bytes

an example:
in math we use really 4 truth values:
1.true (a proof is given)
2.false (a disproof is given)
3.independent (a proof of independence is given, eg.Cantor hypothesis)
  (ie. true xor false, ad libitum , if you want to say so)
4.unknown (else, eg. Riemann hypothesis)

and this will ever be the case if we have a incomplete logic without
entscheidungsverfahren. these four truth values are not new but always
used in mathematics. 

a good 1993.       falko spiller
--
Falko Spiller  fsp@thp.uni-koeln.de
Uni-Koeln,Inst.f.Theo.Physik

Technical Details

Message-ID: <FSP.93Jan11190451@sun7.thp.uni-koeln.de>

Path:

arc1-ca.pugleaf.net!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

References: <1993Jan5.020944.20105@sophia.smith.edu> <1993Jan11.100803.6802@cs.rug.nl>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!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
From: fsp@thp.uni-koeln.de (Falko Spiller)
Newsgroups: sci.logic
Subject: Re: Doctrines of Maybe: 7 truth values
Date: 11 Jan 93 19:04:51
Organization: Institute of Theoretical Physics, University of Cologne, F. R.
 Germany
Lines: 16
Message-ID: <FSP.93Jan11190451@sun7.thp.uni-koeln.de>
References: <1993Jan5.020944.20105@sophia.smith.edu>
 <1993Jan11.100803.6802@cs.rug.nl>
NNTP-Posting-Host: sun7.thp.uni-koeln.de
In-reply-to: peterb@cs.rug.nl's message of Mon, 11 Jan 1993 10:08:03 GMT

Reply to Parent Message