events
Alan Turing submits On Computable Numbers for publication.
Related Wikipedia articles
Alan Turing
English computer scientist (1912–1954)
Alan Mathison Turing was an English mathematician, computer scientist, logician, cryptanalyst, philosopher and theoretical biologist. He was highly influential in the development of theoretical computer science, providing a formalisation of the concepts of algorithm and…Source: Wikipedia (CC BY-SA)
Turing's proof
Proof by Alan Turing
Turing's proof is a proof by Alan Turing, first published in November 1936 with the title "On Computable Numbers, with an Application to the Entscheidungsproblem". It was the second proof of the negation of Hilbert's Entscheidungsproblem; that is, the conjecture that some purely…Source: Wikipedia (CC BY-SA)