… paradox if you tried to argue for completeness and consistency at the same time. Thus, of the three original Hilbert problems, completeness, consistency and decidability, only decidability remained unanswered. Turing spent all of 1935 and...
r uring probably learned of the Entscheidungsproblem in a lecture
IMAGES-003-HOUSE_OVERSIGHT_015911.txt
p.1
View source release ↗