Re: Uncertain mathematics

Anders Sandberg (asa@nada.kth.se)
22 Nov 1997 11:52:30 +0100


Leevi Marttila <lm+extropians@sip.fi> writes:

> Is there any 'mathematical' theory? How about using uncertain methods
> to uncover possible new 'things' in mathematics?

A friend of mine mentioned something about proving a version of
Gödel's theorem in fuzzy logic; it essentially said something like
"certain theorems cannot be proved to more than 50%". So I think fuzzy
and other "alternative" logics can be useful in this respect.

-- 
-----------------------------------------------------------------------
Anders Sandberg                                      Towards Ascension!
asa@nada.kth.se                            http://www.nada.kth.se/~asa/
GCS/M/S/O d++ -p+ c++++ !l u+ e++ m++ s+/+ n--- h+/* f+ g+ w++ t+ r+ !y