Did the Turing Machine Decide Hilbert’s Decision Problem?
“The Turing Machine versus the Decision Problem of Hilbert” explains how David Hilbert’s “Decision Problem” met its match at the hands of the mathematical tool “invented” by Alan Turing.
The “Turing machine” decisively proved whether or not the Decision Problem could be solved.