一台机器，证明了数学定理，还证得比人更简洁
"逻辑理论家"程序尝试证明《数学原理》一书中的52条定理，最终成功证明了其中38条，其中一条定理的证明甚至比罗素与怀特海原书给出的证明更加简洁优雅。纽厄尔与西蒙曾兴致勃勃地把这一结果寄给罗素本人，罗素回信说很高兴看到这一结果，但也委婉地表示，如果他早知道花在这条证明上的功夫可以省下来，他会很乐意的——这段轶事此后常被引用，作为"机器辅助证明"这一此后蓬勃发展的研究领域最早的趣味注脚。
📐
纽厄尔与西蒙
本名Allen Newell & Herbert A. Simon
美国计算机科学家搭档，"逻辑理论家"程序的共同发明者
想到"机器能思考"的人 · 先驱者
逻辑理论家（Logic Theorist）通用问题求解器符号主义人工智能的奠基理论
是谁
艾伦·纽厄尔（1927-1992）与赫伯特·西蒙（1916-2001）是长期在卡内基梅隆大学共事的美国计算机科学家搭档，二人合作近三十年，被公认为人工智能符号主义学派最重要的奠基人之一。他们1956年编写的"逻辑理论家"程序，能够自动证明伯特兰·罗素与阿尔弗雷德·怀特海经典著作《数学原理》中的多条定理（其中一条证明甚至比原书给出的证明更简洁），这被普遍认为是历史上第一个真正意义上的人工智能程序。二人此后提出"物理符号系统假说"，主张智能行为的本质是对符号进行操作与变换，这一假说此后成为符号主义人工智能长达数十年的核心理论纲领，与后来兴起的连接主义（神经网络）路径分庭抗礼。西蒙同时也是经济学家，1978年因其在组织决策行为方面的研究获得诺贝尔经济学奖，二人共同于1975年获得图灵奖。
依据原典纽厄尔与西蒙《逻辑理论家》（1956）西蒙1978年诺贝尔经济学奖颁奖词
主要故事
人物关系
盟友
今日回响
以下是现代作品对这个名字或故事的借用、改写，不代表原始内容——两者不一样，别混着记。
"物理符号系统假说"的持久争议二人提出的这一假说，此后与连接主义（神经网络）路径长期分庭抗礼，这场"符号主义与连接主义孰优孰劣"的争论，某种程度上至今仍未完全平息。