对集合论的评价与认识

Answer 1

集合论的未来

我们现在讨论一些相关的感兴趣的话题，人们对这些话题的观点是不同的，对于我，下文表中感叹号!的个数代表它推动我的工作的程度.

话题 A: 对集合论兴趣的来源

数学基础/对哲学的应用 !
对数学的应用 !!!
历史原因 !!!
内在的发展 !!!!
美感 !!!!!!!!!
证明的乐趣 !!!!!
一般化 !!!!!!
游戏娱乐 [加上流行的规则] !!!

我们也可以用这些话题对当前集合论的工作和学者评价分类，所以下面我们将重点强调它们的差异。在很大程度上我被吸引到数学然后是数理逻辑中来是因为它们的一般化，我以为我这种一般化观点是正确的；看来我似乎错了。我感到例子经常会把你搞糊涂：特殊的性质只是陷阱因为它们在普通的情况下不成立，注意“一般化”我是指我宁愿以一般的一阶完全理论为研究对象，而不是有限Morley秩的单群，但我的信条不是"不要只见树木，不见森林“，处理每个问题都要根据它的特性，找到你自己的领域对其他领域的应用意味着展示一些其他人会感兴趣的东西；但是给你一个问题，为什么不做到最好，把它做最大的推广呢，当然，如果定理已经被证明，而额外的推广是平凡的，那也是没意思的。

从另一个角度来看，我的很多同行，包括一些集合论领域里最优秀的大脑，对他们自己领域的自卑态度让我感到吃惊，他们很多在面对数学家时感到自卑，似乎这里有数学家，这里有逻辑学家，它们是不相干的领域，他们认为数学家是真正工作在更深，更难，更丰富，更有意义的领域，所以我们数理逻辑学家必须通过找到”数理逻辑“对”数学“的应用来证明我们的存在。这导致对数学的应用，逻辑学家做的大量工作，就像Abraham Robinson学派所做的那样。现在我喜欢在很多数学领域证明定理，只要我能做到，但是我不喜欢这种数理逻辑领域里的的卑屈态度.

很多其他人在发挥集合论对数学基础和哲学的作用做了很多工作，对此我也没有异议，但是有疑意。我的感受和很多作家类似：他们了解批评家对文化生活的作用，但认为墨守批评家的思想只会导致枯燥的作品，而这些思想本身会因为它们的内在美永远散发光芒。还有人为集合论”美好旧时时光“的失去而抱怨，那时证明由想法组成而不像现在这样具有技术性，大体来说，我不是”美好旧时时光“的支持者，因为那时忽视你技术性的能力，而技术性却是我的旗帜，很多次技术不是实现想法的例行事务，而是为组织，想法等等证明中的所有环节工作。这些技术是相当困难的，往往也包含有重要的新思想。我的感受，用夸张的方式来说，就是集合论的美感是永恒的，而它的哲学价值却受潮流引导.并且我感到这些抱怨者的话是相互矛盾的，比如他们有的说数理逻辑现在比以前更数学化了，有的说数理逻辑处理的事情是有意义的，顺便说一下，这些矛盾的观点在实践中却是不矛盾的，很多人支持当中不止一种观点。

关于集合论美感，我是指在一个结构中，定义，定理，证明和谐的占有位置的美感。但是复杂的证明我也不怕。当我是一个本科生的时候，在Birkhoff-Maclane的书里，我发现Galois理论很漂亮，后来我发现Morley理论和它的证明很漂亮。厌烦的读者可能会大怒：”美感？你可以在自己的脏乱中找到美感的痕迹？“，我只能说各有各的爱好，我的即是如此。

话题 B: 集合论的框架

ZFC（译注：Zemelo-Frankel的8条公理＋选择公理）!!!!!!!
力迫法 !!!!
内模型 !!!
大基数 !!!
ZF+依赖选择公理(DC)+ 一些形式的决定性公理 !

这是一个合理但有交叉的划分，无论如何，我们都是在ZFC的框架内证明定理,从ZFC 框架的支持者的观点来看，证明定理意味着在ZFC框架内证明它，其它的框架是辅助的，对此，我相当认同。力迫法告诉我们什么时候不能证明一个定理，大基数用来做协调性证明，运气好时大基数也能排列成线形序比较大小，最后，内模型用来表明大基数是必需的，或者得到更好的等价性的结果。我的感受是除了像协调性的结果外，ZFC框架已经涵盖了我们的直觉范围，所以一个证明就是指ZFC框架下的一个证明，这当然是一个认为ZFC框架合理的强有力的证据.强化的力迫法本质上告诉我们所有的全体集合域都是同样正当的，因此我们应该研究有特殊的代表性的全体集合域，比如可构成集L就没有代表性，力迫法表明在ZFC框架下证明定理或假设广义连续统假设成立就是无所谓的事，这是力迫法很强的结论，但是我怀疑这种对力迫法的观点会有人支持。从折衷的观点看，力迫法框架和ZFC框架是互补的，一种框架给出另一种框架内结果的否定，所以你对一种框架感兴趣，你对另一种框架也会感兴趣，事实上，我被迫严肃的处理力迫法是我想证明：在解决阿贝尔群基数的Whitehead问题中，我用阿列夫1势集合的每个稳定子集上的diamond定理是正确的，因为连续统假设不够强（从我的感受来说，文[Sh 64]; [BD]中的力迫法太弱了）。

Answer 2

伟大的集合论康托尔与集合论

集合论 世纪末 德国 伟大的

康托尔是19世纪末20世纪初德国伟大的数学家，集合论的创立者。是数学史上最富有想象力，最有争议的人物之一。19世纪末他所从事的关于连续性和无穷的研究从根本上背离了数学中关于无穷的使用和解释的传统，从而引起了激烈的争论乃至严厉的谴责。然而数学的发展最终证明康托是正确的。他所创立的集合论被誉为20世纪最伟大的数学创造，集合概念大大扩充了数学的研究领域，给数学结构提供了一个基础，集合论不仅影响了现代数学，而且也深深影响了现代哲学和逻辑。

1(康托尔的生平

1845年3月3日，乔治?康托生于俄国的一个丹麦—犹太血统的家庭。1856年康托和他的父母一起迁到德国的法兰克福。像许多优秀的数学家一样，他在中学阶段就表现出一种对数学的特殊敏感，并不时得出令人惊奇的结论。他的父亲力促他学工，因而康托在1863年带着这个目地进入了柏林大学。这时柏林大学正在形成一个数学教学与研究的中心。康托很早就向往这所由外尔斯托拉斯占据着的世界数学中心之一。所以在柏林大学，康托受了外尔斯特拉斯的影响而转到纯粹的数学。他在1869年取得在哈勒大学任教的资格，不久后就升为副教授，并在1879年被升为正教授。1874年康托在克列

1/11页

勒的《数学杂志》上发表了关于无穷集合理论的第一篇革命性文章。数学史上一般认为这篇文章的发表标志着集合论的诞生。这篇文章的创造性引起人们的注意。在以后的研究中，集合论和超限数成为康托研究的主流，他一直在这方面发表论文直到1897年，过度的思维劳累以及强列的外界刺激曾使康托患了精神分裂症。这一难以消除的病根在他后来30多年间一直断断续续影响着他的生活。