數(shù)學(xué)的三次危機(jī)——第三次數(shù)學(xué)危機(jī)

編輯: 逍遙路 關(guān)鍵詞: 高中數(shù)學(xué) 來源: 高中學(xué)習(xí)網(wǎng)


三、第三次數(shù)學(xué)危機(jī)

 

數(shù)學(xué)基礎(chǔ)的第三次危機(jī)是由1897年的突然沖擊而出現(xiàn)的,從整體上看到現(xiàn)在還沒有解決到令人滿意的程度。這次危機(jī)是由于在康托的一般集合理論的邊緣發(fā)現(xiàn)悖論造成的。由于集合概念已經(jīng)滲透到眾多的數(shù)學(xué)分支,并且實(shí)際上集合論已經(jīng)成了數(shù)學(xué)的基礎(chǔ),因此集合論中悖論的發(fā)現(xiàn)自然地引起了對數(shù)學(xué)的整個基本結(jié)構(gòu)的有效性的懷疑。

 

1897年,福爾蒂揭示了集合論的第一個悖論;兩年后,康托發(fā)現(xiàn)了很相似的悖論,它們涉及到集合論中的結(jié)果。1902年,羅素發(fā)現(xiàn)了一個悖論,它除了涉及集合概念本身外不涉及別的概念。

 

羅素,英國人,哲學(xué)家、邏輯學(xué)家、數(shù)學(xué)家。1902年著述《數(shù)學(xué)原理》,繼而與懷德海合著《數(shù)學(xué)原理》(1910年~1913年),把數(shù)學(xué)歸納為一個公理體系,是劃時代的著作之一。他在很多領(lǐng)域都有大量著作,并于1950年獲得諾貝爾文學(xué)獎。他關(guān)心社會現(xiàn)象,參加和平運(yùn)動,開辦學(xué)校。1968~1969年出版了他的自傳。

 

羅素悖論曾被以多種形式通俗化,其中最著名的是羅索于1919年給出的,它講的是某村理發(fā)師的困境。理發(fā)師宣布了這樣一條原則:他只給不自己刮胡子的人刮胡子。當(dāng)人們試圖答復(fù)下列疑問時,就認(rèn)識到了這種情況的悖論性質(zhì):“理發(fā)師是否可以給自己刮胡子?”如果他給自己刮胡子,那么他就不符合他的原則;如果他不給自己刮胡子,那么他按原則就該為自己刮胡子。

 

羅素悖論使整個數(shù)學(xué)大廈動搖了,無怪乎弗雷格在收到羅素的信之后,在他剛要出版的《算術(shù)的基本法則》第2卷本末尾寫道:“一位科學(xué)家不會碰到比這更難堪的事情了,即在工作完成之時,它的基礎(chǔ)垮掉了。當(dāng)本書等待付印的時候,羅素先生的一封信把我就置于這種境地”。狄德金原來打算把《連續(xù)性及無理數(shù)》第3版付印,這時也把稿件抽了回來。發(fā)現(xiàn)拓?fù)鋵W(xué)中“不動點(diǎn)原理”的布勞恩也認(rèn)為自己過去做的工作都是“廢話”,聲稱要放棄不動點(diǎn)原理。

 

自從在康托的集合論和發(fā)現(xiàn)上述矛盾之后,還產(chǎn)生了許多附加的悖論。集合論的現(xiàn)代悖論與邏輯的幾個古代悖論有關(guān)系。例如公元前四世紀(jì)的歐伯利得悖論:“我現(xiàn)在正在做的這個陳述是假的”。如果這個陳述是真的,則它是假的;然而,如果這個陳述是假的,則它又是真的了。于是,這個陳述既不能是真的,又不能是假的,怎么也逃避不了矛盾。更早的還有埃皮門尼德(公元前6世紀(jì),克利特人)悖論:“克利特人總是說謊的人”。只要簡單分析一下,就能看出這句話也是自相矛盾的。

 

集合論中悖論的存在,明確地表示某些地方出了毛病。自從發(fā)現(xiàn)它們之后,人們發(fā)表了大量關(guān)于這個課題的文章,并且為解決它們作過大量的嘗試。就數(shù)學(xué)而論,看來有一條容易的出路:人們只要把集合論建立在公理化的基礎(chǔ)上,加以充分限制以排除所知道的矛盾。

 

第一次這樣的嘗試是策梅羅于1908年做出的,以后還有多人進(jìn)行了加工。但是,此程序曾受到批評,因?yàn)樗皇潜荛_了某些悖論,而未能說明這些悖論;此外,它不能保證將來不出現(xiàn)別種悖論。

 

另一種程序既能解釋又能排除已知悖論。如果仔細(xì)地檢查就會發(fā)現(xiàn):上面的每一個悖論都涉及一個集合S和S的一個成員M(既M是靠S定義的)。這樣的一個定義被稱作是“非斷言的”,而非斷言的定義在某種意義上是循環(huán)的。例如,考慮羅素的理發(fā)師悖論:用M標(biāo)志理發(fā)師,用S標(biāo)示所有成員的集合,則M被非斷言地定義為“S的給并且只給不自己刮胡子人中刮胡子的那個成員”。此定義的循環(huán)的性質(zhì)是顯然的——理發(fā)師的定義涉及所有的成員,并且理發(fā)師本身就是這里的成員。因此,不允許有非斷言的定義便可能是一種解決集合論的己知悖論的辦法。然而,對這種解決辦法,有一個嚴(yán)重的責(zé)難,即包括非斷言定義的那幾部分?jǐn)?shù)學(xué)是數(shù)學(xué)家很不愿丟棄的,例如定理“每一個具有上界的實(shí)數(shù)非空集合有最小上界(上確界)”。

 

解決集合論的悖論的其它嘗試,是從邏輯上去找問題的癥結(jié),這帶來了邏輯基礎(chǔ)的全面研究。

 

從1900年到1930年左右,數(shù)學(xué)的危機(jī)使許多數(shù)學(xué)家卷入一場大辯論當(dāng)中。他們看到這次危機(jī)涉及到數(shù)學(xué)的根本,因此必須對數(shù)學(xué)的哲學(xué)基礎(chǔ)加以嚴(yán)密的考察。在這場大辯論中,原來不明顯的意見分歧擴(kuò)展成為學(xué)派的爭論。以羅素為代表的邏緝主義、以布勞威為代表的直覺主義、以希爾伯特為代表的形式主義三大數(shù)學(xué)哲學(xué)學(xué)派應(yīng)運(yùn)而生。它們都是唯心主義學(xué)派,它們都提出了各自的處理一般集合論中的悖論的辦法。他們在爭論中盡管言語尖刻,好象勢不兩立,其實(shí)各自的觀點(diǎn)都吸收了對方的看法而又有很多變化。

 

1931年,哥德爾不完全性定理的證明暴露了各派的弱點(diǎn),哲學(xué)的爭論黯淡了下來。此后,各派力量沿著自己的道路發(fā)展演化。盡管爭論的問題遠(yuǎn)未解決,但大部分?jǐn)?shù)學(xué)家并不大關(guān)心哲學(xué)問題。直到近年,數(shù)學(xué)哲學(xué)問題才又激起人們的興趣。

 

承認(rèn)無窮集合、承認(rèn)無窮基數(shù),就好象一切災(zāi)難都出來了,這就是第三次數(shù)學(xué)危機(jī)的實(shí)質(zhì)。盡管悖論可以消除,矛盾可以解決,然而數(shù)學(xué)的確定性卻在一步一步地喪失,F(xiàn)代公理集合論中一大堆公理,簡直難說孰真孰假,可是又不能把它們都消除掉,它們跟整個數(shù)學(xué)是血肉相連的。所以,第三次數(shù)學(xué)危機(jī)表面上解決了,實(shí)質(zhì)上更深刻地以其它形式延續(xù)著。

 

    數(shù)學(xué)中的矛盾既然是固有的,它的激烈沖突——危機(jī)就不可避免。危機(jī)的解決給數(shù)學(xué)帶來了許多新認(rèn)識、新內(nèi)容,有時也帶來了革命性的變化。把20世紀(jì)的數(shù)學(xué)同以前全部數(shù)學(xué)相比,內(nèi)容要豐富得多,認(rèn)識要深入得多。在集合論的基礎(chǔ)上,誕生了抽象代數(shù)學(xué)、拓?fù)鋵W(xué)、泛函分析與測度論,數(shù)理邏輯也興旺發(fā)達(dá)成為數(shù)學(xué)有機(jī)體的一部分。古代的代數(shù)幾何、微分幾何、復(fù)分析現(xiàn)在已經(jīng)推廣到高維。代數(shù)數(shù)論的面貌也多次改變,變得越來越優(yōu)美、完整。一系列經(jīng)典問題完滿地得到解決,同時又產(chǎn)生更多的新問題。特別是二次大戰(zhàn)之后,新成果層出不窮,從來間斷。數(shù)學(xué)呈現(xiàn)無比興旺發(fā)達(dá)的景象,而這正是人們同數(shù)學(xué)中的矛盾、危機(jī)斗爭的產(chǎn)物。


本文來自:逍遙右腦記憶 http://www.yy-art.cn/gaozhong/184756.html

相關(guān)閱讀:數(shù)學(xué)大辭典:讓理想變成現(xiàn)實(shí)