From: Torkel Franzen 
Date: 22 Nov 1996 11:42:31 +0100
Organization: University of Lulea, Sweden


  >Its important to understand that this is not Lucas's idiosyncratic view of
  >Godel.  This _is_ what Godel's theorem amounts to when translated into
  >simple English.

  No it isn't. It is merely an immortal, ineradicable,
always-to-be-with-us misunderstanding of Godel's theorem. It's a
trivial matter to exhibit formal systems for which we have no
idea whether their Godel sentences are true or not.