数学作为 "带有一些符号的人类语言 "是不精确的（如怀尔斯 FLT 证明）。它有一些隐藏的假设，而且经常有一些有待解释的东西（例如平行公设）。这就是为什么贝特拉德-罗素（Bertrard Russell）等人花费了毕生精力将数学形式化，并从数学中剔除人类的解释和假设。
代码总是对思想进行精确而完整的描述。根据去年的《自然》论文，代码和数学之间是等价的。事实上，代码（尤其是像 Haskell 这样的语言）是一种更好的表达数学思想的语言，但往往仍不如传统的混合符号简洁。
数学作为 "带有一些符号的人类语言 "是不精确的（如怀尔斯 FLT 证明）。它有一些隐藏的假设，而且经常有一些有待解释的东西（例如平行公设）。这就是为什么贝特拉德-罗素（Bertrard Russell）等人花费了毕生精力将数学形式化，并从数学中剔除人类的解释和假设。
代码总是对思想进行精确而完整的描述。根据去年的《自然》论文，代码和数学之间是等价的。事实上，代码（尤其是像 Haskell 这样的语言）是一种更好的表达数学思想的语言，但往往仍不如传统的混合符号简洁。