主要观点总结
本文介绍了乐观的理性主义在十九世纪末至二十世纪初的物理、数学和法学领域的影响，以及理性主义者如莱布尼兹、哥德尔等人的思想。文章还讨论了弗雷格的逻辑主义纲领和希尔伯特的形式主义纲领的失败，以及哥德尔不完全性定理对数学基础的影响。最后介绍了哥德尔纲领的不同版本，以及武丁计划实现哥德尔纲领的尝试及其所面临的挑战。结论指出，真正的乐观理性主义者会尝试给出清晰明确的论断，即使这些论断最终被证明是错误的，它们对数学世界的认识仍然有贡献。
关键观点总结
关键观点1: 乐观的理性主义在十九世纪末至二十世纪初的主流地位
理性主义者相信存在某些知识，它们不是通过经验案例得到的，而只能依赖于理性的直接把握。莱布尼兹的通用文字设想被认为是现代逻辑的先声。
关键观点2: 弗雷格和希尔伯特的失败
弗雷格的逻辑主义纲领和希尔伯特的形式主义纲领都试图一劳永逸地解决数学基础问题，但最终都失败了。罗素的发现让人们意识到即使是逻辑或集合论的基础也可能出问题。
关键观点3: 哥德尔不完全性定理的影响
哥德尔定理表明，希尔伯特计划在很强的意义上无法实现。不完全性定理带来的冲击使得人们不再像弗雷格或希尔伯特那样寻求一个完全的数学基础。
关键观点4: 哥德尔纲领的不同版本及武丁计划的挑战
哥德尔提出了自己的乐观理性主义纲领，试图通过补充新的公理来解决连续统假设等独立命题的问题。武丁计划是实现哥德尔纲领的一种尝试，通过内模型理论为大基数公理的一致性提供佐证。然而，武丁计划也面临着诸多挑战和争议。
文章预览
一、乐观的理性主义 对理性主义者来说，十九世纪末至二十世纪初无疑是一段令人怀念的美妙时光。人们相信，无论是以经典力学、电磁学和热力学为代表的物理学或是以《德国民法典》为代表的大陆法系都已接近完备。而在数学上，康托尔（Georg Cantor）集合论让人类第一次可以有意义地谈论各种不同的无穷；弗雷格（GottlobFrege）的概念文字使数学得以摆脱来自自然语言的模糊性；希尔伯特（David Hilbert）号召建立完备的形式系统一劳永逸地解决经典数学（包括康托尔集合论）的基础问题： 一切明确的数学问题都必然有一个确切的解答。我们甚至可以说，某种乐观的理性主义是那个时代的主流。 理性主义者认为， 存在某类知识，它们不是通过一个个经验案例得到的，而只能依赖于某种来自于理性的能力的直接把握。他们进一步宣称，人类的理性
………………………………
