[FOM] The Lucas-Penrose Thesis

Moshe Vardi vardi at cs.rice.edu
Fri Sep 29 11:35:20 EDT 2006

I believe that Goedel himself muddied the water with his superrealist 
approach. I do not believe that Goedel's Theorem says anything about 
truth. It says that T\not\infers Goedel(T), but
T+Cons(T)\infers T. The theorem itself is provable, say, in ZFC.
Once you take truth out of the picture, this theorem says nothing about 
the mind.


More information about the FOM mailing list