paradoxes and intuitionist logic

Tom Novelli
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."