Welcome to European Tribune. It's gone a bit quiet around here these days, but it's still going.
Yes, and it failed on "this statement is false". That's the basic point of Gödel's proof. I don't know how they expected to attribute a truth value to that statement, those formal logicians ; but that you can't attribute a truth value to it sounds even a bit reconforting... Logic doesn't get out of the realm of human experience about truth values.

Un roi sans divertissement est un homme plein de misères
by linca (antonin POINT lucas AROBASE gmail.com) on Thu Jan 3rd, 2008 at 04:13:57 AM EST
[ Parent ]

Others have rated this comment as follows:


Occasional Series