claim
Alan Turing's proof regarding the halting problem provided a negative answer to the Entscheidungsproblem.
Authors
Sources
- Life, Intelligence, and Consciousness: A Functional Perspective longnow.org via serper
Referenced by nodes (1)
- Alan Turing entity