[FOM] The Lucas-Penrose Thesis

mjmurphy 4mjmu at rogers.com
Sat Oct 7 06:55:28 EDT 2006

Maybe a naive  question.  The Lucas-Penrose thesis turns upon Lucas 
producing an appropriate Godel sentence under certain circumstances.  And a 
Turing Machine is not able to do this?  Is it really that hard to program a 
computer such that it can "produce" a Godel sentence upon request?  And if 
the computer can be programmed to do this, has it proven that it too is not 
a machine?



More information about the FOM mailing list