第十二讲：20世纪数学概.pptVIP

第十一讲：20世纪数学概观（1）  11.4对基础的深入探讨 集合论悖论 三大学派 数理逻辑的发展 三大学派 一、逻辑主义 1.逻辑主义的历史渊源 逻辑主义的形成究其本原可以追溯到莱布尼兹时代，他把逻辑学想象成一种普遍的科学，这种科学包括构成其它所有科学的基础的一些原则，这种逻辑学先于一切科学的观点，即是逻辑主义思想原则的萌芽。但他并未能开展这一方面的工作。到了19世纪，戴德金、弗雷格和皮亚诺等人继承莱氏先志，逐步发挥，并且都取得了不小的成就。 二、形式主义 形式主义理论体系是在非欧几何产生之后，在数学和数学哲学研究中弥漫的“重建数学基础”的气氛中形成的。 当非欧几何得到人们的承认，亦即当得出互相矛盾的定理的两种几何都证明了不自相矛盾的时候，人们便要问：数学的真理体现在那里？试想想，一个几何说，过直线外一点只能作一条直线不与原有的直线相交；另一个几何说，过直线外一点至少可作两条直线不与原有的直线相交；这两个几何不是互相打架了吗？理应至少有一个是错误的，为什么两个几何都成立呢？ 2.形式主义的基本思想 希尔伯特计划的主要思想就