《数学原理》既现代又富有洞察力

数学原理是现代而富有洞察力的 简介 《数学原理》由怀特海德和罗素于 1910 年出版，但它读起来就像一本关于编程语言的现代教科书。我发现《原理》非常引人入胜且难以忘怀。 《原理》以深刻的洞察力讨论了诸如外延性/内涵性、参照透明度、类型等现代主题。它可能是第一次提到现代意义上的“域”、“alpha 重命名”和“类型”。它的“不完整符号”——仅在上下文中有意义的符号——预期延续和控制运算符。它深刻地观察到自由变量和绑定变量、替代、抽象和应用的概念都来自语言学。我不禁觉得《原理》已经包含了 lambda 演算。例如，当罗素和怀特海坚持对“任何”与“全部”进行单独表示时（尽管承认这些概念在他们的理论中是等效的），似乎也预见到了直觉主义。整个《原理》很大：据说这本书因用了一千页来证明1+1=2而闻名。正如前言所强调的，证明极其详细，以消除在证明中使用未陈述前提的可能性。 《原理》的目标是提出一组非常基本的概念，并表明它们并且仅它们就足以解决整个数学问题。如果今天出版《原理》，所有的证明都将降级为补编（或定理证明者）。重要的是基本概念和设置——其中大部分在前言和第一章中进行了解释。以下是阅读《原理》第一章时所做的一些笔记，其中有雅克·卡雷特（Jacques Carette）非常友善地给出的一些评论。版本 当前版本为 1.3，2026 年 8 月 参考文献 Principia Mathematica，作者：Alfred North Whitehead 和 Bertrand Russell。剑桥：大学出版社，1910 - < http://name.umdl.umich.edu/AAT3201.0001.001 > 完整的扫描文本，非常感谢密歇根大学历史数学收藏伯纳德·林斯基。 《数学原理》中的符号 斯坦福哲学百科全书（2026 年夏季版），Edward N. Zalta 和 Uri Nodelman（编辑） < https://plato.stanford.edu/archives/sum2026/entries/pm-notation/> 参照透明度、外延性 《原理》的第 8 页可能是数学文献中首次提到内涵和外延，以及现在所谓的内容`参照透明性'：``如果 p = q 我们将有 f(p) = f(q) ''。这里 f(p) 是一个包含另一个命题 p 的命题。用现代术语来说，我们将 f 称为上下文并用 C[] 表示，并说如果 peq 则 C[p]eqC[q] ，这是引用透明上下文的常见陈述。然后，该页面显示了一个非引用透明上下文“A 相信 p”的示例：当 p 被替换为等价命题时，其含义会发生变化。这个例子背叛了这个概念的起源，来自语言学，特别是弗雷格的著作（脚注中提到了他）。该书指出“数学总是关注外延而不是内涵。”（再次借用弗雷格术语，但是英文翻译。） 定义：最重要的仅仅是排版便利 在第 12 页，该书指出定义仅仅是排版便利。另一方面，定义是最重要的，因为它们表明了意图。 ……这些定义不是我们主题的一部分，严格来说，只是印刷上的方便。……尽管定义在理论上是多余的，但它们确实常常传达比它们所使用的命题中包含的更重要的信息。 ……定义的集合体现了我们对主题的选择以及我们对什么是最重要的判断。其次，……该定义包含对共同想法的分析，因此可能表达了显着的进步。命题函数：lambda 演算的预期 第 15 页介绍了“命题函数”，现在称为 lambda 项。从页面上的运行示例中亲自查看。 “x 受伤了”[称为模棱两可]实际上根本没有做出任何断言，直到我们确定 x 是谁。然而，由于模糊变量 x 保留的个体性，它是通过对“x 受到伤害”中的 x 给出所有可能的确定而得出的命题集合中的模糊示例，从而产生一个命题，无论是真还是假。然后作者介绍了“命题函数”的符号：“\hat{x} 受到伤害”。尽管可以区分出现在同一上下文中的“x 受到伤害”和“y 受到伤害”，但“\hat{x} 受到伤害”和“\hat{y} 受到伤害”根本没有传达任何含义。”该段落的结论是：“更一般地，φx 是命题函数 φ\hat{x} 的模糊值，并且当确定意义 a 是 s 时，