Research breakthrough · curated entry
Logic Theorist runs as the first theorem-proving program
Logic Theorist
- Date
- August 1956
- Category
- Research breakthrough
- Organization / Model
- Allen Newell, Cliff Shaw & Herbert Simon
- Evidence
- 1 source · 1 evidence family
Newell, Simon and Shaw wrote a program that proved propositions from Principia Mathematica, generally regarded as the first AI program actually run. Together with the Dartmouth meeting that year it fixed symbolic reasoning as the central route of early AI.
Curator's note: Cross-checked against the RAND technical report page.
Curated sources · 1
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 纪年. Logic Theorist 运行，首个自动定理证明程序问世[EB/OL]. (1956-08)[2026-11-03]. https://aihist.net/e/logic-theorist-1956.html.
APA 7 · American Psychological Association
AI 纪年. (1956, August). Logic Theorist 运行，首个自动定理证明程序问世 [Web page]. https://aihist.net/e/logic-theorist-1956.html
MLA 9 · Modern Language Association
"Logic Theorist 运行，首个自动定理证明程序问世." AI 纪年, Aug. 1956, aihist.net/e/logic-theorist-1956.html. Accessed 3 Nov. 2026.
Chicago 17 · notes-bibliography
AI 纪年. "Logic Theorist 运行，首个自动定理证明程序问世." Published Aug. 1956. Accessed Nov. 3, 2026. https://aihist.net/e/logic-theorist-1956.html.
IEEE · citation-reference list
"Logic Theorist 运行，首个自动定理证明程序问世," AI 纪年, Aug. 1956. [Online]. Available: https://aihist.net/e/logic-theorist-1956.html. [Accessed: 3 Nov. 2026].
ACM · author-date variant
AI 纪年. August 1956. Logic Theorist 运行，首个自动定理证明程序问世. Retrieved November 3, 2026 from https://aihist.net/e/logic-theorist-1956.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.