集合覆盖模型例题_集合论的未来

作者：Saharon Shelah， 以色列数学家，2001年Wolf数学奖得主。

本文转自康托居士新浪博客

关注微信：哆嗒数学网 每天获得更多数学趣文

新浪微博：http://weibo.com/duodaa

前提简介:

Haim Judah请我做关于集合论的未来的演讲，因为新的千僖年就要到来了，就讲讲下一个千年的集合论吧。但是我们马上就调整到讲下一个世纪的集合论，后来我想我最好讲下一个十年的集合论，但是我怀疑我将会讲下一年我想证明的定理和解决的问题，或者更糟糕的会讲在过去的一年里或20年里我所做的工作，看来我不是特别适合做这个演讲，因为我总是喜欢证明定理而不是做这样话题的演讲或文章，那我为什么要在这个演讲上做一次值得怀疑的努力呢？好，原因在这里：在我有道义上的义务帮助Haim Judah组织这次会议和会议文集的前提下，在我不能让朋友失望的前提下，给我一个选择：要么安排与会者的宿舍，写罗嗦的文告，要么做这样一个有可能愚弄我自己的关于集合论的未来的演讲，毫无疑问我选择后者。

集合论的未来

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

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

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

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

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

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

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

话题 B: 集合论的框架

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

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

J. Stern 埋怨我，就在他全身心投入到力迫法前的两年，仔细向他解释为什么ZFC框架下的证明是最好的，为什么我喜欢ZFC框架下的证明而不是独立性结果。我仍然认为ZFC框架