Turing probably learned of the Entscheidungsproblem in a lecture given at Cambridge University by Max Newman.
Turing probably learned of the Entscheidungsproblem in a lecture given at Cambridge University by Max Newman.
HOUSE_OVERSIGHT_015911.jpg
This document appears to be a page from a biography or history book discussing Alan Turing's development of the theoretical 'Turing Machine' in the mid-1930s. It details his inspiration derived from Gödel's incompleteness theorems and his visualization of a machine using paper tape to compute mathematical problems. The page bears the Bates stamp 'HOUSE_OVERSIGHT_015911', indicating it was included in a document production by the House Oversight Committee.
Discussion 0
No comments yet
Be the first to share your thoughts on this epstein relationship