In his 1936 paper, Alan Turing proved that a program capable of solving the halting problem for all possible input programs—while being guaranteed to halt itself—is a logical impossibility.

Authors

• Person: Not available Organization: The Long Now Foundation
  Life, Intelligence, and Consciousness: A Functional Perspective

Sources

• Life, Intelligence, and Consciousness: A Functional Perspective longnow.org The Long Now Foundation via serper

Referenced by nodes (1)

• Alan Turing entity