罗素第一开始,完全是抱着一种批改学生作业的心态,在看陈慕武的这篇论文。
这里有点眼熟……
这里很有意思……
嗯,应该是他把之前的提问和思考结合到了一起。
不错不错,举一反三的能力非常强。
然后,罗素脸上的笑容就逐渐消失,表情越来越严肃,态度也越来越认真。
因为他看到了论文上出现了这样的一段话:
“众所周知,数学正在朝着更为精确的方向发展,并且已经导致大部分数学分支的形式化,以至于人们只用少数的几个机械式的规则,就能证明任何定理。
“因此,人们可能猜测这些公理和推理的规则,足以决定这些形式系统能够加以表达的任何数学问题。
“下面将证明情况并非如此。”
陈慕武自发地做课后练习题,这种行为值得表扬。
但你做题就做题吧,为什么要把教科书上的内容给改了呀?
关键是,教科书上的内容还真有问题。
这相当于是陈慕武仅用了一篇论文,就把从世纪伊始,数学家们就一直尝试做的努力,给全部推翻了。
罗素又想起了年轻时候的自己,当时才三十岁出头的他,提出来的罗素悖论,也让全世界的数学家们震惊恐慌了很久。
好像直到前几年,解决这个问题的办法才被最终提出来。
只是和当初的那个罗素悖论相比,陈慕武这次搞出来的花活更重磅了一些。
如果说罗素悖论,相当于是拆了数学大厦的一幢承重墙。
那么陈慕武提出来的不完备性定理,简直就像是用了足够多的炸药,直接把全世界数学家们辛辛苦苦正在建设中的大厦的地基,给炸了个灰飞烟灭。
罗素刚好也是其中的一员。
这个人,一出手就这么狠吗?
不过罗素又想起来了另外一些事情。