罗素第一开始,完全是抱着一种批改学生作业的心态,在看陈慕武的这篇论文。
这里有点眼熟……
这里很有意思……
嗯,应该是他把之前的提问和思考结合到了一起。
不错不错,举一反三的能力非常强。
然后,罗素脸上的笑容就逐渐消失,表情越来越严肃,态度也越来越认真。
因为他看到了论文上出现了这样的一段话:
“众所周知,数学正在朝着更为精确的方向发展,并且已经导致大部分数学分支的形式化,以至于人们只用少数的几个机械式的规则,就能证明任何定理。
“因此,人们可能猜测这些公理和推理的规则,足以决定这些形式系统能够加以表达的任何数学问题。
“下面将证明情况并非如此。”
陈慕武自发地做课后练习题,这种行为值得表扬。
但你做题就做题吧,为什么要把教科书上的内容给改了呀?
关键是,教科书上的内容还真有问题。
这相当于是陈慕武仅用了一篇论文,就把从世纪伊始,数学家们就一直尝试做的努力,给全部推翻了。
罗素又想起了年轻时候的自己,当时才三十岁出头的他,提出来的罗素悖论,也让全世界的数学家们震惊恐慌了很久。
好像直到前几年,解决这个问题的办法才被最终提出来。
只是和当初的那个罗素悖论相比,陈慕武这次搞出来的花活更重磅了一些。
如果说罗素悖论,相当于是拆了数学大厦的一幢承重墙。
那么陈慕武提出来的不完备性定理,简直就像是用了足够多的炸药,直接把全世界数学家们辛辛苦苦正在建设中的大厦的地基,给炸了个灰飞烟灭。
罗素刚好也是其中的一员。
这个人,一出手就这么狠吗?
不过罗素又想起来了另外一些事情。
好像陈慕武不光是数学的破坏者,他之前早就已经在物理学和天文学上提出来了许多惊世骇俗的观点,甚至连哲学都没能幸免。
关键是,经过人们反复验证之后,大家发现这些科学上的观点居然还都是正确的,并不是痴人说梦,更不是无稽之谈。
这次的不完备性定理也是一样。
因为之前陈慕武一直都在向他请教这方面的问题,所以罗素只从头到尾读了一遍论文,就已经能够判断这篇论文所写的全都是正确。
可这毕竟是和现在主流观点非常不同的一种新观点,为了保险起见,罗素不但亲自动手验算,甚至还从国王学院叫来了拉姆塞。
他请拉姆塞也看看这篇论文中所用到的数学和逻辑,是否有什么自己还没发现的错误存在。
“罗素教授,这篇论文真是三一学院的陈博士写的?”
拉姆塞脸上的表情既震惊又怀疑,他的心里亦是如此。
作为剑桥使徒社的一员,拉姆塞见证了从今年开始,陈慕武从之前一直不显山不漏水的社团成员,突然对数学和逻辑学开始感兴趣的全过程。
在社团聚会时的讨论上,他经常聊起德国数学家希尔伯特的那个计划。
拉姆塞当时还以为,陈慕武应该是对计划当中希望把数学标准化这件事很感兴趣。
好像物理学家那边也在做着同样的事情,那个提出了相对论的爱因斯坦,不也正在尝试着要把引力还有电磁力这两种基本相互作用力,把所有的物理学规律统一到一起吗?
这让拉姆塞还以为陈慕武要做和爱因斯坦一样的工作,只是在此之前想到数学这边来找找灵感。
结果他就看到了,罗素交给他的这篇论文复制件。
这哪里是找什么灵感,分明就是来砸场子的啊!
可关键是他这砸的有理有据,不容反驳。
“罗素教授,可能是因为我的水平有限,但我确实没从这篇论文中找到有什么错误的地方。”
“我也觉得是这样。”
“所以说……陈博士的这篇论文,直接把希尔伯特教授提出来的那个宏伟计划,给直接否定了吗?”
“虽然很不愿意承认这件事,但不得不说,确实如此。”
确认论文里的内容正确无误之后,罗素先是提笔,给《自然科学会报》的编辑部写了一封回信。
他在上面说,编辑部拜托审阅的这篇论文里的内容,全部正确无误,没有任何一处需要修改,可全文发表。
公事公办完之后,罗素又用德语,给德国的希尔伯特教授写了一封信。
开头处是简单的寒暄,然后就开始向他介绍陈慕武论文当中的核心观点,并很遗憾地告知希尔伯特,他从1900年二十三个问题开始,到1922年正式筹备的希尔伯特计划,即将在陈慕武论文发表以后,被宣告失败。
写完这两封信之后,罗素感到既轻松又失落。
轻松的是,他完成了编辑部交来的任务,而陈慕武推翻的也不是他自己的观点。
失落的则是,这毕竟是数学界的一次重大失败。
虽然还没达到自己之前那次,用悖论引发了第三次数学危机的程度,但其破坏力比起罗素悖论来只多不少。
也不知道希尔伯特教授在接到来信,并看到论文的正式版本以后,会是什么样的一种想法,对年迈的他来说,精神能不能承受住这样的一次打击。
罗素忽然又很想再和陈慕武聊一聊,他是因为已经察觉到了数学是不可能完备的,所以他来向自己请教那些问题了吗?
他先是去了同在三一学院的陈慕武的房间,却被告知,陈博士一大早就离开学院,去了卡文迪许实验室。
可等罗素去了卡文迪许实验室,打听一圈却发现,根本没人能说得清楚,不在实验室里的陈慕武究竟去了哪儿。
连实验室的主任卢瑟福都有些语焉不详,他当着罗素的面,叫来了自己的助手查德威克。
后者也只是很含糊地说出了一句,陈博士接到一封电报之后就急匆匆地离开了,谁也说不清楚他去了哪里。
卢瑟福和查德威克顾左右而言他,是因为他们不想告诉罗素,陈慕武去了研制粒子加速器的地方。
他们两个巴不得罗素能够别再纠缠赶快离开,以至于谁都没问,罗素此次过来找陈慕武的目的是什么。
卡文迪许实验室里的人大多数都是如此,因为人人都知道,陈慕武这段时间和罗素走的很近,不务正业地搞起了数学。
整间实验室中,只有一个人的感觉很敏锐,他察觉到了事情有些不同寻常。