paradoxes and intuitionist logic
Sun, 15 Aug 1999 16:35:10 -0400
On Sun, Aug 15, 1999 at 02:31:48PM -0400, Ken Evitt wrote:
> Epimenides Paradox, also known as the liar paradox or the paradox of
> self-reference is attributed to Epimenides, a Cretan who made one immortal
> statement: "All Cretans are liars." A sharper version is simply "This
> statement is false."
How about "this statement is a waste of time"...?
Maybe Godel felt it worthwhile to work out his proof because nobody had
*mathematically* shown there's no such thing as perfection. I think he was
trying to say "Don't worry, you'll never get it right."