Turing reformulated Kurt Gödel's 1931 results on the limits of proof and computation, replacing Gödel's universal arithmetic-based formal language with the formal and simple hypothetical devices that became known as Turing machines.
Who did Turing revise the results on the limits of proof and computation in 1931?
Kurt Gödel