之言。
不知道他是来支持自己,还是要安慰自己呢?
如果外尔认为希尔伯特是正确的,那么他这个当老师的也就没有什么必要再去操心。
也就是过了两千多年的时间,人类发展得越来越文明。
否则的话,一个不知好歹的门外汉,在数学界搞出来一场虚惊。
这要是放到古希腊,陈慕武绝对会像希帕索斯一样被喂鲨鱼。
希尔伯特急忙拆开了这封来自瑞士的信。
虽然外尔小心翼翼斟酌了许久的措辞很隐晦,可希尔伯特明白,自己这个学生同样也认为,陈慕武的不完备性定理,推翻了一直以来都寻求创立的那个宏伟计划。
前有罗素,后有外尔,这两个人都说希尔伯特计划不可能实现。
他双手颤抖着放下信,空洞的双眼里充满着迷茫。
前一秒,希尔伯特还在琢磨着给陈慕武送到爱琴海中洗一个海水澡。
但这一秒,他的大脑中只有一个念头,我错了?我真的错了?
希尔伯特突然又想到自己那个英年早逝的老朋友,庞加莱,在由罗素悖论引发的第三次数学危机被暂时解决之后,打的那个比方。
“为了防狼,我们用篱笆把羊群圈了起来。可谁也不知道,现在篱笆里面还有没有狼。”
庞加莱话中的狼,指的就是以罗素悖论为代表的那一系列语义悖论,羊群则是数学大厦。
而篱笆,则是策梅洛在1904年提出来的公理体系,又被弗兰克尔于1922年加固完善。
没错,ZF公理体系解决了第三次数学危机,解决的办法不是证明了罗素悖论不是悖论只是佯谬,而是像驱赶狼一样,把罗素悖论里面构造的那种集合,排除在了集合论之外。
可怜的希帕索斯,肉体被消灭在了大海里。
罗素比希帕索斯稍微幸运那么一点,他被消灭的只有自己的思考而已。
现在,狼,又出现了。
上一只狼是罗素搞出来的,而搞出这一只来的,是罗素在剑桥大学的学生,陈慕武。
要说这帮英国佬还真是烦人,他们总能时不时地就给你来上一个致命一击。
冯·诺依曼从未在自己老师的脸上看见过这样的表情。
茫然,颓唐,眼神中还带着些许不甘。
“呃,老师,我觉得……”
他尝试着开口安慰,但又不知道自己要说些什么。
本章未完,请点击下一页继续阅读!