【編輯此段落】
悖論主要包括邏輯悖論、概率悖論、幾何悖論、統計悖論和時間悖論。
羅素悖論以其簡單明了震驚了整個數學領域,導致了第三次數學危機。然而,羅素悖論並不是第壹個悖論。不用說,在羅素之前不久,坎特和布拉裏·四十就已經發現了集合論中的矛盾。《羅素悖論》出版後,出現了壹系列邏輯悖論。這些悖論讓我想起了古老的騙子悖論。即“我在撒謊”和“這句話是謊言”。這些悖論的結合造成了巨大的問題,促使每個人都關心如何解決這些悖論。
第壹個發表的悖論是布拉裏四十悖論,這意味著序數根據其自然順序形成壹個有序集。這個良序集根據定義也有壹個序數ω,根據定義它應該屬於這個良序集。但是,根據序數的定義,序數序列中任何壹段的序數都大於該段內的任何壹個序數,所以ω應該大於任何壹個序數,所以不屬於ω。這是布拉裏·福蒂在1997年3月28日巴洛莫數學會議上宣讀的壹篇文章中提出的。這是第壹個發表的現代悖論,它引起了數學界的興趣,並導致了多年來的熱烈討論。討論悖論的文章有幾十篇,極大地促進了對集合論基礎的重新審視。
布拉裏·福迪自己認為這個矛盾證明了這個序數的自然序只是壹個偏序,這與坎特幾個月前證明的結果序數集相矛盾。後來,布拉裏·福迪沒有在這方面做任何工作。
在他的《數學原理》中,羅素認為雖然序數集合是全序的,但它不是良序的,但這種說法是不可靠的,因為任何給定序數的初始段落都是良序的。法國邏輯學家朱丹找到了出路。他區分了相容集和不相容集。這種區分實際上已經被康托爾私下使用了很多年。不久之後,羅素在1905的壹篇文章中對序數集合的存在提出了質疑,澤梅洛也有同樣的想法,後來許多人在這壹領域也持有同樣的想法。
經典數學的悖論
【編輯此段落】
古今中外有許多著名的悖論,它們沖擊了邏輯學和數學的基礎,激發了人們的知識和精確思維,引起了古往今來許多思想家和愛好者的關註。解決悖論問題需要創造性思維,而悖論的解決往往能給人帶來新的思路。
本文將悖論大致分為六種類型,分為上、中、下三部分。這是第壹部分:自我指涉概念引起的悖論和引入無窮大帶來的悖論
(壹)自我參照引起的悖論
在下面的例子中存在壹個概念自指或自相關的問題:如果我們從壹個正命題開始,我們將得到它的負命題;如果我們從否定命題開始,我們將得到它的肯定命題。
1-1騙子悖論
公元前6世紀,哲學家埃庇米尼得斯說:“所有的女人都撒謊,其中壹位詩人也這麽說。”這就是這個著名悖論的由來。
聖經曾經提到:“樸正洙族人中的壹位當地先知說:‘凱爾特人經常說謊,但他們是邪惡的野獸,貪婪而懶惰’”(提圖斯1)。可以看出,這個悖論是著名的,但保羅對其邏輯解決方案不感興趣。
人們會問:Epiminides在撒謊嗎?這個悖論最簡單的形式是:
1-2“我在撒謊”
如果他在撒謊,那麽“我在撒謊”就是謊言,所以他說的是實話;但如果這是真的,他又在撒謊了。矛盾不可避免。它的副本:
1-3“這句話不對”
這種悖論的壹個標準形式是:如果事件A發生,則推出非A,如果非A發生,則推出A,這是壹個自相矛盾的無限邏輯循環。拓撲學中的單面體是壹種形象的表達。
哲學家羅素曾經認真思考過這個悖論,並試圖找到解決方案。他在《我的哲學的發展》第七章“數學原理”中說:“自亞裏士多德以來,任何學派的邏輯學家似乎都能從他們公認的前提中推導出壹些矛盾。這說明有問題,但不能指出改正的方法。1903年春天,壹個矛盾的發現打斷了我正在享受的合乎邏輯的蜜月。”
他說:騙子的悖論只是簡單地概述了他發現的矛盾:“騙子說,‘無論我說什麽都是假的’。事實上,這是他說的話,但這句話是指他說的話的總和。只有當這句話包含在那個人群中時,才會出現壹個悖論。”(同上)
羅素試圖通過分層命題來解決它:“第壹級命題可以說是那些不涉及總體命題的命題;第二級命題是那些涉及整個第壹級命題的命題;其余的都是這樣,甚至是無限的。”但是這種方法並沒有取得效果。“在整個1903年和1904年期間,我幾乎完全致力於這件事,但我完全沒有成功。”(同上)
數學原理試圖在純邏輯的前提下推導出整個純數學,並使用邏輯術語來解釋概念,避免自然語言的模糊性。但在這本書的序言中,他稱之為“出版壹本包含如此多未解決爭議的書。”可見,要從數學基礎的邏輯上徹底解決這壹悖論並不容易。
接著他指出,在所有邏輯悖論中都存在壹種“反身性自我指涉”,即“它包含了關於那個整體的某種東西,而這種東西是整體的壹部分。”這個觀點很容易理解。如果這個悖論由樸正洙認為的人說出來,它將自動消除。但在集合論中,問題就沒那麽簡單了。
1-4理發師悖論
在薩維爾村,理發師掛了壹個牌子:“我只給村裏那些自己不理發的人理發。”有人問他:“妳給自己理發嗎?”理發師頓時啞口無言。
這是壹個悖論:如果理發師不理發,他就屬於招牌上的那種人。按照承諾,他應該給自己理發。另壹方面,如果理發師剪自己的頭發,根據標誌,他只剪村裏不剪自己頭發的人的頭發,他不能剪自己的頭發。
所以無論理發師怎麽回答都不能排除內部矛盾。這個悖論是羅素在1902年提出的,因此也被稱為“羅素悖論”。這是集合論悖論的壹種通俗而富有故事性的表達方式。顯然,還有壹個無法回避的“自我參照”問題。
集合論的1-5悖論
“R是所有不包含自身的集合的集合。“
人們還會問:“R包含R本身嗎?”如果不是,根據R的定義,R應該屬於R .如果R包含自身,則R不屬於R。
在羅素的集合論悖論發現數學基礎有問題後,庫爾特·哥德爾(捷克人,1906-1978)於1931年提出了壹個“不完全定理”,打破了19世紀末數學家“所有數學系統都可以從邏輯中推導出來”的理想。這個定理指出,任何公設系統都是不完整的,壹定存在既不能肯定又不能否定的命題。例如,對歐幾裏得幾何中“平行線公理”的否定產生了幾種非歐幾裏得幾何;羅素悖論還表明集合論的公理系統是不完整的。
1-6書目悖論
壹家圖書館編了壹本書名詞典,其中列出了圖書館中所有沒有列出自己書名的書。那麽它會列出自己的標題嗎?
這個悖論與理發師悖論基本壹致。
1-7蘇格拉底悖論
蘇格拉底(公元前470-399年),雅典人,被稱為“西方的孔子”,是古希臘偉大的哲學家,他曾與著名的詭辯家如普勞特·高拉斯和戈吉斯對立。他建立了壹個“定義”來處理詭辯家令人困惑的修辭,從而找出了數百種雜七雜八的理論。然而,他的道德觀念並不被希臘人接受,他在七十歲時被視為詭辯派的代表。在驅逐普勞特·戈拉斯和焚燒書籍12年後,蘇格拉底也被判處死刑,但他的理論被柏拉圖和亞裏士多德繼承。
蘇格拉底有壹句名言:“我只知道壹件事,那就是壹無所知。”
這是壹個悖論,我們不能從這句話中推斷蘇格拉底是否不知道這件事本身。中國古代也有類似的例子:
1-7“言語充滿矛盾”
這是莊子在《莊子·萬物論》中說的話。後期墨家反駁:如果“壹切都違背真理”,莊子的說法豈不是違背了真理?我們常說:
1-7“世界上沒有絕對的真理”
我們不知道這句話本身是否是“絕對真理”。
1-8“荒謬的真相”
有些詞典將悖論定義為“荒謬的真理”,這種矛盾修飾本身也是壹種“壓縮悖論”。Paradox來自希臘語“para+dokein”,意思是“想得更多”。
這些例子都表明,在邏輯上,他們無法擺脫自我參照概念帶來的惡性循環。有什麽進壹步的解決辦法嗎?我們將在下壹節的最後壹部分繼續討論它。