畢達哥拉斯
畢達哥拉斯是公元前五世紀古希臘的著名數學家與哲學家。他曾創立了一個合政治、學術、宗教三位一體的神秘主義派別:畢達哥拉斯學派。由畢達哥拉斯提出的著名命題「萬物皆數」是該學派的哲學基石。畢達哥拉斯學派所說的數僅指整數。而「一切數均可表成整數或整數之比」則是這一學派的數學信仰。然而,具有戲劇性的是由畢達哥拉斯建立的畢達哥拉斯定理卻成了畢達哥拉斯學派數學信仰的「掘墓人」。小小的根號2的出現,卻在當時的數學界掀起了一場巨大風暴。它直接動搖了畢達哥拉斯學派的數學信仰,使畢達哥拉斯學派為之大為恐慌。實際上,這一偉大發現不但是對畢達哥拉斯學派的致命打擊,對於當時所有古希臘人的觀念這都是一個極大的衝擊。這一結論的悖論性表現在它與常識的衝突上:任何量,在任何精確度的範圍內都可以表示成有理數。這就在當時直接導致了人們認識上的危機!
希伯斯
希伯斯(Hippasu,米太旁登地方人,公元前5世紀)發現了一個腰為1的等腰直角三角形的斜邊(即根號2)永遠無法用最簡整數比(不可公度比)來表示,從而發現了第一個無理數,推翻了畢達哥拉斯的著名理論。相傳當時畢達哥拉斯派的人正在海上,但就因為這一發現而把希伯斯拋入大海。
出現
第二次數學危機導源於微積分工具的使用。伴隨著人們科學理論與實踐認識的提高,十七世紀幾乎在同一時期,微積分這一銳利無比的數學工具為牛頓、萊布尼茲共同發現。這一工具一問世,就顯示出它的非凡威力。許許多多疑難問題運用這一工具後變得易如反掌。但是不管是牛頓,還是萊布尼茲所創立的微積分理論都是不嚴格的。兩人的理論都建立在無窮小分析之上,但他們對作為基本概念的無窮小量的理解與運用卻是混亂的。因而,從微積分誕生時就遭到了一些人的反對與攻擊。其中攻擊最猛烈的是英國大主教貝克萊。積分的合理性遭到嚴重質疑,險些要把整個微積分理論推翻。
柯西
解決
經過柯西(微積分收官人)用極限的方法定義了無窮小量,微積分理論得以發展和完善,從而使數學大廈變得更加輝煌美麗!
出現
十九世紀下半葉,康託爾創立了著名的集合論,在集合論剛產生時,曾遭到許多人的猛烈攻擊。但不久這一開創性成果就為廣大數學家所接受了,並且獲得廣泛而高度的讚譽。數學家們發現,從自然數與康託爾集合論出發可建立起整個數學大廈。因而集合論成為現代數學的基石。「一切數學成果可建立在集合論基礎上」這一發現使數學家們為之陶醉。1900年,國際數學家大會上,法國著名數學家龐加萊就曾興高採烈地宣稱:「……藉助集合論概念,我們可以建造整個數學大廈……今天,我們可以說絕對的嚴格性已經達到了……」
康託爾
可是,好景不長。1903年,一個震驚數學界的消息傳出:集合論是有漏洞的!這就是英國數學家羅素提出的著名的羅素悖論。
羅素
羅素悖論:S由一切不是自身元素的集合所組成,那S包含S嗎?用通俗一點的話來說,小明有一天說:「我正在撒謊!」問小明到底撒謊還是說實話。羅素悖論的可怕在於,它不像最大序數悖論或最大基數悖論那樣涉及集合高深知識,它很簡單,卻可以輕鬆摧毀集合理論!
解決排除悖論
危機產生後,數學家紛紛提出自己的解決方案。人們希望能夠通過對康託爾的集合論進行改造,通過對集合定義加以限制來排除悖論,這就需要建立新的原則。「這些原則必須足夠狹窄,以保證排除一切矛盾;另一方面又必須充分廣闊,使康託爾集合論中一切有價值的內容得以保存下來。」1908年,策梅羅在自己這一原則基礎上提出第一個公理化集合論體系,後來經其他數學家改進,稱為ZF系統。這一公理化集合系統很大程度上彌補了康託爾樸素集合論的缺陷。除ZF系統外,集合論的公理系統還有多種,如諾伊曼等人提出的NBG系統等。
策梅羅
公理化集合系統
成功排除了集合論中出現的悖論,從而比較圓滿地解決了第三次數學危機。但在另一方面,羅素悖論對數學而言有著更為深刻的影響。它使得數學基礎問題第一次以最迫切的需要的姿態擺到數學家面前,導致了數學家對數學基礎的研究。而這方面的進一步發展又極其深刻地影響了整個數學。如圍繞著數學基礎之爭,形成了現代數學史上著名的三大數學流派,而各派的工作又都促進了數學的大發展等等。
∑編輯 | Gemini
來源| 高中數學任禕老師
更多精彩:
☞ 哈爾莫斯:怎樣做數學研究
☞ 扎克伯格2017年哈佛大學畢業演講
☞ 線性代數在組合數學中的應用
☞ 你見過真的菲利普曲線嗎?
☞ 支持向量機(SVM)的故事是這樣子的
☞ 深度神經網絡中的數學,對你來說會不會太難?
☞ 編程需要知道多少數學知識?
☞ 陳省身——什麼是幾何學
☞ 簡述多種降維算法
☞ 曲面論
☞ 自然底數e的意義是什麼?
☞ 如何向5歲小孩解釋什麼是支持向量機(SVM)?
☞ 華裔天才數學家陶哲軒自述
☞ 代數,分析,幾何與拓撲,現代數學的三大方法論
算法數學之美微信公眾號歡迎賜稿
稿件涉及數學、物理、算法、計算機、編程等相關領域,經採用我們將奉上稿酬。
投稿郵箱:math_alg@163.com