他提出了一个名为希尔伯特计划的想法，提出将所有现有理论都建立在一组有限的完备的公理上，并给出这些公理是一致的证明。
希尔伯特希望数学是完整的，也是可判定的，希望数学建立在严谨的逻辑之上，是世界上最无懈可击的真理。
希尔伯特计划中有这样一条，也就是所谓的完备性，人们可以从公理出发，推导出所有的定理来。
如果推导不出来，那不是上面这条完备性出了问题，而是个人能力出了问题。
公理是人们在长期实践中总结出来的基本数学知识，并作为判定其它命题真假的根据，不能被证明也不需要被证明。
而定理，则是从公理出发，用推理方法得到的真命题。
希尔伯特是当今世界上最伟大的数学家，他的话一言九鼎，很有号召力。
从他提出这个计划开始，数学家们就一直坚信这个计划是正确的，也都一直在试图证明它是正确的。
只是很多年过去，数学家们谁也没能得到这个证明。
在原时空直到1931年，才被哥德尔证明了另外一点，在一个公理系统中，总有至少一个命题是不能证明是真是假的，想要证明或者证伪这些命题，就必须要使用到系统之外的新公理。
这是哥德尔不完备性第一定理，这个定理的出现，也就算是彻底否定了希尔伯特计划，粉碎了希尔伯特和所有数学家们的梦想。
希尔伯特的本意是彻底解决数学危机，没想到却差点推倒了数学大厦的地基。
此哥德尔，正是那个求解爱因斯坦引力场方程，解出来了支持时空旅行哥德尔宇宙的那一位。
陈慕武因为哥德尔宇宙了解了这个人，也就自然知道了他提出来的两个不完备性定理。
听到玻尔话里提出来的不完备，他就联想到了这个定理，也联想到了希尔伯特这位数学家。
陈慕武对希尔伯特没有多大的偏见，只是他很清楚地记得希尔伯特曾经说过一句话，“物理对于物理学家们来说，实在是太难了”。
他的本意是说，现代的物理学虽然高度依赖高等数学，可是却一直都使用的不太严谨。
但是这句话从一个数学家嘴里面说出来，让一个学物理的人听到还是很不爽。
反正现在粒子加速器也在按部就班地制造当中，陈慕武除了监工之外，也没有什么别的事情要做。
那么既然已经想到了这一点，不如就把这个不完备性定理给搞出来好了，也算是给希尔伯特大人一点小小的来自物理学家的震撼。
“痛斥”完德国人之后，陈慕武再次陷入到了漫长的走神当中。
卢瑟福早就习惯了自己爱徒时不时就来这么一次灵魂出窍，干脆拉着他的另一位爱徒玻尔，探讨并传授起了实验室和研究所的管理心得。
过了很久之后，陈慕武才算是从入定当中醒了过来，张了张嘴又眨了眨眼睛。
“你总算是活过来了，刚才又想到什么好点子了吗？”
知徒莫若师，卢瑟福笑着问道。
陈慕武不好意思地摸了摸头：“刚刚确实懵懵懂懂地有了一些不成熟的想法。”
“哪个方面的，粒子……实验吗？”
玻尔紧随其卢瑟福后：“还是量子力学？”
“呃，都不是，就是刚刚在玻尔教授提醒之后，我好像突然对数学产生了些想法。”
他挠头的频率又加快了。
虽然卢瑟福已经习惯了陈慕武随时变换千奇百怪的研究方向，但他还是想不到，好学生会去研究数学。
他下意识就往放在办公桌上的烟斗伸手，然后又想起来，陈慕武不喜欢这个烟草的味道。
玻尔脸上更是出现了一些失望的表情。
“不过，玻尔教授，在量子力学上我也有新几个想法，在最近可能会写一两篇论文，到时候还要请您多多指教。”
“好说，好说，我也谈不上指教，就当是彼此之间的相互探讨。”
办公室里又开始充满了快活的空气。
当天的闲聊结束之后，宾主尽欢。
卢瑟福算是默许了陈慕武此行的目的，不往卡文迪许实验室里招收本学生。
玻尔也从陈慕武这里得到了还算满意的一个结果，他既然要研究理论知识，还说要和自己请教，那就免不了书信电报往来。
说不定一来二去，两个人之间的关系就愈发亲近，这样就能徐徐图之，一定要把他挖到，哦不，请到哥本哈根去。
玻尔在剑桥大学又待了几日，然后北上曼彻斯特，继续走亲访友，探望故旧，最后依然是从诺维奇登船，返回丹麦的哥本哈根。
陈慕武则是从他维持了一年多的悠闲状态当中走了出来，再次开启了肝论文的模式。
隔行如隔山，虽然知道不完备性定律，还曾经了解过哥德尔是怎么证明的，可是想要把那篇论文给复刻出来，也不是一件容易的事情。
好在陈慕武除了自己本人有外挂，他在剑桥大学还有着人形外挂。
剑桥使徒社里有不少都是数学家兼逻辑学家，他们都是罗素的学生，甚至是罗素本尊。
不完备性定理和罗素悖论之间有着本质联系，两者都涉及到了否定自指和对角线方法。
有这种现成的大腿不抱，反而去自己研究的话才是傻子，于是趁着每个星期六晚上，使徒社聚会的机会。
别的公子哥们，都在端着酒杯谈天说地，陈慕武一边吃着餐桌上准备的名贵食材打牙祭，一边放低姿态向其他人请教有关数学和逻辑上的问题。
他还找机会专门去罗素的办公室里请教了几次，就为了能把这篇不完备性定理的论文给写好，得到数学界的认可。
剑桥大学坊间传闻，三一学院的陈博士在拿完诺贝尔物理学奖之后，在物理学上变得无欲无求。
他近期和罗素走的很近，可能要往哲学方向发展了。
(本章完)