question: Who did Turing revise the results on the limits of proof and computation in 1931 ?
answer: Kurt Gödel
turker_answer: Turing revised the results of Kurt Gödel on the limits of proof and computation in 1931 .
rule-based: Turing revised Kurt Gödel the results on the limits of proof and computation in 1931 .