Alan Turing
A British mathematician (1912–1954), one of the founders of the theory of computation. In his 1936 paper “On Computable Numbers” he described the Turing machine, the simplest model of any program: a tape of cells and a head that reads, writes and moves by rules. In the same work he showed that some questions about programs cannot be answered by any program; the halting problem follows, and Rice’s theorem follows from that.
Source: Wikipedia: Alan Turing
Where it appears · 2
- Where to check an AI agent's work · Specs and context
- Rice's theorem in plain words · Specs and context