最終永恆提示您:看後求收藏(貓撲小說www.mpzw.tw),接着再看更方便。
緊接着,又有一位男生說道:“他依舊是我們的同學,平時基本上都是在教室裏自學,啊……發表博士論文我也是現在才知道的……偶然間還一起打打籃球什麼的,他的投籃技術變得更加準確,三分球的命中率大概有90%以上。”
“……但是身體對抗依舊不行!這是因爲肉體沒有改造過嘛,喫了我不少蓋帽……哈哈!他應該平時多加強鍛鍊!”
這些生活化的評論,又是引發了一波又一波的議論。李多多本人甚至還有一點害羞。
……
緊接着,這一系列環節結束後,又有一位接受了改造的數學家開始發言:“接受了實驗後,我現在想通了原先非常困難的問題……”
他比劃着雙手,侃侃而談:“現在的數學發展,越來越慢,也越來越抽象。一個新的定理,翻來覆去的推論,總共需要寫上幾千個步驟,甚至上百萬字……這種情況並不罕見。”
“在這種情況下,只要一個環節沒有想到,定理也就沒有辦法推出來……”
“爲了應付這種無與倫比的複雜,我們漸漸採用一種數學機械化的辦法,每前進一步之後,都有一個確定的、必須選擇的下一步。這樣沿着一條有規律的、刻板的道路,一直達到結論。”
“數學機械化克服了一定的困難,做出了一系列成績,特別是關於幾何方面,但它依舊有侷限性……”
“因爲電腦是很死板的,如果某一步,得出了看上去比較不錯的結果,卻不是最終結果,它並不會顯示出來。在這種有上千萬甚至上億步驟的情況下,我們作爲人,不可能一個個校對過去,也就把這些比較不錯的結果給錯過了。”