研究突破 · 人工校订条目
Logic Theorist 运行，首个自动定理证明程序问世
Logic Theorist
- 日期
- 1956 年 8 月
- 类别
- 研究突破
- 机构 / 模型
- Allen Newell, Cliff Shaw & Herbert Simon
- 证据
- 1 条 · 1 类
纽厄尔、肖与西蒙编写的 Logic Theorist 能证明《数学原理》中的命题，被视为第一个真正运行的 AI 程序。它与同年达特茅斯会议一起，把符号推理确立为早期 AI 的核心路线。
校订注记：RAND 技术报告页核对
人工校订来源 · 1
引用本页
Logic Theorist 运行，首个自动定理证明程序问世[EB/OL]. AI 纪年, 1956-08. https://aihist.net/e/logic-theorist-1956.html（访问日期：2026-10-25）.
静态页随内容修订重新构建；实时合并证据与自动采集条目见时间轴。