关灯 特大 直达底部
亲,双击屏幕即可自动滚动
正文 178希尔伯特不服输
语义悖论,羊群则是数学大厦。



而篱笆,则是策梅洛在1904年提出来的公理体系,又被弗兰克尔于1922年加固完善。



没错,ZF公理体系解决了第三次数学危机,解决的办法不是证明了罗素悖论不是悖论只是佯谬,而是像驱赶狼一样,把罗素悖论里面构造的那种集合,排除在了集合论之外。



可怜的希帕索斯,肉体被消灭在了大海里。



罗素比希帕索斯稍微幸运那么一点,他被消灭的只有自己的思考而已。



现在,狼,又出现了。



上一只狼是罗素搞出来的,而搞出这一只来的,是罗素在剑桥大学的学生,陈慕武。



要说这帮英国佬还真是烦人,他们总能时不时地就给你来上一个致命一击。



冯·诺依曼从未在自己老师的脸上看见过这样的表情。



茫然,颓唐,眼神中还带着些许不甘。



“呃,老师,我觉得……”



他尝试着开口安慰,但又不知道自己要说些什么。



在《自然科学会报》邮寄到哥廷根的第一时间,冯·诺依曼就到图书馆阅览室借阅了这本新的期刊。



读完陈慕武的论文之后,他更加确信,不完美性定理是十分正确的,希尔伯特计划永远不能实现。



这些天,作为助手的他,帮忙送了不知道多少封信到这间办公室里,足以见得陈慕武的那一篇论文,在数学界溅起来多么大的一片水花。



可冯·诺依曼不敢向老师表明这件事,于是就一直拖到了今天,外尔的来信,让他最终意识到了自己犯了个错。



希尔伯特朝他摆了摆手,算是缓解了冯·诺依曼的局促不安。



“约翰,你不必说了。你想说的话,我都清楚。



“错了就是错了,这件事情没有什么好尴尬的。



“我这辈子在数学上取得了那么多成绩,到了临退休的时候,犯一个错误,应该无伤大雅吧?



“我原本想着,再在哥廷根大学工作几年,等到了1930年就退休去颐养天年。



“只是很可惜,陈博士的这篇论文,这篇再简单不过的论文,在数学界横空出世,把我未来的计划全打乱了。



“不过他这次又给了我新的动力,让我认识到了数学的神秘和自己的无知,我现在有了新的研究方向,那就是要在不完备性定理的基础上,对我的计划进行修补。



“这个计划一天不修补好,我也就一天不退休,实在是因为带着遗憾退休不甘心啊!”



原时空里,希尔伯特确实是在1930年退休的,而哥德尔发表论文,提出不完备性定理的时间,是一年之后的1931年。



两者之间存在着时间差,所以才能让希尔伯特在退休仪式,说出那句最著名的“我们必须知道,我们必将知道”(Wirmüssenwissen.Wirwerdenwissen.Wemustknow.Wewillknow.)。



现在陈慕武在希尔伯特退休前就提出来了不完备性定理,而后者又打算延迟退休。



这句名言还能否出现,我们就不知道了。



发表完这段“老骥伏枥,志在千里”般的雄心壮志式的感言,希尔伯特又把目光落在了站在面前的助手的身上。



“约翰。”



“老师。”



“我交给你的任务,大概什么时间能够完成?”



希尔伯特指的是那个,严格证明矩阵力学和波动力学在数学上是等价的事。



“大概、还需要一段时间。”



希尔伯特点了点头:“嗯,那你抓紧时间,争取越快越好。在速度提升的同时,也千万要保证论证步骤的严谨和准确。”



“好的老师,我尽快。”



冯·诺依曼觉得自己老师提出来的这个要求,多少有点扯。


本章未完,点击下一页继续阅读

(2/4)
  • 加入收藏
  • 友情链接