1-1 什么是數(shù)學(xué)危機(jī)
為了講清楚
第三次數(shù)學(xué)危機(jī)的來龍去脈，我們首先要說明什么是數(shù)學(xué)危機(jī)。一般來講，危機(jī)是一種激化的、非解決不可的矛盾。從哲學(xué)上來看，矛盾是無處不在的、不可避免的，即便以確定無疑著稱的數(shù)學(xué)也不例外。人類最早認(rèn)識的是
自然數(shù)。從引進(jìn)零及負(fù)數(shù)就經(jīng)歷過斗爭：要么引進(jìn)這些數(shù)，要么大量的數(shù)的減法就行不通；同樣，引進(jìn)分?jǐn)?shù)使乘法有了逆運(yùn)算——除法，否則許多實(shí)際問題也不能解決。但是接著又出現(xiàn)了這樣的問題，是否所有的量都能用有理數(shù)來表示?于是發(fā)現(xiàn)無理數(shù)就導(dǎo)致了第一次數(shù)學(xué)危機(jī)，而危機(jī)的解決也就促使邏輯的發(fā)展和幾何學(xué)的體系化。
方程的解導(dǎo)致了
虛數(shù)的出現(xiàn)，虛數(shù)從一開始就被認(rèn)為是“不實(shí)的”?？墒沁@種不實(shí)的數(shù)卻能解決實(shí)數(shù)所不能解決的問題，從而為自己爭得存在的權(quán)利。
幾何學(xué)的發(fā)展從歐幾里得幾何的一統(tǒng)天下發(fā)展到各種非歐幾何學(xué)也是如此。在十九世紀(jì)發(fā)現(xiàn)了許多用傳統(tǒng)方法不能解決的問題，如五次及五次以上代數(shù)方程不能通過加、減、乘、除、乘方、開方求出根來；古希臘幾何三大問題，即三等分任意角、倍立方體、化圓為方不能通過圓規(guī)、直尺作圖來解決等等。這些否定的結(jié)果表明了傳統(tǒng)方法的局限性，也反映了人類認(rèn)識的深入。這種發(fā)現(xiàn)給這些學(xué)科帶來極大的沖擊，幾乎完全改變了它們的方向。比如說，代數(shù)學(xué)從此以后向抽象代數(shù)學(xué)方面發(fā)展，而求解方程的根變成了分析及計(jì)算數(shù)學(xué)的課題。在第三次數(shù)學(xué)危機(jī)中，這種情況也多次出現(xiàn)，尤其是包含整數(shù)算術(shù)在內(nèi)的形式系統(tǒng)的不完全性、許多問題的不可判定性都大大提高了人們的認(rèn)識，也促進(jìn)了數(shù)理邏輯的大發(fā)展。這種矛盾、危機(jī)引起的發(fā)展，改變面貌，甚至引起革命，在數(shù)學(xué)發(fā)展歷史上是屢見不鮮的。第二次數(shù)學(xué)危機(jī)是由無窮小量的矛盾引起的，它反映了數(shù)學(xué)內(nèi)部的有限與無窮的矛盾。數(shù)學(xué)中也一直貫穿著計(jì)算方法、分析方法在應(yīng)用與概念上清楚及邏輯上嚴(yán)格的矛盾。在這方面，比較注意實(shí)用的數(shù)學(xué)家盲目應(yīng)用。而比較注意嚴(yán)密的數(shù)學(xué)家及哲學(xué)家則提出批評。只有這兩方面取得協(xié)調(diào)一致后，矛盾才能解決。后來算符演算及δ函數(shù)也重復(fù)了這個(gè)過程，開始是形式演算、任意應(yīng)用，直到施瓦爾茲才奠定廣義函數(shù)論的嚴(yán)整系統(tǒng)。對于第三次數(shù)學(xué)危機(jī)，有人認(rèn)為只是數(shù)學(xué)基礎(chǔ)的危機(jī)，與數(shù)學(xué)無關(guān)。這種看法是片面的。誠然，問題涉及數(shù)理邏輯和集合論，但它一開始就牽涉到無窮集合，而現(xiàn)代數(shù)學(xué)如果脫離無窮集合就可以說寸步難行。因?yàn)槿绻豢紤]有限集合或至多是可數(shù)的集合，那絕大部分?jǐn)?shù)學(xué)將不復(fù)存在。而且即便這些有限數(shù)學(xué)的內(nèi)容，也有許多問題要涉及無窮的方法，比如解決數(shù)論中的許多問題都要用解析方法。由此看來，第三次數(shù)學(xué)危機(jī)是一次深刻的數(shù)學(xué)危機(jī)。
1-2 第一次數(shù)學(xué)危機(jī)
從某種意義上來講，現(xiàn)代意義下的數(shù)學(xué)（也就是作為演繹系統(tǒng)的純粹數(shù)學(xué)）來源于古希臘的畢達(dá)哥拉斯學(xué)派。這個(gè)學(xué)派興旺的時(shí)期為公元前500年左右，它是一個(gè)唯心主義流派。他們重視自然及社會中不變因素的研究，把幾何、算術(shù)、天文學(xué)、音樂稱為“四藝”，在其中追求宇宙的和諧及規(guī)律性。他們認(rèn)為“萬物皆數(shù)”，認(rèn)為數(shù)學(xué)的知識是可靠的、準(zhǔn)確的，而且可以應(yīng)用于現(xiàn)實(shí)的世界。數(shù)學(xué)的知識是由于純粹的思維而獲得，并不需要觀察、直覺及日常經(jīng)驗(yàn)。
畢達(dá)哥拉斯的數(shù)是指
整數(shù)，他們在數(shù)學(xué)上的一項(xiàng)重大發(fā)現(xiàn)是證明了
勾股定理。他們知道滿足直角三角形三邊長的一般公式，但由此也發(fā)現(xiàn)了一些直角三角形的三邊比不能用整數(shù)來表達(dá)，也就是勾長或股長與弦長是不可通約的。這樣一來，就否定了畢達(dá)哥拉斯學(xué)派的信條：宇宙間的一切現(xiàn)象都能歸結(jié)為整數(shù)或整數(shù)之比。不可通約性的發(fā)現(xiàn)引起第一次數(shù)學(xué)危機(jī)。有人說，這種性質(zhì)是
希帕索斯約在公元前400年發(fā)現(xiàn)的，為此，他的同伴把他拋進(jìn)大海。不過更有可能是畢達(dá)哥拉斯已經(jīng)知道這種事實(shí)，而希帕索斯因泄密而被處死。不管怎樣，這個(gè)發(fā)現(xiàn)對古希臘的數(shù)學(xué)觀點(diǎn)有極大的沖擊。這表明，幾何學(xué)的某些真理與算術(shù)無關(guān)，幾何量不能完全由整數(shù)及其比來表示，反之?dāng)?shù)卻可以由幾何量表示出來。整數(shù)的尊崇地位受到挑戰(zhàn)，于是幾何學(xué)開始在希臘數(shù)學(xué)中占有特殊地位。同時(shí)這也反映出，直覺和經(jīng)驗(yàn)不一定靠得住，而推理證明才是可靠的。從此希臘人開始由“自明的”公理出發(fā)，經(jīng)過演繹推理，并由此建立幾何學(xué)體系，這不能不說是數(shù)學(xué)思想上一次巨大革命，這也是第一次數(shù)學(xué)危機(jī)的自然產(chǎn)物?；仡櫼郧暗母鞣N數(shù)學(xué)，無非都是“算”，也就是提供算法。即使在古希臘，數(shù)學(xué)也是從實(shí)際出發(fā)，應(yīng)用到實(shí)際問題中去的。比如泰勒斯預(yù)測日食，利用影子距離計(jì)算金字塔高度，測量船只離岸距離等等，都是屬于計(jì)算技術(shù)范圍的。至于埃及、巴比倫、中國、印度等國的數(shù)學(xué)，并沒有經(jīng)歷過這樣的危機(jī)和革命，所以也就一直停留在“算學(xué)”階段。而希臘數(shù)學(xué)則走向了完全不同的道路，形成了歐幾里得《幾何原本》的公理體系與亞里士多德的邏輯體系。第一次危機(jī)的產(chǎn)物—古典邏輯與歐氏幾何學(xué)
亞里士多德的
方法論對于數(shù)學(xué)方法的影響是巨大的，他指出了正確的定義原理。亞里士多德繼承自己老師柏拉圖的觀念，把定義與存在區(qū)分，由某些屬性來定義的東西可能未必存在(如正九面體)。另外，定義必須用已存在的定義過的東西來定義，所以必定有些最原始的定義，如點(diǎn)、直線等。而證明存在的方法需要規(guī)定和限制。亞里士多德還指出公理的必要性，因?yàn)檫@是演繹推理的出發(fā)點(diǎn)。他區(qū)別了公理和公設(shè)，認(rèn)為公理是一切科學(xué)所公有的真理，而公設(shè)則只是某一門學(xué)科特有的最基本的原理。他把邏輯規(guī)律(矛盾律、排中律等)也列為公理。亞里士多德對邏輯推理過程進(jìn)行深入研究，得出三段論法，并把它表達(dá)成一個(gè)公理系統(tǒng)，這是最早的公理系統(tǒng)。他關(guān)于邏輯的研究不僅使邏輯形成一個(gè)獨(dú)立學(xué)科，而且對數(shù)學(xué)證明的發(fā)展也有良好的影響。亞里士多德對于離散與連續(xù)的矛盾有一定闡述。對于潛在的無窮(大)和實(shí)在的無窮(大)加以區(qū)別。他認(rèn)為正整數(shù)是潛在無窮的，因?yàn)槿魏握麛?shù)加上1以后總能得到一個(gè)新的數(shù)。但是他認(rèn)為所謂“無窮集合”是不存在的。他認(rèn)為空間是潛在無窮的，時(shí)間在延長上是潛在無窮的，在細(xì)分上也是潛在無窮的。
歐幾里得的《
幾何原本》對數(shù)學(xué)發(fā)展的作用無須在此多談。不過應(yīng)該指出，歐幾里得的貢獻(xiàn)在于他有史以來第一次總結(jié)了以往希臘人的數(shù)學(xué)知識，構(gòu)成一個(gè)標(biāo)準(zhǔn)化的演繹體系。這對數(shù)學(xué)乃至哲學(xué)、自然科學(xué)的影響一直延續(xù)到十九世紀(jì)。
牛頓的《
自然哲學(xué)的數(shù)學(xué)原理》和
斯賓諾莎的《倫理學(xué)》等都采用了歐幾里得《幾何原本》的體例。歐幾里得的平面幾何學(xué)為《幾何原本》的最初四篇與第六篇。其中有七個(gè)原始定義，五個(gè)公理和五個(gè)公設(shè)。他規(guī)定了存在的證明依賴于構(gòu)造?！稁缀卧尽吩谖鞣绞澜绯蔀閮H次于《
圣經(jīng)》而流傳最廣的書籍。它一直是幾何學(xué)的標(biāo)準(zhǔn)著作。但是它還存在許多缺點(diǎn)并不斷受到批評，比如對于點(diǎn)、線、面的定義是不嚴(yán)格的：“點(diǎn)是沒有部分的對象”，“線是沒有寬度的長度(線指曲線)”，“面是只有長度和寬度的對象”。顯然，這些定義是不能起邏輯推理的作用。特別是直線、平面的定義更是從直觀來解釋的(“直線是同其中各點(diǎn)看齊的線”)。另外，他的公理五是“整體大于部分”，沒有涉及無窮量的問題。在他的證明中，原來的公理也不夠用，須加上新的公理。特別是平行公設(shè)是否可由其他公理、公設(shè)推出更是人所矚目的問題。盡管如此，近代數(shù)學(xué)的體系特點(diǎn)在其中已經(jīng)基本上形成了。
1-3 非歐幾何學(xué)的誕生
歐幾里得的《幾何原本》是第一次數(shù)學(xué)危機(jī)的產(chǎn)物。盡管它有種種缺點(diǎn)和毛病，畢竟兩千多年來一直是大家公認(rèn)的典范。尤其是許多哲學(xué)家，把歐幾里得幾何學(xué)擺在絕對幾何學(xué)的地位。十八世紀(jì)時(shí)，大部分人都認(rèn)為歐幾里得幾何是物質(zhì)空間中圖形性質(zhì)的正確理想化。特別是康德認(rèn)為關(guān)于空間的原理是先驗(yàn)綜合判斷，物質(zhì)世界必然是歐幾里得式的，歐幾里得幾何是唯一的、必然的、完美的。既然是完美的，大家希望公理、公設(shè)簡單明白、直截了當(dāng)。其他的公理和公設(shè)都滿足了上面的這個(gè)條件，唯獨(dú)平行公設(shè)不夠簡明，象是一條定理。歐幾里得的平行公設(shè)是：每當(dāng)一條直線與另外兩條直線相交，在它一側(cè)做成的兩個(gè)同側(cè)內(nèi)角的和小于兩直角時(shí)，這另外兩條直線就在同側(cè)內(nèi)角和小于兩直角的那一側(cè)相交。在《幾何原本》中，證明前28個(gè)命題并沒有用到這個(gè)公設(shè)，這很自然引起人們考慮：這條啰哩啰嗦的公設(shè)是否可由其他的公理和公設(shè)推出，也就是說，平行公設(shè)可能是多余的。之后的二千多年，許許多多人曾試圖證明這點(diǎn)，有些人開始以為成功了，但是經(jīng)過仔細(xì)檢查發(fā)現(xiàn)：所有的證明都使用了一些其他的假設(shè)，而這些假設(shè)又可以從平行公設(shè)推出來，所以他們只不過得到一些和平行公設(shè)等價(jià)的命題罷了。到了十八世紀(jì)，有人開始想用反證法來證明，即假設(shè)平行公設(shè)不成立，企圖由此得出矛盾。他們得出了一些推論，比如“有兩條線在無窮遠(yuǎn)點(diǎn)處相交，而在交點(diǎn)處這兩條線有公垂線”等等。在他們看來，這些結(jié)論不合情理，因此不可能真實(shí)。但是這些推論的含義不清楚，也很難說是導(dǎo)出矛盾，所以不能說由此證明了平行公設(shè)。從舊的歐幾里得幾何觀念到新幾何觀念的確立，需要在某種程度上解放思想。首先，要能從二千年來證明平行公設(shè)的失敗過程中看出這個(gè)證明是辦不到的事，并且這種不可能性是可以加以證實(shí)的；其次，要選取與平行公設(shè)相矛盾的其他公設(shè)，也能建立邏輯上沒有矛盾的幾何。這主要是羅巴切夫斯基的開創(chuàng)性工作。要認(rèn)識到歐幾里得幾何不一定是物質(zhì)空間的幾何學(xué)，歐幾里得幾何學(xué)只是許多可能的幾何學(xué)中的一種。而幾何學(xué)要從由直覺、經(jīng)驗(yàn)來檢驗(yàn)的空間科學(xué)要變成一門純粹數(shù)學(xué)，也就是說，它的存在性只由無矛盾性來決定。雖說象蘭伯特等人已有這些思想苗頭，但是真正把幾何學(xué)變成這樣一門純粹數(shù)學(xué)的是希爾伯特。這個(gè)過程是漫長的，其中最主要的一步是羅巴切夫斯基和波耶分別獨(dú)立地創(chuàng)立非歐幾何學(xué)，尤其是它們所考慮的無矛盾性是歷史上的獨(dú)創(chuàng)。后人把羅氏幾何的無矛盾性隱含地變成歐氏幾何無矛盾性的問題。這種利用“模型”和證明“相對無矛盾性”的思想一直貫穿到以后的數(shù)學(xué)基礎(chǔ)的研究中。而且這種把非歐幾何歸結(jié)到大家一貫相信的歐氏幾何，也使得大家在接受非歐幾何方面起到重要作用。應(yīng)該指出，非歐幾何為廣大數(shù)學(xué)界接受還是經(jīng)過幾番艱苦斗爭的。首先要證明第五公設(shè)的否定并不會導(dǎo)致矛盾，只有這樣才能說新幾何學(xué)成立，才能說明第五公設(shè)獨(dú)立于別的公理公設(shè)，這是一個(gè)起碼的要求。當(dāng)時(shí)證明的方法是證明“相對無矛盾性”。因?yàn)楫?dāng)時(shí)大家都承認(rèn)歐幾里得幾何學(xué)沒有矛盾，如果能把非歐幾何學(xué)用歐幾里得幾何學(xué)來解釋而且解釋得通，也就變得沒有矛盾。而這就要把非歐幾何中的點(diǎn)、直線、平面、角、平行等翻譯成歐幾里得幾何學(xué)中相應(yīng)的東西，公理和定理也可用相應(yīng)歐幾里得幾何學(xué)的公理和定理來解釋，這種解釋叫做非歐幾何學(xué)的歐氏模型。對于羅巴切夫斯基幾何學(xué)，最著名的歐氏模型有意大利數(shù)學(xué)家貝特拉米于1869年提出的常負(fù)曲率曲面模型；德國數(shù)學(xué)家克萊因于1871年提出的射影平面模型和彭加勒在1882年提出的用自守函數(shù)解釋的單位圓內(nèi)部模型。這些模型的確證實(shí)了非歐幾何的相對無矛盾性，而且有的可以推廣到更一般非歐幾何，即黎曼創(chuàng)立的橢圓幾何學(xué)，另外還可以推廣到高維空間上。因此，從十九世紀(jì)六十年代末到八十年代初，大部分?jǐn)?shù)學(xué)家接受了非歐幾何學(xué)。盡管有的人還堅(jiān)持歐幾里得幾何學(xué)的獨(dú)特性，但是許多人明確指出非歐幾何學(xué)和歐氏幾何學(xué)平起平坐的時(shí)代已經(jīng)到來。當(dāng)然也有少數(shù)頑固派，如數(shù)理邏輯的締造者弗雷格，至死不肯承認(rèn)非歐幾何學(xué)，不過這已無關(guān)大局了。非歐幾何學(xué)的創(chuàng)建對數(shù)學(xué)的震動很大。數(shù)學(xué)家開始關(guān)心幾何學(xué)的基礎(chǔ)問題，從十九世紀(jì)八十年代起，幾何學(xué)的公理化成為大家關(guān)注的目標(biāo)，并由此產(chǎn)生了希爾伯特的新公理化運(yùn)動。
1-4 第二次數(shù)學(xué)危機(jī)
早在古代，人們就對長度、面積、體積的度量問題感興趣。古希臘的歐多克斯引入量的觀念來考慮連續(xù)變動的東西，并完全依據(jù)幾何來嚴(yán)格處理連續(xù)量。這造成數(shù)與量的長期脫離。古希臘的數(shù)學(xué)中除了整數(shù)之外，并沒有無理數(shù)的概念，連有理數(shù)的運(yùn)算也沒有，可是卻有量的比例。他們對于連續(xù)與離散的關(guān)系很有興趣，尤其是
芝諾提出的四個(gè)著名的悖論：第一個(gè)悖論是說運(yùn)動不存在，理由是運(yùn)動物體到達(dá)目的地之前必須到達(dá)半路，而到達(dá)半路之前又必須到達(dá)半路的半路……如此下去，它必須通過無限多個(gè)點(diǎn)，這在有限長時(shí)間之內(nèi)是無法辦到的。第二個(gè)悖論是跑得很快的阿希里趕不上在他前面的烏龜。因?yàn)闉觚斣谒懊鏁r(shí)，他必須首先到達(dá)烏龜?shù)钠瘘c(diǎn)，然后用第一個(gè)悖論的邏輯，烏龜者在他的前面。這兩個(gè)悖論是反對空間、時(shí)間無限可分的觀點(diǎn)的。而第三、第四悖論是反對空間、時(shí)間由不可分的間隔組成。第三個(gè)悖論是說“飛矢不動”，因?yàn)樵谀骋粫r(shí)間間隔，飛矢總是在某個(gè)空間間隔中確定的位置上，因而是靜止的。第四個(gè)悖論是游行隊(duì)伍悖論，內(nèi)容大體相似。這說明希臘人已經(jīng)看到無窮小與“很小很小”的矛盾。當(dāng)然他們無法解決這些矛盾。希臘人雖然沒有明確的極限概念，但他們在處理面積體積的問題時(shí)，卻有嚴(yán)格的逼近步驟，這就是所謂“窮竭法”。它依靠間接的證明方法，證明了許多重要而難證的定理。到了十六、十七世紀(jì)，除了求曲線長度和曲線所包圍的面積等類問題外，還產(chǎn)生了許多新問題，如求速度、求切線，以及求極大、極小值等問題。經(jīng)過許多人多年的努力，終于在十七世紀(jì)晚期，形成了無窮小演算——微積分這門學(xué)科，這也就是數(shù)學(xué)分析的開端。牛頓和
萊布尼茲被公認(rèn)為
微積分的奠基者。他們的功績主要在于：1，把各種問題的解法統(tǒng)一成一種方法，微分法和積分法；2，有明確的計(jì)算微分法的步驟；3．微分法和積分法互為逆運(yùn)算。由于運(yùn)算的完整性和應(yīng)用范圍的廣泛性，使微積分成為解決問題的重要工具。同時(shí)關(guān)于微積分基礎(chǔ)的問題也越來越嚴(yán)重。以求速度為例，瞬時(shí)速度是Δs/Δt當(dāng)Δt趨向于零時(shí)的值。Δt是零、是很小的量，還是什么東西，這個(gè)無窮小量究竟是不是零。這引起了極大的爭論，從而引發(fā)了第二次數(shù)學(xué)危機(jī)。十八世紀(jì)的數(shù)學(xué)家成功地用微積分解決了許多實(shí)際問題，因此有些人就對這些基礎(chǔ)問題的討論不感興趣。如達(dá)朗貝爾就說，現(xiàn)在是“把房子蓋得更高些，而不是把基礎(chǔ)打得更加牢固”。更有許多人認(rèn)為所謂的嚴(yán)密化就是煩瑣。但也因此，微積分的基礎(chǔ)問題一直受到一些人的批判和攻擊，其中最有名的是貝克萊主教在1734年的攻擊。十八世紀(jì)的數(shù)學(xué)思想的確是不嚴(yán)密的、直觀的、強(qiáng)調(diào)形式的計(jì)算，而不管基礎(chǔ)的可靠與否，其中特別是：沒有清楚的無窮小概念，因此導(dǎo)數(shù)、微分、積分等概念不清楚；對無窮大的概念也不清楚；發(fā)散級數(shù)求和的任意性；符號使用的不嚴(yán)格性；不考慮連續(xù)性就進(jìn)行微分，不考慮導(dǎo)數(shù)及積分的存在性以及可否展成冪級數(shù)等等。一直到十九世紀(jì)二十年代，一些數(shù)學(xué)家才開始比較關(guān)注于微積分的嚴(yán)格基礎(chǔ)。它們從波爾查諾、阿貝爾、柯西、狄里克萊等人的工作開始，最終由魏爾斯特拉斯、戴德金和康托爾徹底完成，中間經(jīng)歷了半個(gè)多世紀(jì)，基本上解決了矛盾，為數(shù)學(xué)分析奠定了一個(gè)嚴(yán)格的基礎(chǔ)。
波爾查諾不承認(rèn)無窮小數(shù)和無窮大數(shù)的存在，而且給出了連續(xù)性的正確定義?？挛髟?821年的《代數(shù)分析教程》中從定義變量開始，認(rèn)識到函數(shù)不一定要有解析表達(dá)式。他抓住了極限的概念，指出無窮小量和無窮大量都不是固定的量而是變量，并定義了導(dǎo)數(shù)和積分；阿貝爾指出要嚴(yán)格限制濫用級數(shù)展開及求和；狄里克萊給出了函數(shù)的現(xiàn)代定義。在這些數(shù)學(xué)工作的基礎(chǔ)上，維爾斯特拉斯消除了其中不確切的地方，給出現(xiàn)在通用的ε - δ的極限、連續(xù)定義，并把導(dǎo)數(shù)、積分等概念都嚴(yán)格地建立在極限的基礎(chǔ)上，從而克服了危機(jī)和矛盾。十九世紀(jì)七十年代初，魏爾斯特拉斯、戴德金、康托爾等人獨(dú)立地建立了實(shí)數(shù)理論，而且在實(shí)數(shù)理論的基礎(chǔ)上，建立起極限論的基本定理，從而使數(shù)學(xué)分析終于建立在實(shí)數(shù)理論的嚴(yán)格基礎(chǔ)之上了。同時(shí)，魏爾斯特拉斯給出一個(gè)處處不可微的連續(xù)函數(shù)的例子。這個(gè)發(fā)現(xiàn)以及后來許多病態(tài)函數(shù)的例子，充分說明了直觀及幾何的思考不可靠，而必須訴諸嚴(yán)格的概念及推理。由此，第二次數(shù)學(xué)危機(jī)使數(shù)學(xué)更深入地探討數(shù)學(xué)分析的基礎(chǔ)——實(shí)數(shù)論的問題。這不僅導(dǎo)致集合論的誕生，并且由此把數(shù)學(xué)分析的無矛盾性問題歸結(jié)為實(shí)數(shù)論的無矛盾性問題，而這正是二十世紀(jì)數(shù)學(xué)基礎(chǔ)中的首要問題。
1-5第三次數(shù)學(xué)危機(jī)
經(jīng)過第一、二次數(shù)學(xué)危機(jī)，人們把數(shù)學(xué)基礎(chǔ)理論的無矛盾性，歸結(jié)為集合論的無矛盾性，集合論已成為整個(gè)現(xiàn)代數(shù)學(xué)的邏輯基礎(chǔ)，數(shù)學(xué)這座富麗堂皇的大廈就算竣工了?？磥砑险撍坪跏遣粫忻艿?，數(shù)學(xué)的嚴(yán)格性的目標(biāo)快要達(dá)到了，數(shù)學(xué)家們幾乎都為這一成就自鳴得意。法國著名數(shù)學(xué)家
龐加萊（1854—1912）于1900年在巴黎召開的國際數(shù)學(xué)家會議上夸耀道：“現(xiàn)在可以說，（數(shù)學(xué)）絕對的嚴(yán)密性是已經(jīng)達(dá)到了”。然而，事隔不到兩年，英國著名數(shù)理邏輯學(xué)家和哲學(xué)家
羅素（1872—1970）即宣布了一條驚人的消息：集合論是自相矛盾的，并不存在什么絕對的嚴(yán)密性！史稱“
羅素悖論”。1918年，羅素把這個(gè)悖論通俗化，成為理發(fā)師悖論。羅素悖論的發(fā)現(xiàn)，無異于晴天劈靂，把人們從美夢中驚醒。羅素悖論以及集合論中其它一些悖論，深入到集合論的理論基礎(chǔ)之中，從而從根本上危及了整個(gè)數(shù)學(xué)體系的確定性和嚴(yán)密性。于是在數(shù)學(xué)和邏輯學(xué)界引起了一場軒然大波，形成了數(shù)學(xué)史上的第三次危機(jī)。產(chǎn)生集合論悖論的原因在于集合的辨證性與數(shù)學(xué)方法的形式特性或者形而上學(xué)的思維方法的矛盾。如產(chǎn)生羅素悖論的原因，就在于概括原則造集的任意性與生成集合的客觀規(guī)則的非任意性之間的矛盾。第三次數(shù)學(xué)危機(jī)的產(chǎn)物——數(shù)理邏輯的發(fā)展與一批現(xiàn)代數(shù)學(xué)的產(chǎn)生。為了解決第三次數(shù)學(xué)危機(jī)，數(shù)學(xué)家們作了不同的努力。由于他們解決問題的出發(fā)點(diǎn)不同，所遵循的途徑不同，所以在本世紀(jì)初就形成了不同的數(shù)學(xué)哲學(xué)流派，這就是以羅素為首的邏輯主義學(xué)派、以
布勞威爾（1881—1966）為首的直覺主義學(xué)派和以
希爾伯特為首的形式主義學(xué)派。這三大學(xué)派的形成與發(fā)展，把數(shù)學(xué)基礎(chǔ)理論研究推向了一個(gè)新的階段。三大學(xué)派的數(shù)學(xué)成果首先表現(xiàn)在數(shù)理邏輯學(xué)科的形成和它的現(xiàn)代分支——證明論等——的形成上。為了排除集合論悖論，羅素提出了類型論，策梅羅提出了第一個(gè)集合論公理系統(tǒng)，后經(jīng)弗倫克爾加以修改和補(bǔ)充，得到常用的策梅羅——弗倫克爾集合論公理體系，以后又經(jīng)伯奈斯和哥德爾進(jìn)一步改進(jìn)和簡化，得到伯奈斯——哥德爾集合論公理體系。希爾伯特還建立了元數(shù)學(xué)。作為對集合論悖論研究的直接成果是哥德爾不完全性定理。美國杰出數(shù)學(xué)家
哥德爾于本世紀(jì)30年代提出了不完全性定理。他指出：一個(gè)包含邏輯和初等數(shù)論的形式系統(tǒng)，如果是協(xié)調(diào)的，則是不完全的，亦即無矛盾性不可能在本系統(tǒng)內(nèi)確立；如果初等算術(shù)系統(tǒng)是協(xié)調(diào)的，則協(xié)調(diào)性在算術(shù)系統(tǒng)內(nèi)是不可能證明的。哥德爾不完全性定理無可辯駁地揭示了形式主義系統(tǒng)的局限性，從數(shù)學(xué)上證明了企圖以形式主義的技術(shù)方法一勞永逸地解決悖論問題的不可能性。它實(shí)際上告訴人們，任何想要為數(shù)學(xué)找到絕對可靠的基礎(chǔ)，從而徹底避免悖論的種種企圖都是徒勞無益的，哥德爾定理是數(shù)理邏輯、人工智能、集合論的基石，是數(shù)學(xué)史上的一個(gè)里程碑。美國著名數(shù)學(xué)家馮•諾伊曼說過：“哥德爾在現(xiàn)代邏輯中的成就是非凡的、不朽的——它的不朽甚至超過了紀(jì)念碑，它是一個(gè)里程碑，在可以望見的地方和可以望見的未來中永遠(yuǎn)存在的紀(jì)念碑”。時(shí)至今日，第三次數(shù)學(xué)危機(jī)還不能說已從根本上消除了，因?yàn)閿?shù)學(xué)基礎(chǔ)和數(shù)理邏輯的許多重要課題還未能從根本上得到解決。然而，人們正向根本解決的目標(biāo)逐漸接近。可以預(yù)料，在這個(gè)過程中還將產(chǎn)生許多新的重要成果。
