數(shù)學悖論與三次數(shù)學危機_第1頁
數(shù)學悖論與三次數(shù)學危機_第2頁
數(shù)學悖論與三次數(shù)學危機_第3頁
數(shù)學悖論與三次數(shù)學危機_第4頁
數(shù)學悖論與三次數(shù)學危機_第5頁
已閱讀5頁,還剩33頁未讀, 繼續(xù)免費閱讀

下載本文檔

版權說明:本文檔由用戶提供并上傳,收益歸屬內容提供方,若內容存在侵權,請進行舉報或認領

文檔簡介

1、2021/4/21數(shù)學悖論與三次數(shù)學危機數(shù)學悖論與三次數(shù)學危機“古往今來,為數(shù)眾多的古往今來,為數(shù)眾多的悖論為邏輯思想的發(fā)展提供了食糧。悖論為邏輯思想的發(fā)展提供了食糧?!盢布爾巴基布爾巴基2021/4/22 什么是悖論?籠統(tǒng)地說,是指這樣的什么是悖論?籠統(tǒng)地說,是指這樣的推理過程:它看上去是合理的,但結果卻推理過程:它看上去是合理的,但結果卻得出了矛盾。悖論在很多情況下表現(xiàn)為能得出了矛盾。悖論在很多情況下表現(xiàn)為能得出不符合排中律的矛盾命題:由它的真,得出不符合排中律的矛盾命題:由它的真,可以推出它為假;由它的假,則可以推出可以推出它為假;由它的假,則可以推出它為真。由于嚴格性被公認為是數(shù)學的一

2、它為真。由于嚴格性被公認為是數(shù)學的一個主要特點,因此如果數(shù)學中出現(xiàn)悖論會個主要特點,因此如果數(shù)學中出現(xiàn)悖論會造成對數(shù)學可靠性的懷疑。造成對數(shù)學可靠性的懷疑。 2021/4/23 如果這一悖論涉及面十分廣泛的話,如果這一悖論涉及面十分廣泛的話,這種沖擊波會更為強烈,由此導致的懷這種沖擊波會更為強烈,由此導致的懷疑還會引發(fā)人們認識上的普遍危機感。疑還會引發(fā)人們認識上的普遍危機感。在這種情況下,悖論往往會直接導致在這種情況下,悖論往往會直接導致“數(shù)學危機數(shù)學危機”的產(chǎn)生。按照西方習慣的的產(chǎn)生。按照西方習慣的說法,在數(shù)學發(fā)展史上迄今為止出現(xiàn)了說法,在數(shù)學發(fā)展史上迄今為止出現(xiàn)了三次這樣的數(shù)學危機。三次這

3、樣的數(shù)學危機。2021/4/24希帕索斯悖論與第一次數(shù)學危機希帕索斯悖論與第一次數(shù)學危機 希帕索斯悖論的提出與勾股定理的發(fā)現(xiàn)密切希帕索斯悖論的提出與勾股定理的發(fā)現(xiàn)密切相關。因此,我們從勾股定理談起。勾股定理是相關。因此,我們從勾股定理談起。勾股定理是歐氏幾何中最著名的定理之一。天文學家開普勒歐氏幾何中最著名的定理之一。天文學家開普勒曾稱其為歐氏幾何兩顆璀璨的明珠之一。它在數(shù)曾稱其為歐氏幾何兩顆璀璨的明珠之一。它在數(shù)學與人類的實踐活動中有著極其廣泛的應用,同學與人類的實踐活動中有著極其廣泛的應用,同時也是人類最早認識到的平面幾何定理之一。在時也是人類最早認識到的平面幾何定理之一。在我國,最早的一

4、部天文數(shù)學著作我國,最早的一部天文數(shù)學著作周髀算經(jīng)周髀算經(jīng)中中就已有了關于這一定理的初步認識。不過,在我就已有了關于這一定理的初步認識。不過,在我國對于勾股定理的證明卻是較遲的事情。一直到國對于勾股定理的證明卻是較遲的事情。一直到三國時期的趙爽才用面積割補給出它的第一種證三國時期的趙爽才用面積割補給出它的第一種證明。明。2021/4/25 在國外,最早給出這一定理證明的在國外,最早給出這一定理證明的是古希臘的畢達哥拉斯。因而國外一般是古希臘的畢達哥拉斯。因而國外一般稱之為稱之為“畢達哥拉斯定理畢達哥拉斯定理”。并且據(jù)說。并且據(jù)說畢達哥拉斯在完成這一定理證明后欣喜畢達哥拉斯在完成這一定理證明后欣

5、喜若狂,而殺牛百只以示慶賀。因此這一若狂,而殺牛百只以示慶賀。因此這一定理還又獲得了一個帶神秘色彩的稱號:定理還又獲得了一個帶神秘色彩的稱號:“百牛定理百牛定理”。 2021/4/26畢達哥拉斯畢達哥拉斯2021/4/27 畢達哥拉斯是公元前五世紀古希臘的著畢達哥拉斯是公元前五世紀古希臘的著名數(shù)學家與哲學家。他曾創(chuàng)立了一個合政治、名數(shù)學家與哲學家。他曾創(chuàng)立了一個合政治、學術、宗教三位一體的神秘主義派別:畢達學術、宗教三位一體的神秘主義派別:畢達哥拉斯學派。由畢達哥拉斯提出的著名命題哥拉斯學派。由畢達哥拉斯提出的著名命題“萬物皆數(shù)萬物皆數(shù)”是該學派的哲學基石。而是該學派的哲學基石。而“一一切數(shù)均

6、可表成整數(shù)或整數(shù)之比切數(shù)均可表成整數(shù)或整數(shù)之比”則是這一學則是這一學派的數(shù)學信仰。然而,具有戲劇性的是由畢派的數(shù)學信仰。然而,具有戲劇性的是由畢達哥拉斯建立的畢達哥拉斯定理卻成了畢達達哥拉斯建立的畢達哥拉斯定理卻成了畢達哥拉斯學派數(shù)學信仰的哥拉斯學派數(shù)學信仰的“掘墓人掘墓人”。 2021/4/28畢達哥拉斯定理提出后,其學派中的一個成畢達哥拉斯定理提出后,其學派中的一個成員希帕索斯考慮了一個問題:邊長為員希帕索斯考慮了一個問題:邊長為1的正的正方形其對角線長度是多少呢?他發(fā)現(xiàn)這一長方形其對角線長度是多少呢?他發(fā)現(xiàn)這一長度既不能用整數(shù),也不能用分數(shù)表示,而只度既不能用整數(shù),也不能用分數(shù)表示,而只

7、能用一個新數(shù)來表示。希帕索斯的發(fā)現(xiàn)導致能用一個新數(shù)來表示。希帕索斯的發(fā)現(xiàn)導致了數(shù)學史上第一個無理數(shù)了數(shù)學史上第一個無理數(shù)2 的誕生。小小的誕生。小小2的出現(xiàn),卻在當時的數(shù)學界掀起了一場巨大的出現(xiàn),卻在當時的數(shù)學界掀起了一場巨大風暴。它直接動搖了畢達哥拉斯學派的數(shù)學風暴。它直接動搖了畢達哥拉斯學派的數(shù)學信仰,使畢達哥拉斯學派為之大為恐慌。信仰,使畢達哥拉斯學派為之大為恐慌。 2021/4/29 實際上,這一偉大發(fā)現(xiàn)不但是對畢達實際上,這一偉大發(fā)現(xiàn)不但是對畢達哥拉斯學派的致命打擊。對于當時所哥拉斯學派的致命打擊。對于當時所有古希臘人的觀念這都是一個極大的有古希臘人的觀念這都是一個極大的沖擊。這一結

8、論的悖論性表現(xiàn)在它與沖擊。這一結論的悖論性表現(xiàn)在它與常識的沖突上:任何量,在任何精確常識的沖突上:任何量,在任何精確度的范圍內都可以表示成有理數(shù)。這度的范圍內都可以表示成有理數(shù)。這不但在希臘當時是人們普遍接受的信不但在希臘當時是人們普遍接受的信仰,就是在今天,測量技術已經(jīng)高度仰,就是在今天,測量技術已經(jīng)高度發(fā)展時,這個斷言也毫無例外是正確發(fā)展時,這個斷言也毫無例外是正確的!的! 2021/4/210 可是為我們的經(jīng)驗所確信的,完全符可是為我們的經(jīng)驗所確信的,完全符合常識的論斷居然被小小的合常識的論斷居然被小小的2的存在的存在而推翻了!這應該是多么違反常識,而推翻了!這應該是多么違反常識,多么荒

9、謬的事!它簡直把以前所知道多么荒謬的事!它簡直把以前所知道的事情根本推翻了。更糟糕的是,面的事情根本推翻了。更糟糕的是,面對這一荒謬人們竟然毫無辦法。這就對這一荒謬人們竟然毫無辦法。這就在當時直接導致了人們認識上的危機,在當時直接導致了人們認識上的危機,從而導致了西方數(shù)學史上一場大的風從而導致了西方數(shù)學史上一場大的風波,史稱波,史稱“第一次數(shù)學危機第一次數(shù)學危機”。 2021/4/211歐多克歐多克2021/4/212 二百年后,大約在公元前二百年后,大約在公元前370年,才華橫溢的年,才華橫溢的歐多克索斯建立起一套完整的比例論。他本人的歐多克索斯建立起一套完整的比例論。他本人的著作已失傳,他

10、的成果被保存在歐幾里德著作已失傳,他的成果被保存在歐幾里德幾何幾何原本原本一書第五篇中。歐多克索斯的巧妙方法可一書第五篇中。歐多克索斯的巧妙方法可以避開無理數(shù)這一以避開無理數(shù)這一“邏輯上的丑聞邏輯上的丑聞”,并保留住,并保留住與之相關的一些結論,從而解決了由無理數(shù)出現(xiàn)與之相關的一些結論,從而解決了由無理數(shù)出現(xiàn)而引起的數(shù)學危機。但歐多克索斯的解決方式,而引起的數(shù)學危機。但歐多克索斯的解決方式,是借助幾何方法,通過避免直接出現(xiàn)無理數(shù)而實是借助幾何方法,通過避免直接出現(xiàn)無理數(shù)而實現(xiàn)的。這就生硬地把數(shù)和量肢解開來。在這種解現(xiàn)的。這就生硬地把數(shù)和量肢解開來。在這種解決方案下,對無理數(shù)的使用只有在幾何中是

11、允許決方案下,對無理數(shù)的使用只有在幾何中是允許的,合法的,在代數(shù)中就是非法的,不合邏輯的。的,合法的,在代數(shù)中就是非法的,不合邏輯的?;蛘哒f無理數(shù)只被當作是附在幾何量上的單純符或者說無理數(shù)只被當作是附在幾何量上的單純符號,而不被當作真正的數(shù)。號,而不被當作真正的數(shù)。 2021/4/213一直到一直到18世紀,當數(shù)學家證明了基本常數(shù)如世紀,當數(shù)學家證明了基本常數(shù)如圓周率是無理數(shù)時,擁護無理數(shù)存在的人才圓周率是無理數(shù)時,擁護無理數(shù)存在的人才多起來。到十九世紀下半葉,現(xiàn)在意義上的多起來。到十九世紀下半葉,現(xiàn)在意義上的實數(shù)理論建立起來后,無理數(shù)本質被徹底搞實數(shù)理論建立起來后,無理數(shù)本質被徹底搞清,無理

12、數(shù)在數(shù)學園地中才真正扎下了根。清,無理數(shù)在數(shù)學園地中才真正扎下了根。無理數(shù)在數(shù)學中合法地位的確立,一方面使無理數(shù)在數(shù)學中合法地位的確立,一方面使人類對數(shù)的認識從有理數(shù)拓展到實數(shù),另一人類對數(shù)的認識從有理數(shù)拓展到實數(shù),另一方面也真正徹底、圓滿地解決了第一次數(shù)學方面也真正徹底、圓滿地解決了第一次數(shù)學危機。危機。2021/4/214貝克萊貝克萊2021/4/215貝克萊悖論與第二次數(shù)學危機貝克萊悖論與第二次數(shù)學危機第二次數(shù)學危機導源于微積分工具的使用。伴隨第二次數(shù)學危機導源于微積分工具的使用。伴隨著人們科學理論與實踐認識的提高,十七世紀幾著人們科學理論與實踐認識的提高,十七世紀幾乎在同一時期,微積分

13、這一銳利無比的數(shù)學工具乎在同一時期,微積分這一銳利無比的數(shù)學工具為牛頓、萊布尼茲各自獨立發(fā)現(xiàn)。這一工具一問為牛頓、萊布尼茲各自獨立發(fā)現(xiàn)。這一工具一問世,就顯示出它的非凡威力。許許多多疑難問題世,就顯示出它的非凡威力。許許多多疑難問題運用這一工具后變得易如翻掌。但是不管是牛頓,運用這一工具后變得易如翻掌。但是不管是牛頓,還是萊布尼茲所創(chuàng)立的微積分理論都是不嚴格的。還是萊布尼茲所創(chuàng)立的微積分理論都是不嚴格的。兩人的理論都建立在無窮小分析之上,但他們對兩人的理論都建立在無窮小分析之上,但他們對作為基本概念的無窮小量的理解與運用卻是混亂作為基本概念的無窮小量的理解與運用卻是混亂的。因而,從微積分誕生時

14、就遭到了一些人的反的。因而,從微積分誕生時就遭到了一些人的反對與攻擊。其中攻擊最猛烈的是英國大主教貝克對與攻擊。其中攻擊最猛烈的是英國大主教貝克萊。萊。 2021/4/2161734年,貝克萊以年,貝克萊以“渺小的哲學家渺小的哲學家”之名出版了一本之名出版了一本標題很長的書標題很長的書分析學家;或一篇致一位不信神數(shù)學家的分析學家;或一篇致一位不信神數(shù)學家的論文,其中審查一下近代分析學的對象、原則及論斷是不論文,其中審查一下近代分析學的對象、原則及論斷是不是比宗教的神秘、信仰的要點有更清晰的表達,或更明顯是比宗教的神秘、信仰的要點有更清晰的表達,或更明顯的推理的推理。在這本書中,貝克萊對牛頓的理

15、論進行了攻擊。在這本書中,貝克萊對牛頓的理論進行了攻擊。例如他指責牛頓,為計算比如說例如他指責牛頓,為計算比如說 x2 的導數(shù),先將的導數(shù),先將 x取取一個不為一個不為0的增量的增量 x ,由,由 (x + x)2 - x2 ,得到,得到 2xx + (x2) ,后再被,后再被 x 除,得到除,得到 2x + x ,最后突然令,最后突然令 x = 0 ,求得導數(shù)為,求得導數(shù)為 2x 。這是。這是“依靠雙重錯誤得到了不科學依靠雙重錯誤得到了不科學卻正確的結果卻正確的結果”。因為無窮小量在牛頓的理論中一會兒說。因為無窮小量在牛頓的理論中一會兒說是零,一會兒又說不是零。因此,貝克萊嘲笑無窮小量是是零

16、,一會兒又說不是零。因此,貝克萊嘲笑無窮小量是“已死量的幽靈已死量的幽靈”。貝克萊的攻擊雖說出自維護神學的目。貝克萊的攻擊雖說出自維護神學的目的,但卻真正抓住了牛頓理論中的缺陷,是切中要害的。的,但卻真正抓住了牛頓理論中的缺陷,是切中要害的。2021/4/217 數(shù)學史上把貝克萊的問題稱之為數(shù)學史上把貝克萊的問題稱之為“貝克貝克萊悖論萊悖論”。籠統(tǒng)地說,貝克萊悖論可以表述?;\統(tǒng)地說,貝克萊悖論可以表述為為“無窮小量究竟是否為無窮小量究竟是否為0”的問題:就無窮的問題:就無窮小量在當時實際應用而言,它必須既是小量在當時實際應用而言,它必須既是0,又不是又不是0。但從形式邏輯而言,這無疑是一。但從

17、形式邏輯而言,這無疑是一個矛盾。這一問題的提出在當時的數(shù)學界引個矛盾。這一問題的提出在當時的數(shù)學界引起了一定的混亂,由此導致了第二次數(shù)學危起了一定的混亂,由此導致了第二次數(shù)學危機的產(chǎn)生。機的產(chǎn)生。2021/4/218牛頓牛頓萊布尼茲萊布尼茲2021/4/219 針對貝克萊的攻擊,牛頓與萊布尼茲都針對貝克萊的攻擊,牛頓與萊布尼茲都曾試圖通過完善自己的理論來解決,但都沒曾試圖通過完善自己的理論來解決,但都沒有獲得完全成功。這使數(shù)學家們陷入了尷尬有獲得完全成功。這使數(shù)學家們陷入了尷尬境地。一方面微積分在應用中大獲成功,另境地。一方面微積分在應用中大獲成功,另一方面其自身卻存在著邏輯矛盾,即貝克萊一方

18、面其自身卻存在著邏輯矛盾,即貝克萊悖論。這種情況下對微積分的取舍上到底何悖論。這種情況下對微積分的取舍上到底何去何從呢?去何從呢? 2021/4/220 “向前進,向前進,你就會獲得信念!向前進,向前進,你就會獲得信念!”達朗貝爾吹起奮勇向前的號角,在此號角的達朗貝爾吹起奮勇向前的號角,在此號角的鼓舞下,十八世紀的數(shù)學家們開始不顧基礎鼓舞下,十八世紀的數(shù)學家們開始不顧基礎的不嚴格,論證的不嚴密,而是更多依賴于的不嚴格,論證的不嚴密,而是更多依賴于直觀去開創(chuàng)新的數(shù)學領地。于是一套套新方直觀去開創(chuàng)新的數(shù)學領地。于是一套套新方法、新結論以及新分支紛紛涌現(xiàn)出來。法、新結論以及新分支紛紛涌現(xiàn)出來。 20

19、21/4/221經(jīng)過一個多世紀的漫漫征程,幾代數(shù)學家,經(jīng)過一個多世紀的漫漫征程,幾代數(shù)學家,包括達朗貝爾、拉格朗日、貝努力家族、拉包括達朗貝爾、拉格朗日、貝努力家族、拉普拉斯以及集眾家之大成的歐拉等人的努力,普拉斯以及集眾家之大成的歐拉等人的努力,數(shù)量驚人前所未有的處女地被開墾出來,微數(shù)量驚人前所未有的處女地被開墾出來,微積分理論獲得了空前豐富。積分理論獲得了空前豐富。18世紀有時甚至世紀有時甚至被稱為被稱為“分析的世紀分析的世紀”。然而,與此同時十。然而,與此同時十八世紀粗糙的,不嚴密的工作也導致謬誤越八世紀粗糙的,不嚴密的工作也導致謬誤越來越多的局面,不諧和音的刺耳開始震動了來越多的局面,

20、不諧和音的刺耳開始震動了數(shù)學家們的神經(jīng)。數(shù)學家們的神經(jīng)。 2021/4/222柯西柯西 2021/4/223 到十九世紀,批判、系統(tǒng)化和嚴密論到十九世紀,批判、系統(tǒng)化和嚴密論證的必要時期降臨了。使分析基礎嚴密證的必要時期降臨了。使分析基礎嚴密化的工作由法國著名數(shù)學家柯西邁出了第化的工作由法國著名數(shù)學家柯西邁出了第一大步??挛饔谝淮蟛???挛饔?821年開始出版了幾本具年開始出版了幾本具有劃時代意義的書與論文。其中給出了分有劃時代意義的書與論文。其中給出了分析學一系列基本概念的嚴格定義。如他開析學一系列基本概念的嚴格定義。如他開始用不等式來刻畫極限,使無窮的運算化始用不等式來刻畫極限,使無窮的運算

21、化為一系列不等式的推導。為一系列不等式的推導。 2021/4/224 這就是所謂極限概念的這就是所謂極限概念的“算術化算術化”。后。后來,德國數(shù)學家魏爾斯特拉斯給出更為完善來,德國數(shù)學家魏爾斯特拉斯給出更為完善的我們目前所使用的的我們目前所使用的“- ”方法。另外,在方法。另外,在柯西的努力下,連續(xù)、導數(shù)、微分、積分、柯西的努力下,連續(xù)、導數(shù)、微分、積分、無窮級數(shù)的和等概念也建立在了較堅實的基無窮級數(shù)的和等概念也建立在了較堅實的基礎上。不過,在當時情況下,由于實數(shù)的嚴礎上。不過,在當時情況下,由于實數(shù)的嚴格理論未建立起來,所以柯西的極限理論還格理論未建立起來,所以柯西的極限理論還不可能完善。不

22、可能完善。2021/4/225柯西之后,魏爾斯特拉斯、戴德金、康托爾柯西之后,魏爾斯特拉斯、戴德金、康托爾各自經(jīng)過自己獨立深入的研究,都將分析基各自經(jīng)過自己獨立深入的研究,都將分析基礎歸結為實數(shù)理論,并于七十年代各自建立礎歸結為實數(shù)理論,并于七十年代各自建立了自己完整的實數(shù)體系。魏爾斯特拉斯的理了自己完整的實數(shù)體系。魏爾斯特拉斯的理論可歸結為遞增有界數(shù)列極限存在原理;戴論可歸結為遞增有界數(shù)列極限存在原理;戴德金建立了有名的戴德金分割;康托爾提出德金建立了有名的戴德金分割;康托爾提出用有理用有理“基本序列基本序列”來定義無理數(shù)。來定義無理數(shù)。1892年,年,另一個數(shù)學家創(chuàng)用另一個數(shù)學家創(chuàng)用“區(qū)間

23、套原理區(qū)間套原理”來建立實來建立實數(shù)理論。由此,沿柯西開辟的道路,建立起數(shù)理論。由此,沿柯西開辟的道路,建立起來的嚴謹?shù)臉O限理論與實數(shù)理論,完成了分來的嚴謹?shù)臉O限理論與實數(shù)理論,完成了分析學的邏輯奠基工作。析學的邏輯奠基工作。 2021/4/226數(shù)學分析的無矛盾性問題歸納為實數(shù)論的無數(shù)學分析的無矛盾性問題歸納為實數(shù)論的無矛盾性,從而使微積分學這座人類數(shù)學史上矛盾性,從而使微積分學這座人類數(shù)學史上空前雄偉的大廈建在了牢固可靠的基礎之上??涨靶蹅サ拇髲B建在了牢固可靠的基礎之上。重建微積分學基礎,這項重要而困難的工作重建微積分學基礎,這項重要而困難的工作就這樣經(jīng)過許多杰出學者的努力而勝利完成就這樣

24、經(jīng)過許多杰出學者的努力而勝利完成了。微積分學堅實牢固基礎的建立,結束了了。微積分學堅實牢固基礎的建立,結束了數(shù)學中暫時的混亂局面,同時也宣布了第二數(shù)學中暫時的混亂局面,同時也宣布了第二次數(shù)學危機的徹底解決。次數(shù)學危機的徹底解決。 2021/4/227羅素悖論與第三次數(shù)學危機羅素悖論與第三次數(shù)學危機 2021/4/228康托爾康托爾2021/4/229 十九世紀下半葉,康托爾創(chuàng)立了著名的集合論,十九世紀下半葉,康托爾創(chuàng)立了著名的集合論,在集合論剛產(chǎn)生時,曾遭到許多人的猛烈攻擊。在集合論剛產(chǎn)生時,曾遭到許多人的猛烈攻擊。但不久這一開創(chuàng)性成果就為廣大數(shù)學家所接受了,但不久這一開創(chuàng)性成果就為廣大數(shù)學家

25、所接受了,并且獲得廣泛而高度的贊譽。數(shù)學家們發(fā)現(xiàn),從并且獲得廣泛而高度的贊譽。數(shù)學家們發(fā)現(xiàn),從自然數(shù)與康托爾集合論出發(fā)可建立起整個數(shù)學大自然數(shù)與康托爾集合論出發(fā)可建立起整個數(shù)學大廈。因而集合論成為現(xiàn)代數(shù)學的基石。廈。因而集合論成為現(xiàn)代數(shù)學的基石?!耙磺袛?shù)一切數(shù)學成果可建立在集合論基礎上學成果可建立在集合論基礎上”這一發(fā)現(xiàn)使數(shù)學這一發(fā)現(xiàn)使數(shù)學家們?yōu)橹兆?。家們?yōu)橹兆怼?900年,國際數(shù)學家大會上,法年,國際數(shù)學家大會上,法國著名數(shù)學家龐加萊就曾興高采烈地宣稱:國著名數(shù)學家龐加萊就曾興高采烈地宣稱:“借助集合論概念,我們可以建造整個數(shù)借助集合論概念,我們可以建造整個數(shù)學大廈學大廈今天,我們可以說

26、絕對的嚴格性已經(jīng)今天,我們可以說絕對的嚴格性已經(jīng)達到了達到了” 可是,好景不長??墒?,好景不長。1903年,一個震年,一個震驚數(shù)學界的消息傳出:集合論是有漏洞的!這就驚數(shù)學界的消息傳出:集合論是有漏洞的!這就是英國數(shù)學家羅素提出的著名的羅素悖論。是英國數(shù)學家羅素提出的著名的羅素悖論。2021/4/230羅素構造了一個集合羅素構造了一個集合S:S由一切不是自身元由一切不是自身元素的集合所組成。然后羅素問:素的集合所組成。然后羅素問:S是否屬于是否屬于S呢?根據(jù)排中律,一個元素或者屬于某個集呢?根據(jù)排中律,一個元素或者屬于某個集合,或者不屬于某個集合。因此,對于一個合,或者不屬于某個集合。因此,對

27、于一個給定的集合,問是否屬于它自己是有意義的。給定的集合,問是否屬于它自己是有意義的。但對這個看似合理的問題的回答卻會陷入兩但對這個看似合理的問題的回答卻會陷入兩難境地。如果難境地。如果S屬于屬于S,根據(jù),根據(jù)S的定義,的定義,S就就不屬于不屬于S;反之,如果;反之,如果S不屬于不屬于S,同樣根據(jù),同樣根據(jù)定義,定義,S就屬于就屬于S。無論如何都是矛盾的。無論如何都是矛盾的。2021/4/231羅素羅素2021/4/232其實,在羅素之前集合論中就已經(jīng)發(fā)現(xiàn)了悖其實,在羅素之前集合論中就已經(jīng)發(fā)現(xiàn)了悖論。如論。如1897年,布拉利和福爾蒂提出了最大年,布拉利和福爾蒂提出了最大序數(shù)悖論。序數(shù)悖論。1

28、899年,康托爾自己發(fā)現(xiàn)了最大年,康托爾自己發(fā)現(xiàn)了最大基數(shù)悖論。但是,由于這兩個悖論都涉及集基數(shù)悖論。但是,由于這兩個悖論都涉及集合中的許多復雜理論,所以只是在數(shù)學界揭合中的許多復雜理論,所以只是在數(shù)學界揭起了一點小漣漪,未能引起大的注意。羅素起了一點小漣漪,未能引起大的注意。羅素悖論則不同。它非常淺顯易懂,而且所涉及悖論則不同。它非常淺顯易懂,而且所涉及的只是集合論中最基本的東西。所以,羅素的只是集合論中最基本的東西。所以,羅素悖論一提出就在當時的數(shù)學界與邏輯學界內悖論一提出就在當時的數(shù)學界與邏輯學界內引起了極大震動。引起了極大震動。 2021/4/233如如G.弗雷格在收到羅素介紹這一悖論

29、的信后弗雷格在收到羅素介紹這一悖論的信后傷心地說:傷心地說:“一個科學家所遇到的最不合心一個科學家所遇到的最不合心意的事莫過于是在他的工作即將結束時,其意的事莫過于是在他的工作即將結束時,其基礎崩潰了。羅素先生的一封信正好把我置基礎崩潰了。羅素先生的一封信正好把我置于這個境地。于這個境地。”戴德金也因此推遲了他的戴德金也因此推遲了他的什么是數(shù)的本質和作用什么是數(shù)的本質和作用一文的再版。可一文的再版。可以說,這一悖論就象在平靜的數(shù)學水面上投以說,這一悖論就象在平靜的數(shù)學水面上投下了一塊巨石,而它所引起的巨大反響則導下了一塊巨石,而它所引起的巨大反響則導致了第三次數(shù)學危機。致了第三次數(shù)學危機。20

30、21/4/234 危機產(chǎn)生后,數(shù)學家紛紛提出自己的解危機產(chǎn)生后,數(shù)學家紛紛提出自己的解決方案。人們希望能夠通過對康托爾的集合決方案。人們希望能夠通過對康托爾的集合論進行改造,通過對集合定義加以限制來排論進行改造,通過對集合定義加以限制來排除悖論,這就需要建立新的原則。除悖論,這就需要建立新的原則?!斑@些原這些原則必須足夠狹窄,以保證排除一切矛盾;另則必須足夠狹窄,以保證排除一切矛盾;另一方面又必須充分廣闊,使康托爾集合論中一方面又必須充分廣闊,使康托爾集合論中一切有價值的內容得以保存下來。一切有價值的內容得以保存下來?!?908年,年,策梅羅在自已這一原則基礎上提出第一個公策梅羅在自已這一原則

31、基礎上提出第一個公理化集合論體系,后來經(jīng)其他數(shù)學家改進,理化集合論體系,后來經(jīng)其他數(shù)學家改進,稱為稱為ZF系統(tǒng)。這一公理化集合系統(tǒng)很大程度系統(tǒng)。這一公理化集合系統(tǒng)很大程度上彌補了康托爾樸素集合論的缺陷。上彌補了康托爾樸素集合論的缺陷。 2021/4/235除除ZF系統(tǒng)外,集合論的公理系統(tǒng)還有多種,系統(tǒng)外,集合論的公理系統(tǒng)還有多種,如諾伊曼等人提出的如諾伊曼等人提出的NBG系統(tǒng)等。公理化集系統(tǒng)等。公理化集合系統(tǒng)的建立,成功排除了集合論中出現(xiàn)的合系統(tǒng)的建立,成功排除了集合論中出現(xiàn)的悖論,從而比較圓滿地解決了第三次數(shù)學危悖論,從而比較圓滿地解決了第三次數(shù)學危機。但在另一方面,羅素悖論對數(shù)學而言有機。但在另一方面,羅素悖論對數(shù)學而言有著更為深刻的影響。它使得數(shù)學基礎問題第著更為深刻的影響。它使得數(shù)學基礎問題第一次以最迫切的需要的姿態(tài)擺到數(shù)學家面前,一次以最迫切的需要的姿態(tài)擺到數(shù)學家面前,導致了數(shù)學家對數(shù)學基礎的研究。而這方面導致了數(shù)學家對數(shù)學基礎的研究。而這方面的進一步發(fā)展又極其深刻地影響了整個數(shù)學。的進一步發(fā)展又極其深刻地影響了整個數(shù)學。如圍繞著數(shù)學基礎之爭,形成了現(xiàn)代數(shù)學史如圍

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內容里面會有圖紙預覽,若沒有圖紙預覽就沒有圖紙。
  • 4. 未經(jīng)權益所有人同意不得將文件中的內容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲空間,僅對用戶上傳內容的表現(xiàn)方式做保護處理,對用戶上傳分享的文檔內容本身不做任何修改或編輯,并不能對任何下載內容負責。
  • 6. 下載文件中如有侵權或不適當內容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論