第2章：符号的黎明——因果的第一次建模

文档摘要

第2章：符号的黎明——因果的第一次建模如果你能把世界写成 If-Then，那你就拥有了世界。问题是，你写不完。一、一个赌注 1965 年，Herbert Simon 说了一句后来被引用了将近六十年的话： “二十年内，机器将能完成人类能做的任何工作。” Simon 是诺贝尔经济学奖得主，是认知科学的奠基人之一，是一个极其聪明的人。他不是在胡说。他有论据。他看见了他那个时代最令人振奋的东西：一台机器，第一次，开始像人类一样推理。不是计算。推理。 Logic Theorist，1956 年，Newell 和 Simon 写的程序，用一组公理和推理规则，自动证明了罗素《数学原理》第二章中的 38 条定理中的 36 条。其中一条的证明，比罗素本人的版本还要简洁。