Re:What were Einstein and Gödel talking about? (2005)
by SomeStupidPoint on Thursday October 13, 2016 @01:35PM
(#12702527)
How do you actually execute the test though?
A test requires that you be able to produce an artifact which is witness to the results -- what could you produce as the result of the test to distinguish between a true, but unprovable theorem and a nearly true theorem with a single (very, very, VERY) large counter-example?
A test requires that you be able to produce an artifact which is witness to the results -- what could you produce as the result of the test to distinguish between a true, but unprovable theorem and a nearly true theorem with a single (very, very, VERY) large counter-example?