News for hackers. Stuff that matters.
Re:Unanswerable multiple choice question by tdmackey on Thursday May 20, 2010 @04:43AM (#1363551)
No. Godel's incompleteness theorems say nothing about non-arithmetical or non-mathematical statements nor do they apply in contexts where no formal system exists. Some sort of paradox, sure, but Godel doesn't apply.

Truth is not a mathematical concept, and determining the "truth" or "falsehood" of a sentence has nothing to do with Godel's incompleteness theorems.

Re:Unanswerable multiple choice question by JoeAltmaier on Thursday May 20, 2010 @08:17AM (#1363816)
Boolean logic is an "arithmetic system"
Re:Unanswerable multiple choice question by jheriko on Thursday May 20, 2010 @07:47PM (#1365900)
er.. truth is precisely a mathematical concept, it underlies the concepts of proof and theorem pretty heavily, not to mention formal logic.