第一次數學危機
數學家畢達哥拉斯
01
畢達哥拉斯是公元前五世紀古希臘的著名數學家與哲學家。他曾創立了一個合政治、學術、宗教三位一體的神秘主義派別:畢達哥拉斯學派。由畢達哥拉斯提出的著名命題「萬物皆數」是該學派的哲學基石。畢達哥拉斯學派所說的數僅指整數。而「一切數均可表成整數或整數之比」則是這一學派的數學信仰。然而,具有戲劇性的是由畢達哥拉斯建立的畢達哥拉斯定理卻成了畢達哥拉斯學派數學信仰的「掘墓人」。小小的根號2的出現,卻在當時的數學界掀起了一場巨大風暴。它直接動搖了畢達哥拉斯學派的數學信仰,使畢達哥拉斯學派為之大為恐慌。實際上,這一偉大發現不但是對畢達哥拉斯學派的致命打擊,對於當時所有古希臘人的觀念這都是一個極大的衝擊。這一結論的悖論性表現在它與常識的衝突上:任何量,在任何精確度的範圍內都可以表示成有理數。這就在當時直接導致了人們認識上的危機!
數學家希伯斯
02
數學家希伯斯發現了一個腰為1的等腰直角三角形的斜邊(即根號2)永遠無法用最簡整數比(不可公度比)來表示,從而發現了第一個無理數,推翻了畢達哥拉斯的著名理論。相傳當時畢達哥拉斯派的人正在海上,但就因為這一發現而把希伯斯拋入大海。
第二次數學危機
數學家牛頓
數學家萊布尼茲
01
第二次數學危機導源於微積分工具的使用。伴隨著人們科學理論與實踐認識的提高,十七世紀幾乎在同一時期,微積分這一銳利無比的數學工具為牛頓、萊布尼茲共同發現。這一工具一問世,就顯示出它的非凡威力。許許多多疑難問題運用這一工具後變得易如反掌。但是不管是牛頓,還是萊布尼茲所創立的微積分理論都是不嚴格的。兩人的理論都建立在無窮小分析之上,但他們對作為基本概念的無窮小量的理解與運用卻是混亂的。因而,從微積分誕生時就遭到了一些人的反對與攻擊。其中攻擊最猛烈的是英國大主教貝克萊。積分的合理性遭到嚴重質疑,險些要把整個微積分理論推翻。
數學家柯西
02
數學家柯西用極限的方法定義了無窮小量,微積分理論得以發展和完善,從而使數學大廈變得更加輝煌美麗!
第三次數學危機
數學家康託爾
01
十九世紀下半葉,康託爾創立了著名的集合論,在集合論剛產生時,曾遭到許多人的猛烈攻擊。但不久這一開創性成果就為廣大數學家所接受了,並且獲得廣泛而高度的讚譽。數學家們發現,從自然數與康託爾集合論出發可建立起整個數學大廈。因而集合論成為現代數學的基石。「一切數學成果可建立在集合論基礎上」這一發現使數學家們為之陶醉。1900年,國際數學家大會上,法國著名數學家龐加萊就曾興高採烈地宣稱:「藉助集合論概念,我們可以建造整個數學大廈,今天,我們可以說絕對的嚴格性已經達到了」
數學家羅素
02
可是,好景不長。1903年,一個震驚數學界的消息傳出:集合論是有漏洞的!這就是英國數學家羅素提出的著名的羅素悖論。羅素悖論:S由一切不是自身元素的集合所組成,那S包含S嗎?用通俗一點的話來說,小明有一天說:「我正在撒謊!」問小明到底撒謊還是說實話。羅素悖論的可怕在於,它不像最大序數悖論或最大基數悖論那樣涉及集合高深知識,它很簡單,卻可以輕鬆摧毀集合理論!
數學家策梅洛
03
危機產生後,數學家紛紛提出自己的解決方案。人們希望能夠通過對康託爾的集合論進行改造,通過對集合定義加以限制來排除悖論,這就需要建立新的原則。「這些原則必須足夠狹窄,以保證排除一切矛盾;另一方面又必須充分廣闊,使康託爾集合論中一切有價值的內容得以保存下來。」1908年,策梅洛在自己這一原則基礎上提出第一個公理化集合論體系,後來經其他數學家改進,稱為ZF系統。這一公理化集合系統很大程度上彌補了康託爾樸素集合論的缺陷。除ZF系統外,集合論的公理系統還有多種,如諾伊曼等人提出的NBG系統等。