返回

173陈博士无欲无求

首页
关灯
护眼
字:
上一页 回目录 下一章 进书架
除了像罗素悖论中这样的集合的存在性,算是解决了这场数学危机。

    也就是在同一年,希尔伯特想到为已经爆发了三次的数学危机,找到一种普适的解决方案。

    他提出了一个名为希尔伯特计划的想法,提出将所有现有理论都建立在一组有限的完备的公理上,并给出这些公理是一致的证明。

    希尔伯特希望数学是完整的,也是可判定的,希望数学建立在严谨的逻辑之上,是世界上最无懈可击的真理。

    希尔伯特计划中有这样一条,也就是所谓的完备性,人们可以从公理出发,推导出所有的定理来。

    如果推导不出来,那不是上面这条完备性出了问题,而是个人能力出了问题。

    公理是人们在长期实践中总结出来的基本数学知识,并作为判定其它命题真假的根据,不能被证明也不需要被证明。

    而定理,则是从公理出发,用推理方法得到的真命题。

    希尔伯特是当今世界上最伟大的数学家,他的话一言九鼎,很有号召力。

    从他提出这个计划开始,数学家们就一直坚信这个计划是正确的,也都一直在试图证明它是正确的。

    只是很多年过去,数学家们谁也没能得到这个证明。

    在原时空直到1931年,才被哥德尔证明了另外一点,在一个公理系统中,总有至少一个命题是不能证明是真是假的,想要证明或者证伪这些命题,就必须要使用到系统之外的新公理。

    这是哥德尔不完备性第一定理,这个定理的出现,也就算是彻底否定了希尔伯特计划,粉碎了希尔伯特和所有数学家们的梦想。

    希尔伯特的本意是彻底解决数学危机,没想到却差点推倒了数学大厦的地基。

    此哥德尔,正是那个求解爱因斯坦引力场方程,解出来了支持时空旅行哥德尔宇宙的那一位。

    陈慕武因为哥德尔宇宙了解了这个人,也就自然知道了他提出来的两个不完备性定理。

    听到玻尔话里提出来的不完备,他就联想到了这个定理,也联想到了希尔伯特这位数学家。

    陈慕武对希尔伯特没有多大的偏见,只是他很清楚地记得希尔伯特曾经说过一句话,“物理对于物理学家们来说,实在是太难了”。

    他的本意是说,现代的物理学虽然高度依赖高等数学,可是却一直都使用的不太严谨。

    但是这句话从一个数学家嘴里面说出来,让一个学物理的人听到还是很不爽。

    反正现在粒子加速器也在按部就班地制造当中,陈慕武除了监工之外,也没有什么别的事情要做。

    那么既然已经想到了这一点,不如就把这个不完备性定理给搞出来好了,也算是给希尔伯特大人一点小小的来自物理学家的震撼。

    “痛斥”完德国人之后,陈慕武再次陷入到了漫长的走神当中。

    卢瑟福早就习惯了自己爱徒时不时就来这么一次灵魂出窍,干脆拉着他的另一位爱徒玻尔,探讨并传授起了实验室和研究所的管理心得。

    过了很久之后,陈慕武才算是从入定当中醒了过来,张了张嘴又眨了眨眼睛。

    “你总算是活过来了,刚才又想到什么好点子了吗?”

    知徒莫若师,卢瑟福笑着问道。

    陈慕武不好意思地摸了摸头:“刚刚确实懵懵懂懂地有了一些不成熟的想法。”

    “哪个方面的,粒子……实验吗?”

    玻尔紧随其卢瑟福后:“还是量子力学?”

    “呃,都不是,就是刚刚在玻尔教授提醒之后,我好像突然对数学产生了些想法。”

    他挠头的频率又加快了。

    虽然卢瑟福已经习惯了陈慕武随时变换千奇百怪的研究方向,但他还是想不到,好学生会去研究数学。

    他下意识就往放在办公桌上的烟斗伸手,然后又想起来,陈慕武不喜欢这个烟草的味道。

    玻尔脸上更是出现了一些失望的表情。

    “不过,玻尔教授,在量子力学上我也有新几个想法,在最近可能会写一两篇论文,到时候还要请您多多指教。”

    “好说,好说,我也谈不上指教,就当是彼此之间的相互探讨。”

    办公室里又开始充满了快活的空气。

    当天的闲聊结束之后,宾主尽欢。

    卢瑟福算是默许了陈慕武此行的目的,不往卡文迪许实验室里招收本学生。

    玻尔也从陈慕武这里得到了还算满意的一个结果,他既然要研究理论知识,还说要和自己请教,那就免不了书信电报往来。

    说不定一来二去,两个人之间的关系就愈发亲近,这样就能徐徐图之,一定要把他挖到,哦不,请到哥本哈根去。

    玻尔在剑桥大学又待了几日,然后北上曼彻斯特,继续走亲访友,探望故旧,最后依然是从诺维奇登船,返回丹麦的哥本哈根。

    陈慕武则是从他维持了一年多的悠闲状态当中走了出来,再次开启了肝论文的模式。

    隔行如隔山,虽然知道不完备性定律,还曾经了解过哥德尔是怎么证明的,可是想要把那篇论文给复刻出来,也不是一件容易的事情。

    好在陈慕武除了自己本人有外挂,他在剑桥大学还有着人形外挂。

    剑桥使徒社里有不少都是数学家兼逻辑学家,他们都是罗素的学生,甚至是罗素本尊。

    不完备性定理和罗素悖论之间有着本质联系,两者都涉及到了否定自指和对角线方法。

    有这种现成的大腿不抱,反而去自己研究的话才是傻子,于是趁着每个星期六晚上,使徒社聚会的机会。

    别的公子哥们,都在端着酒杯谈天说地,陈慕武一边吃着餐桌上准备的名贵食材打牙祭,一边放低姿态向其他人请教有关数学和逻辑上的问题。

    他还找机会专门去罗素的办公室里请教了几次,就为了能把这篇不完备性定理的论文给写好,得到数学界的认可。

    剑桥大学坊间传闻,三一学院的陈博士在拿完诺贝尔物理学奖之后,在物理学上变得无欲无求。

    他近期和罗素走的很近,可能要往哲学方向发展了。

    (本章完)

    
上一页 回目录 下一章 存书签