claim
Alan Turing's proof regarding the halting problem provided a negative answer to the Entscheidungsproblem.

Authors

Sources

Referenced by nodes (1)