Invisible wrote:
> (For example, both these explanations neatly omit the fact that Godel's 
> theorum only applies to "sufficiently powerful systems".)

Yes, except "sufficiently powerful" includes "anything that can do integer 
arithmetic."  And Godel indeed does apply to insufficiently powerful systems 
because they can't, by definition, prove everything that is true.

-- 
Darren New, San Diego CA, USA (PST)
   Forget "focus follows mouse." When do
   I get "focus follows gaze"?

Post a reply to this message