“When I was a student, even the topologists regarded mathematical logicians as living in outer space,” commented Martin Davis in 1986. “Today, one can walk into a shop and ask for a ‘logic probe.’”17 Turing’s Universal Machine has held up for seventy-six years.
