国产av一二三区|日本不卡动作网站|黄色天天久久影片|99草成人免费在线视频|AV三级片成人电影在线|成年人aV不卡免费播放|日韩无码成人一级片视频|人人看人人玩开心色AV|人妻系列在线观看|亚洲av无码一区二区三区在线播放

網(wǎng)易首頁 > 網(wǎng)易號 > 正文 申請入駐

老何早年數(shù)學(xué)史札記(8):數(shù)學(xué)史上的三次邏輯危機(jī)

0
分享至


第一次危機(jī):無理數(shù)悖論
* 發(fā)生時間: 公元前5世紀(jì)
* 核心矛盾: 畢達(dá)哥拉斯學(xué)派被認(rèn)為是西方數(shù)理學(xué)的起源。這個學(xué)派認(rèn)為“萬物皆數(shù)”,萬物和宇宙的本質(zhì)是數(shù)字。認(rèn)為宇宙間的一切現(xiàn)象都能歸結(jié)為整數(shù)或整數(shù)之比例(有理數(shù))。畢氏創(chuàng)立了幾何學(xué)的畢達(dá)哥拉斯定理(中國人的勾股定理)。然而,這個學(xué)派弟子希帕索斯Hippasus發(fā)現(xiàn),邊長為1的正方形,其對角線長度(即√2)是無理數(shù),因?yàn)樗鼰o法表示為兩個整數(shù)的比,且其十進(jìn)制展開是無限不循環(huán)的 )無法表示為兩個整數(shù)之比。
* 危機(jī)本質(zhì): 幾何量的不可公度性與“一切皆為有理數(shù)”信條的沖突。
* 結(jié)果:
1、建立了比例理論,通過幾何方法回避了無理數(shù)的直接代數(shù)定義。
2、危機(jī)前的數(shù)域認(rèn)知(畢達(dá)哥拉斯學(xué)派):只有有理數(shù)(整數(shù)和整數(shù)之比,分?jǐn)?shù))
認(rèn)為"宇宙的任何度量都是可公度的"。"自然數(shù)、整數(shù)、分?jǐn)?shù)"這些概念,都被視為有理數(shù)的特例。
危機(jī)后的數(shù)域認(rèn)知得到擴(kuò)展:
認(rèn)識到無理數(shù)的存在。數(shù)域認(rèn)知擴(kuò)展為實(shí)數(shù)(有理數(shù) + 無理數(shù)),從而奠定基礎(chǔ)可以構(gòu)造現(xiàn)代意義上完整的"數(shù)量連續(xù)統(tǒng)"(康托爾連續(xù)統(tǒng))。
19世紀(jì),隨著實(shí)數(shù)理論的完善(例如戴德金分割),無理數(shù)方被賦予了現(xiàn)代定義和邏輯基礎(chǔ)。

第二次危機(jī):無窮小悖論
* 發(fā)生時間: 17世紀(jì)末至18世紀(jì)
核心矛盾: 牛頓和萊布尼茨創(chuàng)立了微積分,但在理論基礎(chǔ)中,“無窮小量”概念含混不清。
愛爾蘭主教貝克萊提出了著名的“貝克萊悖論”,批評無窮小量在推導(dǎo)過程中既被當(dāng)作非零量作為除數(shù),又被當(dāng)作零消去,是“消失之量的鬼魂(幽靈)”。
* 危機(jī)本質(zhì): 微積分算法的合理性與其邏輯基礎(chǔ)之間發(fā)生矛盾。
* 結(jié)果: 19世紀(jì)6柯西(Cauchy)和魏爾斯特拉斯(Weierstrass)等人建立了嚴(yán)格的極限理論,引入了 varepsilon-delta 語言,將無窮小量定義為“以零為極限的變量”,從而表面上消除了無窮小量的神秘感和邏輯矛盾。

第三次危機(jī):集合論悖論
* 發(fā)生時間: 20世紀(jì)初(1902年)
* 核心矛盾: 康托爾創(chuàng)立的集合論被視為現(xiàn)代數(shù)學(xué)的基礎(chǔ)。但羅素(Russell)提出了著名的“羅素悖論”:設(shè)集合 S 由一切不包含自身的集合所組成,那么問 S 集合是否包括其自身?這個問題引出自相矛盾的兩種答案即悖論。這一悖論直接動搖了集合論的概念根基。
* 危機(jī)本質(zhì): 數(shù)學(xué)基礎(chǔ)(集合論)出現(xiàn)了邏輯矛盾,威脅到整個數(shù)學(xué)體系的構(gòu)造。
* 結(jié)果: 數(shù)學(xué)家們通過公理化來限制集合的定義。
策梅洛(Zermelo)和弗蘭克爾(Fraenkel)等人建立了ZFC公理系統(tǒng)。
悖論本身在ZF等公理系統(tǒng)中被成功避免,現(xiàn)代數(shù)學(xué)的絕大部分工作可以建立在ZF公理系統(tǒng)上。

但是,1931年奧地利數(shù)學(xué)家哥德爾提出不完備定理,認(rèn)為:任何數(shù)學(xué)系統(tǒng)都無法證明自己內(nèi)在無矛盾,包括ZFC公理系統(tǒng)。
[庫爾特·哥德爾(Kurt G?del,1906-1978),美籍奧地利數(shù)學(xué)家、邏輯學(xué)家,被公認(rèn)為亞里士多德之后最偉大的邏輯學(xué)家。
1931年發(fā)表哥德爾不完備性定理,證明任何包含算術(shù)的形式系統(tǒng)都必然存在真假無法判定的真命題。不完備性定理,顛覆了數(shù)學(xué)與邏輯學(xué)的基礎(chǔ)。]
哥德爾(G?del)不完備性定理深刻揭示了形式化系統(tǒng)的局限性。最終打破了“數(shù)學(xué)是具備嚴(yán)密性、邏輯自足自洽,完美無缺科學(xué)體系”的傳統(tǒng)觀念。

根本性影響: 現(xiàn)代數(shù)學(xué)家們認(rèn)識到:數(shù)學(xué)不是關(guān)于客觀真理的發(fā)現(xiàn),而是人類理性的構(gòu)造物。
數(shù)學(xué)邏輯只是在設(shè)定公理和規(guī)則下進(jìn)行的形式推理游戲。
數(shù)學(xué)的“真理”在于建立邏輯自洽,而不在于必須尋求與現(xiàn)實(shí)世界物理實(shí)相之對應(yīng)。

特別聲明:以上內(nèi)容(如有圖片或視頻亦包括在內(nèi))為自媒體平臺“網(wǎng)易號”用戶上傳并發(fā)布,本平臺僅提供信息存儲服務(wù)。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相關(guān)推薦
熱點(diǎn)推薦
發(fā)射一枚東風(fēng)41的代價

發(fā)射一枚東風(fēng)41的代價

孝沛與世界
2026-04-24 10:56:31
港片《寒戰(zhàn)1994》首映禮,來了一支法拉利車隊,港星越老越有魅力

港片《寒戰(zhàn)1994》首映禮,來了一支法拉利車隊,港星越老越有魅力

大鐵貓娛樂
2026-04-27 12:56:38
立夏將至,這菜遇到使勁吃!葉酸是黃瓜46倍,高鉀低鈉,做餡真香

立夏將至,這菜遇到使勁吃!葉酸是黃瓜46倍,高鉀低鈉,做餡真香

花小廚
2026-04-27 11:43:49
1959年毛主席請曾志吃飯,曾志忐忑追問:能否請你去見一位老熟人

1959年毛主席請曾志吃飯,曾志忐忑追問:能否請你去見一位老熟人

顧史
2026-04-27 07:32:53
伊朗力克印度全勝奪金 身披國旗定格榮耀時刻

伊朗力克印度全勝奪金 身披國旗定格榮耀時刻

看看新聞Knews
2026-04-28 12:16:05
倫敦世乒賽:馬琳73歲啟蒙教練出戰(zhàn)!攜手72歲隊友一起參賽

倫敦世乒賽:馬琳73歲啟蒙教練出戰(zhàn)!攜手72歲隊友一起參賽

全言作品
2026-04-28 16:31:42
倫敦世乒賽開戰(zhàn),CCTV直播!國乒2日首秀,24小時打3場,賽程公布

倫敦世乒賽開戰(zhàn),CCTV直播!國乒2日首秀,24小時打3場,賽程公布

老王大話體育
2026-04-28 01:46:37
《蜜語紀(jì)》前妻登場,戳穿了檀寄舟真面目,才懂許蜜語為何選紀(jì)封

《蜜語紀(jì)》前妻登場,戳穿了檀寄舟真面目,才懂許蜜語為何選紀(jì)封

小貓追劇
2026-04-28 11:55:23
伊朗最擔(dān)心的事情:特朗普不來和談了

伊朗最擔(dān)心的事情:特朗普不來和談了

民間胡扯老哥
2026-04-27 16:01:53
回顧陜西男子3次報警,民警拒不派警,致兩家四口被殺,法院判了

回顧陜西男子3次報警,民警拒不派警,致兩家四口被殺,法院判了

談史論天地
2026-04-25 13:10:12
93次出手僅得103分!NBA現(xiàn)役第一“獨(dú)狼”,他真不值2.04億美元

93次出手僅得103分!NBA現(xiàn)役第一“獨(dú)狼”,他真不值2.04億美元

兵哥籃球故事
2026-04-27 17:17:32
金建希,終于判了!刑期一下子漲到4年,比之前多了一倍多

金建希,終于判了!刑期一下子漲到4年,比之前多了一倍多

最新聲音
2026-04-28 16:49:36
巴基斯坦允許貨物過境其領(lǐng)土轉(zhuǎn)運(yùn)伊朗

巴基斯坦允許貨物過境其領(lǐng)土轉(zhuǎn)運(yùn)伊朗

俄羅斯衛(wèi)星通訊社
2026-04-28 15:12:04
歐冠半決賽射手榜:C羅13球獨(dú)一檔,梅西排第四

歐冠半決賽射手榜:C羅13球獨(dú)一檔,梅西排第四

樂道足球C
2026-04-28 16:52:54
剛繼承母親330億股份,我回婆家拿衣服,電梯口保安低聲說:太太

剛繼承母親330億股份,我回婆家拿衣服,電梯口保安低聲說:太太

云端小院
2026-04-28 07:06:37
49歲翁帆高調(diào)露面!換造型驚艷全場,一句話讓英國定居傳聞破滅

49歲翁帆高調(diào)露面!換造型驚艷全場,一句話讓英國定居傳聞破滅

一盅情懷
2026-03-16 16:58:07
拍《風(fēng)云》時,導(dǎo)演為省錢給江祖平戴了條繩,竟撐起一個時代審美

拍《風(fēng)云》時,導(dǎo)演為省錢給江祖平戴了條繩,竟撐起一個時代審美

蕭狡科普解說
2026-04-23 06:09:07
莫雷托:國米與維卡里奧達(dá)成協(xié)議,但熱刺因保級不能進(jìn)行轉(zhuǎn)會談判

莫雷托:國米與維卡里奧達(dá)成協(xié)議,但熱刺因保級不能進(jìn)行轉(zhuǎn)會談判

硯底沉香
2026-04-28 16:50:02
金正恩自己都沒想到,下令出兵俄羅斯后,會給朝鮮帶來這么多驚喜

金正恩自己都沒想到,下令出兵俄羅斯后,會給朝鮮帶來這么多驚喜

混沌錄
2026-04-11 20:56:12
高規(guī)格會議,釋放股市積極信號

高規(guī)格會議,釋放股市積極信號

小白讀財經(jīng)
2026-04-28 14:59:30
2026-04-28 17:36:49
何新文史 incentive-icons
何新文史
全國政協(xié)委員何新(已退休)
4419文章數(shù) 8044關(guān)注度
往期回顧 全部

教育要聞

最新!東城區(qū)義務(wù)教育入學(xué)政策出爐!

頭條要聞

媒體:伊朗向美方傳達(dá)三階段談判方案 這次底氣充足

頭條要聞

媒體:伊朗向美方傳達(dá)三階段談判方案 這次底氣充足

體育要聞

季后賽最新局勢:雷霆4-0晉級首隊 4隊3-1

娛樂要聞

蔡卓妍官宣結(jié)婚,老公比她小10歲

財經(jīng)要聞

政治局會議:加強(qiáng)算力網(wǎng)等規(guī)劃建設(shè)

科技要聞

10億周活目標(biāo)落空!傳OpenAI爆發(fā)內(nèi)部分歧

汽車要聞

拒絕瘋狂套娃!現(xiàn)代艾尼氪金星長在未來審美點(diǎn)上

態(tài)度原創(chuàng)

藝術(shù)
親子
房產(chǎn)
本地
公開課

藝術(shù)要聞

靜·觀--第二屆全國靜物油畫作品展 作品選刊

親子要聞

寶寶皮膚薄,曬傷一次誤終身,選防曬守住3道底線

房產(chǎn)要聞

信號!海南商業(yè)版圖,迎來大變局!

本地新聞

用青花瓷的方式,打開西溪濕地

公開課

李玫瑾:為什么性格比能力更重要?

無障礙瀏覽 進(jìn)入關(guān)懷版