Re: Uncertain mathematics

Anders Sandberg (
22 Nov 1997 11:52:30 +0100

Leevi Marttila <> 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!                  
GCS/M/S/O d++ -p+ c++++ !l u+ e++ m++ s+/+ n--- h+/* f+ g+ w++ t+ r+ !y