定義
數學悖論“……古往今來,為數衆多的悖論為邏輯思想的發展提供了食糧。”——N·布爾巴基
什麼是悖論?籠統地說,是指這樣的推理過程:它看上去是合理的,但結果卻得出了矛盾。悖論在很多情況下表現為能得出不符合排中律的矛盾命題:由它的真,可以推出它為假;由它的假,則可以推出它為真。由于嚴格性被公認為是數學的一個主要特點,因此如果數學中出現悖論會造成對數學可靠性的懷疑。如果這一悖論涉及面十分廣泛的話,這種沖擊波會更為強烈,由此導緻的懷疑還會引發人們認識上的普遍危機感。在這種情況下,悖論往往會直接導緻“數學危機”的産生。按照西方習慣的說法,在數學發展史上迄今為止出現了三次這樣的數學危機。
了解
希帕索斯悖論與第一次數學危機
希帕索斯悖論的提出與勾股定理的發現密切相關。因此,我們從勾股定理談起。勾股定理是歐氏幾何中最著名的定理之一。天文學家開普勒曾稱其為歐氏幾何兩顆璀璨的明珠之一。它在數學與人類的實踐活動中有着極其廣泛的應用,同時也是人類最早認識到的平面幾何定理之一。在中國,最早的一部天文數學著作《周髀算經》中就已有了關于這一定理的初步認識。不過,在中國對于勾股定理的證明卻是較遲的事情。一直到三國時期的趙爽才用面積割補給出它的第一種證明。
在國外,最早給出這一定理證明的是古希臘的畢達哥拉斯。因而國外一般稱之為“畢達哥拉斯定理”。并且據說畢達哥拉斯在完成這一定理證明後欣喜若狂,而殺牛百隻以示慶賀。因此這一定理還又獲得了一個帶神秘色彩的稱号:“百牛定理”。
曆史發展
畢達哥拉斯
畢達哥拉斯是公元前五世紀古希臘的著名數學家與哲學家。他曾創立了一個合政治、學術、宗教三位一體的神秘主義派别:畢達哥拉斯學派。由畢達哥拉斯提出的著名命題“萬物皆數”是該學派的哲學基石。而“一切數均可表成整數或整數之比”則是這一學派的數學信仰。然而,具有戲劇性的是由畢達哥拉斯建立的畢達哥拉斯定理卻成了畢達哥拉斯學派數學信仰的“掘墓人”。畢達哥拉斯定理提出後,其學派中的一個成員希帕索斯考慮了一個問題:邊長為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系統等。公理化集合系統的建立,成功排除了集合論中出現的悖論,從而比較圓滿地解決了第三次數學危機。但在另一方面,羅素悖論對數學而言有着更為深刻的影響。它使得數學基礎問題第一次以最迫切的需要的姿态擺到數學家面前,導緻了數學家對數學基礎的研究。而這方面的進一步發展又極其深刻地影響了整個數學。如圍繞着數學基礎之争,形成了現代數學史上著名的三大數學流派,而各派的工作又都促進了數學的大發展等等。
以上簡單介紹了數學史上由于數學悖論而導緻的三次數學危機與度過,從中我們不難看到數學??出問題就是解決問題的一半”,而數學悖論提出的正是讓數學家無法回避的問題。它對數學家說:“解決我,不然我将吞掉你的體系!”正如希爾伯特在《論無限》一文中所指出的那樣:“必須承認,在這些悖論面前,我們目前所處的情況是不能長期忍受下去的。人們試想:在數學這個号稱可靠性和真理性的模範裡,每一個人所學的、教的和應用的那些概念結構和推理方法竟會導緻不合理的結果。如果甚至于數學思考也失靈的話,那麼應該到哪裡去尋找可靠性和真理性呢?”悖論的出現逼迫數學家投入最大的熱情去解決它。而在解決悖論的過程中,各種理論應運而生了:第一次數學危機促成了公理幾何與邏輯的誕生;第二次數學危機促成了分析基礎理論的完善與集合論的創立;第三次數學危機促成了數理邏輯的發展與一批現代數學的産生。數學由此獲得了蓬勃發展,這或許就是數學悖論重要意義之所在吧。
悖論一覽
1.理發師悖論(羅素悖論):某村隻有一人理發,且該村的人都需要理發,理發師規定,給且隻給村中不自己理發的人理發。試問:理發師給不給自己理發?
如果理發師給自己理發,則違背了自己的約定;如果理發師不給自己理發,那麼按照他的規定,又應該給自己理發。這樣,理發師陷入了兩難的境地。
2.芝諾悖論——阿基裡斯與烏龜:公元前5世紀,芝諾用他的無窮、連續以及部分和的知識,引發出以下著名的悖論:他提出讓阿基裡斯與烏龜之間舉行一場賽跑,并讓烏龜在阿基裡斯前頭1000米開始。假定阿基裡斯能夠跑得比烏龜快10倍。比賽開始,當阿基裡斯跑了1000米時,烏龜仍前于他100米;當阿基裡斯跑了下一個100米時,烏龜依然前于他10米……所以,阿基裡斯永遠追不上烏龜。
3.說謊者悖論:公元前6世紀,古希臘克裡特島的哲學家伊壁門尼德斯有如此斷言:“所有克裡特人所說的每一句話都是謊話。”
如果這句話是真的,那麼也就是說,克裡特人伊壁門尼德斯說了一句真話,但是卻與他的真話——所有克裡特人所說的每一句話都是謊話——相悖;如果這句話不是真的,也就是說克裡特人伊壁門尼德斯說了一句謊話,則真話應是:所有克裡特人所說的每一句話都是真話,兩者又相悖。
所以怎樣也難以自圓其說,這就是著名的說謊者悖論。
公元前4世紀,希臘哲學家又提出了一個悖論:“我現在正在說的這句話是真的。”同上,這又是難以自圓其說!
說謊者悖論至今仍困擾着數學家和邏輯學家。說謊者悖論有許多形式。如:我預言:“你下面要講的話是‘不’,對不對?用‘是’或‘不是’來回答。”
又如,“我的下一句話是錯(對)的,我的上一句話是對(錯)的”。
4.跟無限相關的悖論:
{1,2,3,4,5,…}是自然數集:
{1,4,9,16,25,…}是自然數平方的數集。
這兩個數集能夠很容易構成一一對應,那麼,在每個集合中有一樣多的元素嗎?
5.伽利略悖論:我們都知道整體大于部分。由線段BC上的點往頂點A連線,每一條線都會與線段DE(D點在AB上,E點在AC上)相交,因此可得DE與BC一樣長,與圖矛盾。為什麼?
6.預料不到的考試的悖論:一位老師宣布說,在下一星期的五天内(星期一到星期五)的某一天将進行一場考試,但他又告訴班上的同學:“你們無法知道是哪一天,隻有到了考試那天的早上八點鐘才通知你們下午一點鐘考。”
你能說出為什麼這場考試無法進行嗎?
7.電梯悖論:在一幢摩天大樓裡,有一架電梯是由電腦控制運行的,它每層樓都停,且停留的時間都相同。然而,辦公室靠近頂層的王先生說:“每當我要下樓的時候,都要等很久。停下的電梯總是要上樓,很少有下樓的。真奇怪!”李小姐對電梯也很不滿意,她在接近底層的辦公室上班,每天中午都要到頂樓的餐廳吃飯。她說:“不論我什麼時候要上樓,停下來的電梯總是要下樓,很少有上樓的。真讓人煩死了!”
這究竟是怎麼回事?電梯明明在每層停留的時間都相同,可為什麼會讓接近頂樓和底層的人等得不耐煩?
8.硬币悖論:兩枚硬币平放在一起,頂上的硬币繞下方的硬币轉動半圈,結果硬币中圖案的位置與開始時一樣;然而,按常理,繞過圓周半圈的硬币的圖案應是朝下的才對!你能解釋為什麼嗎?
羅素悖論(理發師悖論)讓人們發現了數學這座輝煌大廈的基礎部分存在的一條巨大的裂縫。于是,數學家們開始探索數學結論在什麼情況下才具有真理性,數學推理在什麼情況下才是有效的……,從而産生了一門新的數學分支——數學基礎論。
9.谷堆悖論:顯然,1粒谷子不是堆;
如果1粒谷子不是堆,那麼2粒谷子也不是堆;
如果2粒谷子不是堆,那麼3粒谷子也不是堆;
……
如果99999粒谷子不是堆,那麼100000粒谷子也不是堆;
……
因此,1000000粒谷子不是堆。
10.寶塔悖論:如果從一磚塔中抽取一塊磚,它不會塌;抽兩塊磚,它也不會塌;……抽第N塊磚時,塔塌了。現在換一個地方開始抽磚,同第一次不一樣的是,抽第M塊磚是,塔塌了。再換一個地方,塔塌時少了L塊磚。以此類推,每換一個地方,塔塌時少的磚塊數都不盡相同。那麼到底抽多少塊磚塔才會塌呢?