this indeterminacy confined to axiomatic mathematics. It also appears in computation theory, in a problem that Martin Davis calls the Halting Problem.5 The question that the Halting Problem asks is whether it is possible to determine in advance if a computer will be able to find a definite answer—that is, come to a halt—for any given problem.6 The question has practical importance, for if it cannot be answered, one can suddenly find one’s computer involved in a Strange Loop of its own, which consumes expensive computer time and, in extreme cases (as in the infamous “page fault” error), renders
...more
