Darren New wrote:
> Orchid XP v8 wrote:
>>>> ....Godel is self-referential?
>>>
>>> Rather famed for it. His proof, at least.
>>
>> Oh, right.
>>
>> I haven't seen it.
> 
> It's basically of writing "this theorem cannot be proven." If it's true, 
> you can't prove it. If it's false, you've proven something false.

So... it's the liar paradox?

-- 
http://blog.orphi.me.uk/
http://www.zazzle.com/MathematicalOrchid*

Post a reply to this message