From: Anders Sandberg (asa@nada.kth.se)
Date: Sat Nov 22 1997 - 03:52:30 MST
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
This archive was generated by hypermail 2.1.5 : Fri Nov 01 2002 - 14:45:09 MST