Turing in Context—Response
Andrew Hodges · Science · 2012
In 1936, Turing did follow Godel's 1931 revolution in logic. His first citation was to Godel, and he described his mathematical argument as similar to Godel's. But Turing successfully addressed Hilbert's question of decidability, a problem that Godel's work had not settled. He did so based on an