没错,ZF公理体系解决了第三次数学危机,解决的办法不是证明了罗素悖论不是悖论只是佯谬,而是像驱赶狼一样,把罗素悖论里面构造的那种集合,排除在了集合论之外。
可怜的希帕索斯,肉体被消灭在了大海里。
罗素比希帕索斯稍微幸运那么一点,他被消灭的只有自己的思考而已。
现在,狼,又出现了。
上一只狼是罗素搞出来的,而搞出这一只来的,是罗素在剑桥大学的学生,陈慕武。
要说这帮英国佬还真是烦人,他们总能时不时地就给你来上一个致命一击。
冯·诺依曼从未在自己老师的脸上看见过这样的表情。
茫然,颓唐,眼神中还带着些许不甘。
“呃,老师,我觉得……”
他尝试着开口安慰,但又不知道自己要说些什么。
在《自然科学会报》邮寄到哥廷根的第一时间,冯·诺依曼就到图书馆阅览室借阅了这本新的期刊。
读完陈慕武的论文之后,他更加确信,不完美性定理是十分正确的,希尔伯特计划永远不能实现。
这些天,作为助手的他,帮忙送了不知道多少封信到这间办公室里,足以见得陈慕武的那一篇论文,在数学界溅起来多么大的一片水花。
可冯·诺依曼不敢向老师表明这件事,于是就一直拖到了今天,外尔的来信,让他最终意识到了自己犯了个错。
希尔伯特朝他摆了摆手,算是缓解了冯·诺依曼的局促不安。
“约翰,你不必说了。你想说的话,我都清楚。
“错了就是错了,这件事情没有什么好尴尬的。
“我这辈子在数学上取得了那么多成绩,到了临退休的时候,犯一个错误,应该无伤大雅吧?
“我原本想着,再在哥廷根大学工作几年,等到了1930年就退休去颐养天年。
“只是很可惜,陈博士的这篇论文,这篇再简单不过的论文,在数学界横空出世,把我未来的计划全打乱了。
“不过他这次又给了我新的动力,让我认识到了数学的神秘和自己的无知,我现在有了新的研究方向,那就是要在不完备性定理的基础上,对我的计划进行修补。
“这个计划一天不修补好,我也就一天不退休,实在是因为带着遗憾退休不甘心啊!”
原时空里,希尔伯特确实是在1930年退休的,而哥德尔发表论文,提出不完备性定理的时间,是一年之后的1931年。
两者之间存在着时间差,所以才能让希尔伯特在退休仪式,说出那句最著名的“我们必须知道,我们必将知道”(Wirmüssenerdekno。)。
现在陈慕武在希尔伯特退休前就提出来了不完备性定理,而后者又打算延迟退休。
这句名言还能否出现,我们就不知道了。
发表完这段“老骥伏枥,志在千里”般的雄心壮志式的感言,希尔伯特又把目光落在了站在面前的助手的身上。
“约翰。”
“老师。”
“我交给你的任务,大概什么时间能够完成?”
希尔伯特指的是那个,严格证明矩阵力学和波动力学在数学上是等价的事。
“大概、还需要一段时间。”
希尔伯特点了点头:“嗯,那你抓紧时间,争取越快越好。在速度提升的同时,也千万要保证论证步骤的严谨和准确。”
“好的老师,我尽快。”
冯·诺依曼觉得自己老师提出来的这个要求,多少有点扯。
他从瑞士苏黎世来到德国哥廷根,还没多长时间,怎么可能那么快就出结果嘛!
而且,如果这个问题这么简单的话,怎么可能陈慕武1924年就提出了量子力学,到了1926年仍然没有人能证明出来呢?
想到这里,冯·诺依曼脑子里突然有了另外一个想法。
陈慕武他,他连不完备性定理都能提出来,那他是真的证明不了量子力学的两种计算方法等价吗?