[FOM] The Lucas-Penrose Thesis

[mjmurphy]

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?

Cheers,

M.J.Murphy