第227章 175爱因斯坦的笑容
书迷正在阅读:一人之化神诸天、教练:开局执教灰熊,痛演矮脚虎、人在港综,开局就成了线人、NBA:我有3没D,还不会运球、她们都是坏女人!、人在诸天,繁育标兵、斗罗之辟邪魇魅、斗罗:我有一个副本空间、斗罗:带着霍挂润日月、秦时不良人
??第227章 175爱因斯坦的笑容 ??罗素第一开始,完全是抱着一种批改学生作业的心态,在看陈慕武的这篇论文。 ??这里有点眼熟…… ??这里很有意思…… ??嗯,应该是他把之前的提问和思考结合到了一起。 ??不错不错,举一反三的能力非常强。 ??然後,罗素脸上的笑容就逐渐消失,表情越来越严肃,态度也越来越认真。 ??因为他看到了论文上出现了这样的一段话: ??“众所周知,数学正在朝着更为精确的方向发展,并且已经导致大部分数学分支的形式化,以至於人们只用少数的几个机械式的规则,就能证明任何定理。 ??“因此,人们可能猜测这些公理和推理的规则,足以决定这些形式系统能够加以表达的任何数学问题。 ??“下面将证明情况并非如此。” ??陈慕武自发地做课後练习题,这种行为值得表扬。 ??但你做题就做题吧,为什麽要把教科书上的内容给改了呀? ??关键是,教科书上的内容还真有问题。 ??这相当於是陈慕武仅用了一篇论文,就把从世纪伊始,数学家们就一直尝试做的努力,给全部推翻了。 ??罗素又想起了年轻时候的自己,当时才三十岁出头的他,提出来的罗素悖论,也让全世界的数学家们震惊恐慌了很久。 ??好像直到前几年,解决这个问题的办法才被最终提出来。 ??只是和当初的那个罗素悖论相比,陈慕武这次搞出来的花活更重磅了一些。 ??如果说罗素悖论,相当於是拆了数学大厦的一幢承重墙。