Hilbert’s Decision Problem

Journal Articles

For an introduction to Hilbert and his problems, read “Deciding the Undecidable: Wrestling with Hilbert’s Problems.” This speech was given by Solomon Feferman to a general audience at Stanford University, and places Turing in the context of other thinkers who have grappled with Hilbert’s problems.

Read the “On Computable Numbers, with an Application to the Entscheidungsproblem,” the 1936 article in which young Turing first discusses Hilbert’s decision problem and the theoretical Turing machine.