Home›Papers
Papers
Papers
Papers that changed AI, with a plain-language explainer for each.
Total 101 · Clear filters
- 1936
On Computable Numbers, with an Application to the Entscheidungsproblem
Proc. London Math. Soc.
Alan Turing's 1936 paper defined computable numbers through an abstract machine, now called the Turing machine, and showed that no general method can decide whether any given mathematical statement is provable.