介紹
悖論的産生---第三次數學危機
1897年,福爾蒂揭示了集合論中的第一個悖論。兩年後,康托發現了很相似的悖論。1902年,羅素又發現了一個悖論,它除了涉及集合概念本身外不涉及别的概念。羅素悖論曾被以多種形式通俗化。其中最著名的是羅素于1919年給出的,它涉及到某村理發師的困境。
理發師宣布了這樣一條原則:他給所有不給自己刮臉的人刮臉,并且,隻給村裡這樣的人刮臉。當人們試圖回答下列疑問時,就認識到了這種情況的悖論性質:"理發師是否自己給自己刮臉?"如果他不給自己刮臉,那麼他按原則就該為自己刮臉;如果他給自己刮臉,那麼他就不符合他的原則。
羅素悖論使整個數學大廈動搖了。無怪乎弗雷格在收到羅素的信之後,在他剛要出版的《算術的基本法則》第2卷末尾寫道:"一位科學家不會碰到比這更難堪的事情了,即在工作完成之時,它的基礎垮掉了,當本書等待印出的時候,羅素先生的一封信把我置于這種境地"。于是終結了近12年的刻苦鑽研。
承認無窮集合,承認無窮基數,就好像一切災難都出來了,這就是第三次數學危機的實質。盡管悖論可以消除,矛盾可以解決,然而數學的确定性卻在一步一步地喪失。現代公理集合論的大堆公理,簡直難說孰真孰假,可是又不能把它們都消除掉,它們跟整個數學是血肉相連的。所以,第三次危機表面上解決了,實質上更深刻地以其它形式延續着。
背景
第三次數學危機産生于十九世紀末和二十世紀初,當時正是數學空前興旺發達的時期。首先是邏輯的數學化,促使了數理邏輯這門學科誕生。
十九世紀七十年代康托爾創立的集合論是現代數學的基礎,也是産生危機的直接來源。十九世紀末,戴德金及皮亞諾對算術及實數理論進行公理化,推動了公理化運動。而公理化運動的最大成就則是希爾伯特在1899年對于初等幾何的公理化。
定義
為了講清楚第三次數學危機的來龍去脈,我們首先要說明什麼是數學危機。一般來講,危機是一種激化的、非解決不可的矛盾。從哲學上來看,矛盾是無處不在的、不可避免的,即便以确定無疑着稱的數學也不例外。
數學中有大大小小的許多矛盾,比如正與負、加法與減法、微分與積分、有理數與無理數、實數與虛數等等。但是整個數學發展過程中還有許多深刻的矛盾,例如有窮與無窮,連續與離散,乃至存在與構造,邏輯與直觀,具體對象與抽象對象,概念與計算等等。在整個數學發展的曆史上,貫穿着矛盾的鬥争與解決。而在矛盾激化到涉及整個數學的基礎時,就産生數學危機。
矛盾的消除,危機的解決,往往給數學帶來新的内容,新的進展,甚至引起革命性的變革,這也反映出矛盾鬥争是事物發展的曆史動力這一基本原理。整個數學的發展史就是矛盾鬥争的曆史,鬥争的結果就是數學領域的發展。
人物
正伯特蘭·羅素(BertrandRussell,1872—1970)是英國哲學家、數學家,也是二十世紀西方最著名、影響最大的學者和社會活動家。羅素于1872年5月18日生于英國威爾士莫矛斯郡特雷萊克一個古老而顯赫的貴族世家,父母是思想激進的自由主義者,積極參加社會革命活動。
研究
人類最早認識的是自然數。從引進零及負數就經曆過鬥争:要麼引進這些數,要麼大量的數的減法就行不通;同樣,引進分數使乘法有了逆運算——除法,否則許多實際問題也不能解決。但是接着又出現了這樣的問題,是否所有的量都能用有理數來表示?于是發現無理數就導緻了第一次數學危機,而危機的解決也就促使邏輯的發展和幾何學的體系化。
方程的解導緻了虛數的出現,虛數從一開始就被認為是“不實的”。可是這種不實的數卻能解決實數所不能解決的問題,從而為自己争得存在的權利。
幾何學的發展從歐幾裡得幾何的一統天下發展到各種非歐幾何學也是如此。在十九世紀發現了許多用傳統方法不能解決的問題,如五次及五次以上代數方程不能通過加、減、乘、除、乘方、開方求出根來;古希臘幾何三大問題,即三等分任意角、倍立方體、化圓為方不能通過圓規、直尺作圖來解決等等。
這些否定的結果表明了傳統方法的局限性,也反映了人類認識的深入。這種發現給這些學科帶來極大的沖擊,幾乎完全改變了它們的方向。比如說,代數學從此以後向抽象代數學方面發展,而求解方程的根變成了分析及計算數學的課題。在第三次數學危機中,這種情況也多次出現,尤其是包含整數算術在内的形式系統的不完全性、許多問題的不可判定性都大大提高了人們的認識,也促進了數理邏輯的大發展。
發展
這種矛盾、危機引起的發展,改變面貌,甚至引起革命,在數學發展曆史上是屢見不鮮的。第二次數學危機是由無窮小量的矛盾引起的,它反映了數學内部的有限與無窮的矛盾。數學中也一直貫穿着計算方法、分析方法在應用與概念上清楚及邏輯上嚴格的矛盾。在這方面,比較注意實用的數學家盲目應用。
而比較注意嚴密的數學家及哲學家則提出批評。隻有這兩方面取得協調一緻後,矛盾才能解決。後來算符演算及δ函數也重複了這個過程,開始是形式演算、任意應用,直到施瓦爾茲才奠定廣義函數論的嚴整系統。