Research breakthrough · curated entry
Turing defines the machine that defines computation
On Computable Numbers
- Date
- May 1936
- Category
- Research breakthrough
- Organization / Model
- Alan Turing
- Evidence
- 2 sources · 2 evidence families
With an abstract tape machine Turing gave a precise meaning to computable, and proved the halting problem undecidable. The Turing machine became the formal basis of computer science and AI, turning can machines think from philosophy into a tractable computational question.
Curator's note: Cross-checked against the original paper and the Wikipedia article.
Curated sources · 2
-
Original paper · Proceedings of the London Mathematical Society1936-11
doi.org
Cite this page
This page is a curated static snapshot and can be cited directly. Preferred format GB/T 7714—2025 (electronic resource [EB/OL]); the other 5 styles open below, together with the machine-readable files.
GB/T 7714—2025 (electronic resource [EB/OL])
AI 纪年. 图灵提出图灵机，奠定可计算性理论[EB/OL]. (1936-05)[2026-11-03]. https://aihist.net/e/turing-machine-1936.html.
APA 7 · American Psychological Association
AI 纪年. (1936, May). 图灵提出图灵机，奠定可计算性理论 [Web page]. https://aihist.net/e/turing-machine-1936.html
MLA 9 · Modern Language Association
"图灵提出图灵机，奠定可计算性理论." AI 纪年, May 1936, aihist.net/e/turing-machine-1936.html. Accessed 3 Nov. 2026.
Chicago 17 · notes-bibliography
AI 纪年. "图灵提出图灵机，奠定可计算性理论." Published May 1936. Accessed Nov. 3, 2026. https://aihist.net/e/turing-machine-1936.html.
IEEE · citation-reference list
"图灵提出图灵机，奠定可计算性理论," AI 纪年, May 1936. [Online]. Available: https://aihist.net/e/turing-machine-1936.html. [Accessed: 3 Nov. 2026].
ACM · author-date variant
AI 纪年. May 1936. 图灵提出图灵机，奠定可计算性理论. Retrieved November 3, 2026 from https://aihist.net/e/turing-machine-1936.html.
All six styles come from one template and can be compared word for word. [引用日期], Accessed, urldate and Y2 all carry this page's build date, 2026-11-03 — a static page is an immutable snapshot, so substitute the date you actually consulted it. The address in every style is the archive's canonical page: this English page translates the same snapshot, and the work keeps its name, so one record cites both. For one-click copying use the same entry in the timeline, which takes the day you opened it. Expand the other styles before printing.