Who did Turing revise the results on the limits of proof and computation in 1931?