A mathematician calculates the halting probability of a Turing machine.