作者:saharon shelah,以色列数学家,2001年wolf数学奖得主。
haim judah请我做关于集合论的未来的演讲,因为新的千僖年就要到来了,就讲讲下一个千年的集合论吧。但是我们马上就调整到讲下一个世纪的集合论,后来我想我最好讲下一个十年的集合论,但是我怀疑我将会讲下一年我想证明的定理和解决的问题,或者更糟糕的会讲在过去的一年里或20年里我所做的工作,看来我不是特别适合做这个演讲,因为我总是喜欢证明定理而不是做这样话题的演讲或文章,那我为什么要在这个演讲上做一次值得怀疑的努力呢?好,原因在这里:在我有道义上的义务帮助haim judah组织这次会议和会议文集的前提下,在我不能让朋友失望的前提下,给我一个选择:要么安排与会者的宿舍,写罗嗦的文告,要么做这样一个有可能愚弄我自己的关于集合论的未来的演讲,毫无疑问我选择后者。
集合论的未来
我们现在讨论一些相关的感兴趣的话题,人们对这些话题的观点是不同的,对于我,下文表中感叹号!的个数代表它推动我的工作的程度.
话题 a:对集合论兴趣的来源
数学基础/对哲学的应用!
对数学的应用!!!
历史原因!!!
内在的发展!!!!
美感!!!!!!!!!
证明的乐趣!!!!!
一般化!!!!!!
游戏娱乐[加上流行的规则]!!!
我们也可以用这些话题对当前集合论的工作和学者评价分类,所以下面我们将重点强调它们的差异。在很大程度上我被吸引到数学然后是数理逻辑中来是因为它们的一般化,我以为我这种一般化观点是正确的;看来我似乎错了。我感到例子经常会把你搞糊涂:特殊的性质只是陷阱因为它们在普通的情况下不成立,注意“一般化”我是指我宁愿以一般的一阶完全理论为研究对象,而不是有限morley秩的单群,但我的信条不是“不要只见树木,不见森林“,处理每个问题都要根据它的特性,找到你自己的领域对其他领域的应用意味着展示一些其他人会感兴趣的东西;但是给你一个问题,为什么不做到最好,把它做最大的推广呢,当然,如果定理已经被证明,而额外的推广是平凡的,那也是没意思的。
从另一个角度来看,我的很多同行,包括一些集合论领域里最优秀的大脑,对他们自己领域的自卑态度让我感到吃惊,他们很多在面对数学家时感到自卑,似乎这里有数学家,这里有逻辑学家,它们是不相干的领域,他们认为数学家是真正工作在更深,更难,更丰富,更有意义的领域,所以我们数理逻辑学家必须通过找到”数理逻辑“对”数学“的应用来证明我们的存在。这导致对数学的应用,逻辑学家做的大量工作,就像a