第十一章连续统的不可数性.docVIP

第十一章连续统的不可数性 19世纪的数学 　　每一个世纪都以一种奇特的方式，显示不同的数学重点和数学思维方向。18世纪显然是“欧拉世纪”，因为他在学术领域没有任何对手，始终居于统治地位，并为后代留下了珍贵的数学遗产。相比之下，19世纪虽然没有一位特别出类拔萃的数学家，但却有幸拥有许多优秀数学家，他们将数学疆界推向新的令人意想不到的方向。 　　如果说19世纪不属于某一位数学家，那么，它确实呈现出几个重要的主旋律。19世纪是抽象与广义化的世纪，是对数学的逻辑基础进行深入分析的世纪，这种逻辑基础曾构成牛顿、莱布尼兹和欧拉的理论基础。数学不再受“物理实在性”的局限而变得越来越独立，而在此之前，这种“物理实在性”始终明显地将数学束缚于自然科学。 　　这种脱离实在世界的倾向可以说是以 19世纪前 30年出现的非欧几何作为其独立宣言的。我们在第二章的后记中曾说过，当欧几里得的平行线公设被舍弃而代之以另一命题的时候，出现了一个“奇怪的新世界”。突然间，通过直线外一点，至少可以画两条直线与之平行；相似三角形变成了全等；而三角形的内角和也不再等于180°。然而，对于非欧几何中所有这些似乎矛盾的性质，没有一个人能够从中找出逻辑矛盾。 　　欧金尼奥·贝尔特拉米证明了非欧几何与欧氏几何一样，在逻辑上是成立的。从而在这两种几何之间架起了一座桥梁。我们可以设想，比方说，数学家甲致力于研究欧氏几何，而数学家乙则专