羅素第一開始,完全是抱著一種批改學生作業的心態,在看陳慕武的這篇論文。
這裏有點眼熟……
這裏很有意思……
嗯,應該是他把之前的提問和思考結合到了一起。
不錯不錯,舉一反三的能力非常強。
然後,羅素臉上的笑容就逐漸消失,表情越來越嚴肅,態度也越來越認真。
因為他看到了論文上出現了這樣的一段話:
“眾所周知,數學正在朝著更為精確的方向發展,並且已經導致大部分數學分支的形式化,以至於人們隻用少數的幾個機械式的規則,就能證明任何定理。
“因此,人們可能猜測這些公理和推理的規則,足以決定這些形式係統能夠加以表達的任何數學問題。
“下麵將證明情況並非如此。”
陳慕武自發地做課後練習題,這種行為值得表揚。
但你做題就做題吧,為什麽要把教科書上的內容給改了呀?
關鍵是,教科書上的內容還真有問題。
這相當於是陳慕武僅用了一篇論文,就把從世紀伊始,數學家們就一直嚐試做的努力,給全部推翻了。
羅素又想起了年輕時候的自己,當時才三十歲出頭的他,提出來的羅素悖論,也讓全世界的數學家們震驚恐慌了很久。
好像直到前幾年,解決這個問題的辦法才被最終提出來。
隻是和當初的那個羅素悖論相比,陳慕武這次搞出來的花活更重磅了一些。
如果說羅素悖論,相當於是拆了數學大廈的一幢承重牆。
那麽陳慕武提出來的不完備性定理,簡直就像是用了足夠多的炸藥,直接把全世界數學家們辛辛苦苦正在建設中的大廈的地基,給炸了個灰飛煙滅。
羅素剛好也是其中的一員。
這個人,一出手就這麽狠嗎?
不過羅素又想起來了另外一些事情。