News for hackers. Stuff that matters.
Re:This Post Is Meaningless – The Liar Paradox by kazinator on Wednesday May 10, 2017 @03:01PM (#14310699)
Gödel's theorem is about "this sentence has no proof (in formal system S)", which is only resembles the direct self-contradiction in the Liar Paradox.

Unprovable isn't false. If any axiom could talk, it could say that about itself. "I'm true, but unprovable; I'm an axiom, darn it!"

There are no comments on this comment yet.