andrel wrote:
> Darren New wrote:
>> andrel wrote:
>>> There will always be statements that can not be proven within a set 
>>> of axioms and theories.
>>
>> The one part of this I've never figured out is...

>>
> IIRC it is one of those proofs where you assume something is possible.

No, you actually construct the string that the formalism can't prove. 
The string consists of essentially saying "this cannot be proven." If 
you can prove it, then it's false. If you can't prove it, then it's true 
but unprovable.

I understand it at that level, but it would seem to need a 
jump-out-of-the-system kind of analysis. I.e., that you *know* it "says" 
this cannot be proven.

-- 
   Darren New / San Diego, CA, USA (PST)
     On what day did God create the body thetans?

Post a reply to this message