世界經理人·科技 TECH.ICXO.COM ( 日期：2004-01-12 09:06)
--------------------------------------------------------------------------------
什麽是悖論？籠統地說，是指這樣的推理過程：它看上去是合理的，但結果卻得出了矛盾。悖論在很多情況下表現為能得出不符合排中律的矛盾命題：由它的真，可以推出它為假；由它的假，則可以推出它為真。由於嚴格性被公認為是數學的壹個主要特點，因此如果數學中出現悖論會造成對數學可靠性的懷疑。如果這壹悖論涉及面十分廣泛的話，這種沖擊波會更為強烈，由此導致的懷疑還會引發人們認識上的普遍危機感。在這種情況下，悖論往往會直接導致“數學危機”的產生。按照西方習慣的說法，在數學發展史上迄今為止出現了三次這樣的數學危機。
希帕索斯悖論與第壹次數學危機
希帕索斯悖論的提出與勾股定理的發現密切相關。因此，我們從勾股定理談起。勾股定理是歐氏幾何中最著名的定理之壹。天文學家開普勒曾稱其為歐氏幾何兩顆璀璨的明珠之壹。它在數學與人類的實踐活動中有著極其廣泛的應用，同時也是人類最早認識到的平面幾何定理之壹。在我國，最早的壹部天文數學著作《周髀算經》中就已有了關於這壹定理的初步認識。不過，在我國對於勾股定理的證明卻是較遲的事情。壹直到三國時期的趙爽才用面積割補給出它的第壹種證明。
在國外，最早給出這壹定理證明的是古希臘的畢達哥拉斯。因而國外壹般稱之為“畢達哥拉斯定理”。並且據說畢達哥拉斯在完成這壹定理證明後欣喜若狂，而殺牛百只以示慶賀。因此這壹定理還又獲得了壹個帶神秘色彩的稱號：“百牛定理”。
圖為畢達哥拉斯
畢達哥拉斯是公元前五世紀古希臘的著名數學家與哲學家。他曾創立了壹個合政治、學術、宗教三位壹體的神秘主義派別：畢達哥拉斯學派。由畢達哥拉斯提出的著名命題“萬物皆數”是該學派的哲學基石。而“壹切數均可表成整數或整數之比”則是這壹學派的數學信仰。然而，具有戲劇性的是由畢達哥拉斯建立的畢達哥拉斯定理卻成了畢達哥拉斯學派數學信仰的“掘墓人”。畢達哥拉斯定理提出後，其學派中的壹個成員希帕索斯考慮了壹個問題：邊長為1的正方形其對角線長度是多少呢？他發現這壹長度既不能用整數，也不能用分數表示，而只能用壹個新數來表示。希帕索斯的發現導致了數學史上第壹個無理數√2 的誕生。小小√2的出現，卻在當時的數學界掀起了壹場巨大風暴。它直接動搖了畢達哥拉斯學派的數學信仰，使畢達哥拉斯學派為之大為恐慌。實際上，這壹偉大發現不但是對畢達哥拉斯學派的致命打擊。對於當時所有古希臘人的觀念這都是壹個極大的沖擊。這壹結論的悖論性表現在它與常識的沖突上：任何量，在任何精確度的範圍內都可以表示成有理數。這不但在希臘當時是人們普遍接受的信仰，就是在今天，測量技術已經高度發展時，這個斷言也毫無例外是正確的！可是為我們的經驗所確信的，完全符合常識的論斷居然被小小的√2的存在而推翻了！這應該是多麽違反常識，多麽荒謬的事！它簡直把以前所知道的事情根本推翻了。更糟糕的是，面對這壹荒謬人們竟然毫無辦法。這就在當時直接導致了人們認識上的危機，從而導致了西方數學史上壹場大的風波，史稱“第壹次數學危機”。
圖為歐多克索斯
二百年後，大約在公元前370年，才華橫溢的歐多克索斯建立起壹套完整的比例論。他本人的著作已失傳，他的成果被保存在歐幾裏德《幾何原本》壹書第五篇中。歐多克索斯的巧妙方法可以避開無理數這壹“邏輯上的醜聞”，並保留住與之相關的壹些結論，從而解決了由無理數出現而引起的數學危機。但歐多克索斯的解決方式，是借助幾何方法，通過避免直接出現無理數而實現的。這就生硬地把數和量肢解開來。在這種解決方案下，對無理數的使用只有在幾何中是允許的，合法的，在代數中就是非法的，不合邏輯的。或者說無理數只被當作是附在幾何量上的單純符號，而不被當作真正的數。壹直到18世紀，當數學家證明了基本常數如圓周率是無理數時，擁護無理數存在的人才多起來。到十九世紀下半葉，現在意義上的實數理論建立起來後，無理數本質被徹底搞清，無理數在數學園地中才真正紮下了根。無理數在數學中合法地位的確立，壹方面使人類對數的認識從有理數拓展到實數，另壹方面也真正徹底、圓滿地解決了第壹次數學危機。
貝克萊悖論與第二次數學危機
第二次數學危機導源於微積分工具的使用。伴隨著人們科學理論與實踐認識的提高，十七世紀幾乎在同壹時期，微積分這壹銳利無比的數學工具為牛頓、萊布尼茲各自獨立發現。這壹工具壹問世，就顯示出它的非凡威力。許許多多疑難問題運用這壹工具後變得易如翻掌。但是不管是牛頓，還是萊布尼茲所創立的微積分理論都是不嚴格的。兩人的理論都建立在無窮小分析之上，但他們對作為基本概念的無窮小量的理解與運用卻是混亂的。因而，從微積分誕生時就遭到了壹些人的反對與攻擊。其中攻擊最猛烈的是英國大主教貝克萊。
（圖為貝克萊主教）1734年，貝克萊以“渺小的哲學家”之名出版了壹本標題很長的書《分析學家；或壹篇致壹位不信神數學家的論文，其中審查壹下近代分析學的對象、原則及論斷是不是比宗教的神秘、信仰的要點有更清晰的表達，或更明顯的推理》。在這本書中，貝克萊對牛頓的理論進行了攻擊。例如他指責牛頓，為計算比如說 x2 的導數，先將 x 取壹個不為0的增量 Δx ，由 (x + Δx)2 - x2 ，得到 2xΔx + (Δx2) ，後再被 Δx 除，得到 2x + Δx ，最後突然令 Δx = 0 ，求得導數為 2x 。這是“依靠雙重錯誤得到了不科學卻正確的結果”。因為無窮小量在牛頓的理論中壹會兒說是零，壹會兒又說不是零。因此，貝克萊嘲笑無窮小量是“已死量的幽靈”。貝克萊的攻擊雖說出自維護神學的目的，但卻真正抓住了牛頓理論中的缺陷，是切中要害的。
數學史上把貝克萊的問題稱之為“貝克萊悖論”。籠統地說，貝克萊悖論可以表述為“無窮小量究竟是否為0”的問題：就無窮小量在當時實際應用而言，它必須既是0，又不是0。但從形式邏輯而言，這無疑是壹個矛盾。這壹問題的提出在當時的數學界引起了壹定的混亂，由此導致了第二次數學危機的產生。
左圖為牛頓 右圖為布尼茲
針對貝克萊的攻擊，牛頓與萊布尼茲都曾試圖通過完善自己的理論來解決，但都沒有獲得完全成功。這使數學家們陷入了尷尬境地。壹方面微積分在應用中大獲成功，另壹方面其自身卻存在著邏輯矛盾，即貝克萊悖論。這種情況下對微積分的取舍上到底何去何從呢？
“向前進，向前進，妳就會獲得信念！”達朗貝爾吹起奮勇向前的號角，在此號角的鼓舞下，十八世紀的數學家們開始不顧基礎的不嚴格，論證的不嚴密，而是更多依賴於直觀去開創新的數學領地。於是壹套套新方法、新結論以及新分支紛紛湧現出來。經過壹個多世紀的漫漫征程，幾代數學家，包括達朗貝爾、拉格朗日、貝努力家族、拉普拉斯以及集眾家之大成的歐拉等人的努力，數量驚人前所未有的處女地被開墾出來，微積分理論獲得了空前豐富。18世紀有時甚至被稱為“分析的世紀”。然而，與此同時十八世紀粗糙的，不嚴密的工作也導致謬誤越來越多的局面，不諧和音的刺耳開始震動了數學家們的神經。下面僅舉壹無窮級數為例。
無窮級數S＝1－1＋1－1＋1………到底等於什麽？
當時人們認為壹方面S＝（1－1）＋（1－1）＋………＝0；另壹方面，S＝1＋（1－1）＋（1－1）＋………＝1，那麽豈非0＝1？這壹矛盾竟使傅立葉那樣的數學家困惑不解，甚至連被後人稱之為數學家之英雄的歐拉在此也犯下難以饒恕的錯誤。他在得到
1 + x + x2 + x3 + ..... = 1/(1- x)
後，令 x = －1，得出
S＝1－1＋1－1＋1………＝1／2！
由此壹例，即不難看出當時數學中出現的混亂局面了。問題的嚴重性在於當時分析中任何壹個比較細致的問題，如級數、積分的收斂性、微分積分的換序、高階微分的使用以及微分方程解的存在性……都幾乎無人過問。尤其到十九世紀初，傅立葉理論直接導致了數學邏輯基礎問題的徹底暴露。這樣，消除不諧和音，把分析重新建立在邏輯基礎之上就成為數學家們迫在眉睫的任務。到十九世紀，批判、系統化和嚴密論證的必要時期降臨了。
圖為柯西
使分析基礎嚴密化的工作由法國著名數學家柯西邁出了第壹大步。柯西於1821年開始出版了幾本具有劃時代意義的書與論文。其中給出了分析學壹系列基本概念的嚴格定義。如他開始用不等式來刻畫極限，使無窮的運算化為壹系列不等式的推導。這就是所謂極限概念的“算術化”。後來，德國數學家魏爾斯特拉斯給出更為完善的我們目前所使用的“ε-δ ”方法。另外，在柯西的努力下，連續、導數、微分、積分、無窮級數的和等概念也建立在了較堅實的基礎上。不過，在當時情況下，由於實數的嚴格理論未建立起來，所以柯西的極限理論還不可能完善。
柯西之後，魏爾斯特拉斯、戴德金、康托爾各自經過自己獨立深入的研究，都將分析基礎歸結為實數理論，並於七十年代各自建立了自己完整的實數體系。魏爾斯特拉斯的理論可歸結為遞增有界數列極限存在原理；戴德金建立了有名的戴德金分割；康托爾提出用有理“基本序列”來定義無理數。1892年，另壹個數學家創用“區間套原理”來建立實數理論。由此，沿柯西開辟的道路，建立起來的嚴謹的極限理論與實數理論，完成了分析學的邏輯奠基工作。數學分析的無矛盾性問題歸納為實數論的無矛盾性，從而使微積分學這座人類數學史上空前雄偉的大廈建在了牢固可靠的基礎之上。重建微積分學基礎，這項重要而困難的工作就這樣經過許多傑出學者的努力而勝利完成了。微積分學堅實牢固基礎的建立，結束了數學中暫時的混亂局面，同時也宣布了第二次數學危機的徹底解決。
羅素悖論與第三次數學危機
十九世紀下半葉，康托爾創立了著名的集合論，在集合論剛產生時，曾遭到許多人的猛烈攻擊。但不久這壹開創性成果就為廣大數學家所接受了，並且獲得廣泛而高度的贊譽。數學家們發現，從自然數與康托爾集合論出發可建立起整個數學大廈。因而集合論成為現代數學的基石。“壹切數學成果可建立在集合論基礎上”這壹發現使數學家們為之陶醉。1900年，國際數學家大會上，法國著名數學家龐加萊就曾興高采烈地宣稱：“………借助集合論概念，我們可以建造整個數學大廈……今天，我們可以說絕對的嚴格性已經達到了……”
圖為康托爾
可是，好景不長。1903年，壹個震驚數學界的消息傳出：集合論是有漏洞的！這就是英國數學家羅素提出的著名的羅素悖論。
羅素構造了壹個集合S：S由壹切不是自身元素的集合所組成。然後羅素問：S是否屬於S呢？根據排中律，壹個元素或者屬於某個集合，或者不屬於某個集合。因此，對於壹個給定的集合，問是否屬於它自己是有意義的。但對這個看似合理的問題的回答卻會陷入兩難境地。如果S屬於S，根據S的定義，S就不屬於S；反之，如果S不屬於S，同樣根據定義，S就屬於S。無論如何都是矛盾的。
圖為羅素
其實，在羅素之前集合論中就已經發現了悖論。如1897年，布拉利和福爾蒂提出了最大序數悖論。1899年，康托爾自己發現了最大基數悖論。但是，由於這兩個悖論都涉及集合中的許多復雜理論，所以只是在數學界揭起了壹點小漣漪，未能引起大的註意。羅素悖論則不同。它非常淺顯易懂，而且所涉及的只是集合論中最基本的東西。所以，羅素悖論壹提出就在當時的數學界與邏輯學界內引起了極大震動。如G.弗雷格在收到羅素介紹這壹悖論的信後傷心地說：“壹個科學家所遇到的最不合心意的事莫過於是在他的工作即將結束時，其基礎崩潰了。羅素先生的壹封信正好把我置於這個境地。”戴德金也因此推遲了他的《什麽是數的本質和作用》壹文的再版。可以說，這壹悖論就象在平靜的數學水面上投下了壹塊巨石，而它所引起的巨大反響則導致了第三次數學危機。
危機產生後，數學家紛紛提出自己的解決方案。人們希望能夠通過對康托爾的集合論進行改造，通過對集合定義加以限制來排除悖論，這就需要建立新的原則。“這些原則必須足夠狹窄，以保證排除壹切矛盾；另壹方面又必須充分廣闊，使康托爾集合論中壹切有價值的內容得以保存下來。”1908年，策梅羅在自已這壹原則基礎上提出第壹個公理化集合論體系，後來經其他數學家改進，稱為ZF系統。這壹公理化集合系統很大程度上彌補了康托爾樸素集合論的缺陷。除ZF系統外，集合論的公理系統還有多種，如諾伊曼等人提出的NBG系統等。公理化集合系統的建立，成功排除了集合論中出現的悖論，從而比較圓滿地解決了第三次數學危機。但在另壹方面，羅素悖論對數學而言有著更為深刻的影響。它使得數學基礎問題第壹次以最迫切的需要的姿態擺到數學家面前，導致了數學家對數學基礎的研究。而這方面的進壹步發展又極其深刻地影響了整個數學。如圍繞著數學基礎之爭，形成了現代數學史上著名的三大數學流派，而各派的工作又都促進了數學的大發展等等。
以上簡單介紹了數學史上由於數學悖論而導致的三次數學危機與度過，從中我們不難看到數學悖論在推動數學發展中的巨大作用。有人說：“提出問題就是解決問題的壹半”，而數學悖論提出的正是讓數學家無法回避的問題。它對數學家說：“解決我，不然我將吞掉妳的體系！”正如希爾伯特在《論無限》壹文中所指出的那樣：“必須承認，在這些悖論面前，我們目前所處的情況是不能長期忍受下去的。人們試想：在數學這個號稱可靠性和真理性的模範裏，每壹個人所學的、教的和應用的那些概念結構和推理方法竟會導致不合理的結果。如果甚至於數學思考也失靈的話，那麽應該到哪裏去尋找可靠性和真理性呢？”悖論的出現逼迫數學家投入最大的熱情去解決它。而在解決悖論的過程中，各種理論應運而生了：第壹次數學危機促成了公理幾何與邏輯的誕生；第二次數學危機促成了分析基礎理論的完善與集合論的創立；第三次數學危機促成了數理邏輯的發展與壹批現代數學的產生。數學由此獲得了蓬勃發展，這或許就是數學悖論重要意義之所在吧。