致AI：你是我今生最大的机会吗？( 七 )_：致AI：你是我今生最大的机会吗？在这

莱布尼兹对于“一切皆可计算”满怀热情，据说他的口头禅是：来，让我们算一下。

1651年，托马斯·霍布斯在其名著《利维坦》中提出了一个开创性的思想：

从这个层面来说，“推理”只不过是“计算”，也就是对我们大脑中的一些符号与表达的结果进行加加减减。当我们独立计算时，称其为“符号”；当我们向他人展示与证明我们的计算时，则称其为“表达”。

随后，交织着伟大的思想和伟大的公式，不同的学科先后发生着融合：

1847年，午治·布尔成功地把形式逻辑归结为一种代数，创立了逻辑代数学；1936年，图灵严格地描述了计算机的逻辑结构，首次提出了计算机的通用模型——“图灵机”；1938年，香农用二进制系统表达布尔代数中的逻辑关系，把二进制运算与电子器件相结合，实现了逻辑功能，将逻辑映射到现实物理世界；1945年6月，冯·诺依曼提出了在数字计算机内部的存储器中存放程序的概念,这是所有现代电子计算机的模板，被称为“冯· 诺依曼结构”。如果我们跳出现代计算机的定义，还可以向前追溯至“通用计算机之父”巴贝奇，以及为他的机器编写了最早计算机软件的Ada。