A given Turing machine M either accepts, rejects, or runs forever (when started on a blank tape)... [W]hich one it does is an objective fact, independent of ou

A given Turing machine M either accepts, rejects, or runs forever (when started on a blank tape)... [W]hich one it does is an objective fact, independent of our formal axiomatic theories, the laws of physics, the biology of the human brain, cultural conventions, etc. (p. 43) Nice way to put it. As Franzen points out in "Inexhaustibility", although non-logicians sometimes find it puzzling, the above is related to what mathematicians mean when they say that a statement is true without further qualification. For instance, take Gödel's first incompleteness theorem. It states that if F is any consistent formal system capable of proving statements about whether or not arbitrary Turing machines halt, then there are true statements which cannot be proved within F. (Here, consistent means that it's not possible within F to prove both a statement "S" and its negation "not S".) In the same sense, its true (as Aaronson wrote in "Logicians on Safari") that "there’s a finite (and not unimaginably-large) set of boxes, such that if we knew how to pack those boxes into the trunk of your car, then we’d also know a proof of the Riemann Hypothesis."