設萬維讀者為首頁 萬維讀者網 -- 全球華人的精神家園 廣告服務 聯繫我們 關於萬維
 
首  頁 新  聞 視  頻 博  客 論  壇 分類廣告 購  物
搜索>> 發表日誌 控制面板 個人相冊 給我留言
幫助 退出
 
天蓉的博客  
隨筆、小說、詩詞、科普。 “真和美,是科學不變的精髓;愛與死,是文學永恆的主題……”  
我的名片
天蓉
註冊日期: 2011-09-18
訪問總量: 1,433,033 次
點擊查看我的個人資料
Calendar
我的公告欄
最新發布
· 都江堰科普
· 費馬大定理-最後一步
· 費馬大定理-鋪平道路
· 費馬大定理-橢圓函數
· 費馬大定理-橢圓曲線和“群”
· 費馬大定理-模形式
· 費馬大定理-橢圓曲線
友好鏈接
分類目錄
【作品目錄】
· 《走近混沌》目錄
· 《走近量子》目錄
· 《詩謎畫謎》目錄
· 《傻博士的初戀》目錄
· 《美國房客》目錄
· 《隱身驚魂記》目錄
· 《白雪之戀》:目錄
【科普-走近混沌】
· 《走近混沌》-25-27-全文完
· 《走近混沌》-24-孤立子的故事
· 《走近混沌》-23-混沌到有序
· 《走近混沌》-22-再回魔鬼聚合物
· 《走近混沌》-21-萬變之不變
· 《走近混沌》-20-混沌魔鬼不穩定
· 《走近混沌》-19-混沌魔鬼的誕生
· 《走近混沌》-18-生態繁衍和混沌
· 《走近混沌》-17-混沌遊戲
· 《走近混沌》-16-三體問題及趣聞
【科普-走近量子】
· 走近量子(19)量子隱形傳輸(二
· 走近量子(18)量子隱形傳輸(一
· 走近量子(17)量子計算機
· 走近量子(16)GHZ定理-繼續
· 走近量子(15)GHZ定理
· 走近量子(14)qubit和費曼
· 走近量子(13)從糾纏態到qubit
· 走近量子(12)GHZ登場
· 走近量子(11)埃斯派克特的實驗
· 走近量子(10)最後的判決
【謎語集錦3】
· 留下一串謎(詩謎+畫謎)- 44
· 留下一串謎(詩謎+畫謎)- 43
· 留下一串謎(詩謎+畫謎)- 42
· 留下一串謎(詩謎+畫謎)- 41
· 留下一串謎(詩謎+畫謎)- 40
· 留下一串謎(詩謎+畫謎)- 39
· 留下一串謎(詩謎+畫謎)- 38
· 留下一串謎(詩謎+畫謎)- 37
· 留下一串謎(詩謎+畫謎)- 36
· 留下一串謎(詩謎+畫謎)- 35
【謎語集錦2】
· 留下一串謎(詩謎+畫謎)- 30
· 留下一串謎(詩謎+畫謎)- 29
· 留下一串謎(詩謎+畫謎)- 28
· 留下一串謎(詩謎+畫謎)- 27
· 留下一串謎(詩謎+畫謎)- 26
· 留下一串謎(詩謎+畫謎)- 25
· 留下一串謎(詩謎+畫謎)- 24
· 留下一串謎(詩謎+畫謎)- 23
· 留下一串謎(詩謎+畫謎)- 22
· 留下一串謎(詩謎+畫謎)- 21
【謎語集錦1】
· 留下一串謎(詩謎+畫謎)- 20
· 留下一串謎(詩謎+畫謎)- 19
· 留下一串謎(詩謎+畫謎)- 18
· 留下一串謎(詩謎+畫謎)- 17
· 留下一串謎(詩謎+畫謎)- 16
· 留下一串謎(詩謎+畫謎)- 15
· 留下一串謎(詩謎+畫謎)- 14
· 留下一串謎(詩謎+畫謎)- 13
· 留下一串謎(詩謎+畫謎)- 12
· 留下一串謎(詩謎+畫謎)- 11
【謎語集錦】
· 留下一串謎(詩謎+畫謎)- 10
· 留下一串謎(詩謎+畫謎)- 9
· 留下一串謎(詩謎+畫謎)- 8
· 留下一串謎(詩謎+畫謎)- 7
· 留下一串謎(詩謎+畫謎)- 6
· 留下一串謎(詩謎+畫謎)- 5
· 留下一串謎(詩謎+畫謎)- 4
· 留下一串謎(詩謎+畫謎)- 3
· 留下一串謎(詩謎+畫謎)- 2
· 留下一串謎(詩謎+畫謎)- 1
【傻博士的初戀46-50】
· 傻博士的初戀-50-尾聲
· 傻博士的初戀-49-水落石出
· 傻博士的初戀-48-謀殺案?
· 傻博士的初戀-47-當個女偵探
· 傻博士的初戀-46-跟蹤依娃
【傻博士的初戀:41-45】
· 傻博士的初戀-45-疑惑
· 傻博士的初戀-44-分手?
· 傻博士的初戀-43-闖蕩哈林區
· 傻博士的初戀-42-平安夜(2)
· 傻博士的初戀-41-平安夜(1)
【傻博士的初戀36-40】
· 傻博士的初戀-40-回家
· 傻博士的初戀-39-感恩節(2)
· 傻博士的初戀-38-感恩節(1)
· 傻博士的初戀-37-古怪的量子
· 傻博士的初戀-36-羅德的忠告
【傻博士的初戀31-35】
· 傻博士的初戀-35-萬聖節(2)
· 傻博士的初戀-34-萬聖節(1)
· 傻博士的初戀-33-工作狂
· 傻博士的初戀-32-如此先進企業
· 傻博士的初戀-31-強詞奪理
【“傻”博士的初戀:26-30】
· 傻博士的初戀-30-大金失蹤
· 傻博士的初戀-29-戀愛的學問
· 傻博士的初戀-28-911(2)
· 傻博士的初戀-27-911(1)
· 傻博士的初戀-26-賈楊金
【“傻”博士的初戀:21-25】
· 傻博士的初戀-25-人腦和電腦
· 傻博士的初戀-24-硅谷看房子
· 傻博士的初戀-23-經濟泡沫
· 傻博士的初戀-22-明娜來訪
· 傻博士的初戀 -21- 親密接觸
【“傻”博士的初戀:11-15】
· 傻博士的初戀 -20- 搬家
· 傻博士的初戀 -19- 羅德的故事
· 傻博士的初戀 -18- 糊塗有理
· 傻博士的初戀 -17- 糊塗博士
· 傻博士的初戀 -16- 瘋漲的股票
【“傻”博士的初戀:11-15】
· 傻博士的初戀 -15- “生日快樂
· 傻博士的初戀 -14- 過生日
· 傻博士的初戀13- 父母來訪
· 傻博士的初戀-12- “大袍子”博
· 傻博士的初戀-11- 有驚無險
【“傻”博士的初戀:6-10】
· 傻博士的初戀-10- 太浩湖之旅
· 傻博士的初戀-9- 簡單和複雜
· 傻博士的初戀-8- 笑阿姨
· 傻博士的初戀-7- 情人節
· 傻博士的初戀-6-大忙人
【“傻”博士的初戀:1-5】
· 傻博士的初戀-5-“薩沙”和“妮
· 傻博士的初戀-4-合作夥伴?
· 傻博士的初戀-3-第一次約會
· 傻博士的初戀-2-棕櫚大道
· 傻博士的初戀-1-初遇
· 傻博士的初戀:引子
【《美國房客》尾聲】
· 《美國房客》- 35 經悠悠數月,
【《美國房客》生死遊戲】
· 《美國房客》- 34 感生命有限,
· 《美國房客》- 33 知禍福相依,
· 《美國房客》- 32 憶德州舊識,
· 《美國房客》- 31 急自強有危,
· 《美國房客》- 30 燒藏寶真圖,
· 《美國房客》- 29 欲引蛇出洞,
· 《美國房客》- 28 映院中人影,
· 《美國房客》- 27 破車禍真相,
· 《美國房客》- 26 聽教授感慨,
· 《美國房客》- 25 記夢中影像,
【《美國房客》遊子百態】
· 《美國房客》- 15 憶往事成煙,
· 《美國房客》- 14 解詩詞秘密,
· 《美國房客》- 13 氣弟弟不肖,
· 《美國房客》- 12 喜赴美尋夢,
· 《美國房客》- 11 厭名利薰心,
· 《美國房客》- 10 記車禍當日,
· 《美國房客》- 9 述加州之行,觸
· 《美國房客》- 8 疑泰州寶藏,惑
· 《美國房客》- 7 用鍵盤交流,集
· 《美國房客》- 6 敘文革舊事,傳
【《美國房客》楔子】
· 《美國房客》楔子-2 人物詩謎
· 《美國房客》楔子-1 一則新聞
【長篇懸疑小說《美國房客》】
【《隱身驚魂記》-獨立節驚魂】
· 獨立節驚魂-尾聲
· 獨立節驚魂-82-隱蛇現形白宮驚魂
· 獨立節驚魂-81-遙控實現殺人遊戲
· 獨立節驚魂-80-毒蛇消失總監着急
· 獨立節驚魂-79- 歡樂華府嚴陣以
· 獨立節驚魂-78- 陽光谷城小虎遇
· 獨立節驚魂-77-節日凌晨無人能眠
· 獨立節驚魂-76-高人駕車出手相救
【《隱身驚魂記》-矽谷追逐】
· 矽谷追逐-75-隱身男孩被人跟蹤
· 矽谷追逐-74-紅木城中隱人現形
· 矽谷追逐-73-隱人出沒捉狹添亂
· 矽谷追逐-72-戈爾自殺拉曼被捕
· 矽谷追逐-71-身陷囹圄處境危急
· 矽谷追逐-70-月黑風高事故不斷
· 矽谷追逐-69-野狼活動毒蛇突現
· 矽谷追逐-68-天災可怕人心奸詐
· 矽谷追逐-67-狡猾政客陰謀小人
· 矽谷追逐-66-精心策劃設置圈套
【《隱身驚魂記》-陰謀政治】
· 陰謀政治-61-駛離華府何去何從
· 陰謀政治-60-警商勾結顧客遭殃
· 陰謀政治-59-欲破陰謀逃避逮捕
· 陰謀政治-58-隱俠計劃雲遊灣區
· 陰謀政治-57-別墅取車拉曼落網
· 陰謀政治-56-流浪小子守株待兔
· 陰謀政治-55-上司策劃逮捕邁克
· 陰謀政治-54-兩月前的重大案件
· 陰謀政治-53-分析案情迷霧重重
· 陰謀政治-52-跟蹤紳士疑點多多
【長篇科幻小說《隱身驚魂記》】
· 腦電波之謎-40-急中生智無辜遇難
· 腦電波之謎-39-藏身遁形紐約歷險
· 腦電波之謎-38-情況複雜小虎不見
· 腦電波之謎-37-人性獸性互糾互纏
· 腦電波之謎-36-隱人胡鬧大使劇院
· 腦電波之謎-35-歷歷在目十年之前
· 腦電波之謎-34-拉曼失蹤線索中斷
· 腦電波之謎-33-切身體會隱身之趣
· 《隱身驚魂記》目錄
· 腦電波之謎-32 別墅忽見往日同學
【隨筆】
【科普】
· 都江堰科普
· 費馬大定理-最後一步
· 費馬大定理-鋪平道路
· 費馬大定理-橢圓函數
· 費馬大定理-橢圓曲線和“群”
· 費馬大定理-模形式
· 費馬大定理-橢圓曲線
· 費馬大定理-數學公主
· 費馬大定理-歐拉猜想
· 費馬大定理-這個證明包你懂!
【詩詞】
· 《露珠》
· 《小花》
· 《激流》
· 《團聚》
· 《三疊泉》
· 《詠荷》
【小說】
· 《白雪之戀》:2-《二十六年後…
· 《白雪之戀》:2-《二十六年後…
· 《白雪之戀》:2-《二十六年後…
· 《白雪之戀》:2-《二十六年後…
· 《白雪之戀》:1-56
· 《白雪之戀》:1-55
· 《白雪之戀》:1-54
· 《白雪之戀》:1-53
· 《白雪之戀》:1-52
· 《白雪之戀》:1-51
存檔目錄
01/01/2025 - 01/31/2025
12/01/2024 - 12/31/2024
11/01/2024 - 11/30/2024
10/01/2024 - 10/31/2024
09/01/2024 - 09/30/2024
08/01/2024 - 08/31/2024
06/01/2024 - 06/30/2024
05/01/2024 - 05/31/2024
04/01/2024 - 04/30/2024
03/01/2024 - 03/31/2024
02/01/2024 - 02/29/2024
01/01/2024 - 01/31/2024
12/01/2023 - 12/31/2023
11/01/2023 - 11/30/2023
06/01/2023 - 06/30/2023
04/01/2023 - 04/30/2023
11/01/2022 - 11/30/2022
10/01/2022 - 10/31/2022
09/01/2022 - 09/30/2022
07/01/2022 - 07/31/2022
06/01/2022 - 06/30/2022
05/01/2022 - 05/31/2022
04/01/2022 - 04/30/2022
03/01/2022 - 03/31/2022
02/01/2022 - 02/28/2022
01/01/2022 - 01/31/2022
12/01/2021 - 12/31/2021
07/01/2013 - 07/31/2013
02/01/2013 - 02/28/2013
01/01/2013 - 01/31/2013
12/01/2012 - 12/31/2012
11/01/2012 - 11/30/2012
10/01/2012 - 10/31/2012
09/01/2012 - 09/30/2012
08/01/2012 - 08/31/2012
07/01/2012 - 07/31/2012
06/01/2012 - 06/30/2012
05/01/2012 - 05/31/2012
04/01/2012 - 04/30/2012
03/01/2012 - 03/31/2012
02/01/2012 - 02/29/2012
01/01/2012 - 01/31/2012
12/01/2011 - 12/31/2011
11/01/2011 - 11/30/2011
10/01/2011 - 10/31/2011
發表評論
作者:
用戶名: 密碼: 您還不是博客/論壇用戶?現在就註冊!
     
評論:
微積分之後的數學危機
   

初等數學的研究對象是不變的量,而高等數學的研究對象則是變量。這句話本身平淡無奇,卻道出了初等數學與高等數學的根本區別,也就是微積分之前和之後的數學之區別。

微積分的誕生

可以說,如果沒有微積分,就沒有現代科技。微積分誕生的歷史源遠流長,但最後一步是由牛頓和萊布尼茲完成的。兩人的微積分風格不同,貢獻各異。牛頓最大的貢獻是把微積分用於物理上,構思了牛頓三大定律及萬有引力定律。並用微積分方法,討論了潮汐、歲差等現象。

萊布尼茲最主要的貢獻是對概念、方法、技巧等清楚的梳理,加上符號的運用。這些符號受到人們的喜愛,一直使用至今。

1665年,牛頓從劍橋大學為了躲避瘟疫回到了鄉下老家,蘋果樹下的思考萌生了萬有引力定律。這是家喻戶曉的故事,那年他才22歲。那段時間除了研究引力之外牛頓還發明了微積分,後者對科學之意義不下於前者。

牛頓考慮微積分是為了解決動力學問題,即運動中物理量與時間的關係問題。他把這種數學理論叫做“ 流數術  ,實際上就是現代說的微積分。那年的520日,牛頓第一次在他的手稿上描述他的“流數術”,後人便把這一天作為微積分的誕生日。

 牛頓將一切基本變量叫做“流量”(用xyz表示),而將流量隨時間的變化率,即速度等,稱之為“流數”。流數用xyz上面加一點(或者x,y,z’)來表示。

牛頓“流數術”要解決兩類問題:

1)已知流量間的關係,求流數的關係,這相當於微分學。

2)已知流數間的關係,求流量的關係,相當於積分,問題(1)的逆問題。

 使用現在的微積分語言,牛頓的“流量”即變量,“流數”即導數。

微積分誕生(YouTube視頻)

如何計算流量和流數?牛頓從二項式展開成無窮級數的問題開始思考,並由此對“無窮”的概念有所突破。為此目的,牛頓定義了一個時間的無限小瞬“o”,作為流數術的基礎。這個無限小的時間瞬將引起流量的瞬,由此便能計算流數,即兩個“瞬”的比值。

例:兩個流量:xy,隨時間t變化並有如下關係:x3 + xy + y3 = 0          1

無限小時間瞬o將引起兩個流量的無限小瞬,分別記為x’o, y’o

在公式(1)中分別用x+x’o, y+y’o代替xy,再減去(1)得到:

隨時間變化的流量xy,有如下關係:x3 + xy + y3 = 0          1

無限小時間瞬o將引起兩個流量的無限小瞬,分別記為x’o, y’o

在(1)中用x+x’o, y+y’o代替xy,再減去(1)得到:

3x2x’o+3x(x’o)2+(x’o)3+xy’o+x’oy+x’y’o2+3y2y’o+3y(y’o)2+(y’o)3  =  0

兩邊同時除以o3x2x’+3x(x’)2o+(x’)3o2+xy’+x’y+x’y’o+3y2y’+3y(y’)2o+(y’)3o2  =  0

然後令o= 03x2x’+xy’+x’y +3y2y’=  0

整理得x’和y’的關係:x’/y’ = -(3y2+x)/( 3x2+ y)


牛頓發明了微積分,並用微積分的語言寫下了牛頓三大定律和萬有引力定律。以及後人又在微積分的基礎上建立了數學物理方程、黎曼幾何等數學分支。這些數學理論,不僅幫助牛頓和麥克斯韋等人,建立了宏偉輝煌的經典力學和經典電磁理論,並且推動了理論物理中量子力學、相對論、混沌理論等數次革命。回顧其間的這段漫長的歷史過程,是既耐人尋味,又發人深思的。

 牛頓像是個上帝派來的魔法師,他右手點亮經典力學之火,左手握着微積分,數學和物理的殿堂從此有了光明。有位英國詩人為牛頓寫下了令人感動的墓志銘:"上帝說,讓牛頓降生吧。於是世界一片光明。"牛頓點亮了科學的火把,照亮世界,給人類帶來光明。

當年牛頓與萊布尼茨的微積分發明權產生爭論,兩人都是小肚雞腸。並且,還將兩人所在國家的國家榮耀、民族情緒牽扯其中。將兩位科學家的個人之爭,演變成了英國科學界與德國科學界、乃至與整個歐洲大陸科學界的對抗。英國數學家不願意接受萊布尼茨更為好用的符號系統,而要堅持使用牛頓的,實際上影響了英國數學研究的發展。

牛頓和萊布尼茨的微積分都不夠嚴謹,之後被歐拉、拉格朗日、拉普拉斯、達朗貝爾等人精雕細刻,才系統化和嚴密化為後來的樣子

微積分的危機

 

所謂的數學危機,實際上並不是什麼危機,不過是在數學發展過程中幾個關鍵的時間點而已。在這些時間點,人們對數學中的概念發生了質的變化。因此,解決危機的辦法就是首先需要接受新概念,然後用數學的語言和規範嚴格地完整和理清這些概念。

例如,發生於古希臘的那次危機,其實什麼危機也沒有,只不過因為畢達哥拉斯學派原來對數的認識是不足夠不完善的,數不能僅僅被理解為m/n的有理數形態,還需要擴展到無理數。因此,人們首先需要接受無理數這個新概念,然後,數學家創立了新的比例論、完善了窮竭法,將無理數概念統一到“數”的領域中,因而克服了所謂的“危機”。

牛頓和萊布尼茨創建的微積分,解決了許多實際問題,例如,微積分解決了力學中的速度變化問題,它馳騁在近代和現代科學技術前沿,建立了數不清的豐功偉績,但也招來不少質疑的聲音。

最主要又嚴峻的質疑,來自於一位教區主教George Berkeley。不要以為伯克利只是一個神學人士,有人說他是因為憎恨科學捍衛宗教而攻擊牛頓,其實不完全如此,捍衛宗教固然是其目的之一,但未必是“攻擊”,因為他的確抓住了當時牛頓(或萊布尼茨)微積分的要害:不嚴密!

看看伯克利何許人也。你可能沒聽過他,但你可能聽過美國加州有所叫伯克利的大學!沒錯,這座大學就是以他而命名的,因為他熱衷教育事業,為紀念他對教育做出的貢獻。除了是教育家之外,他有眾多的身份:英國著名的主觀唯心主義哲學家、嚴肅的數學家、他關心大眾生活,為人民謀福利,還被當時的人稱為“善的主教”。


微積分危機(YouTube視頻)


1734年,牛頓過世7年後,伯克利出版了分析學家一書挑戰微積分:

“親愛的牛頓,請你誠懇地告訴我,如果你還殘存對信仰的敬畏。你那自鳴得意的“瞬”,究竟是何方神聖?它飄然而來,因為要作你的分母;它離奇而逝,因為要成全你的流數。你不需要它,就判處它死刑;你需要它,又召喚出它的亡靈。”

無窮小“瞬”,究竟是何方神聖?飄然而來又離奇而逝,零或非零, 消失量之幽靈?

貝克萊對牛頓所闡述的“無窮小”提出質疑,並非無理取鬧。因為牛頓無窮小定義的導數並不嚴密,即使沒有貝克萊提出質疑,最後也會有人提出無窮小概念的問題。當時的微積分仍然受希臘幾何的影響,還處於依賴幾何論證的基礎上。貝克萊並未否定微積分的正確性。

y=x2求導數的例子說明,推導過程確實存在錯誤:前一步假設Δx是不為0的,可以作分母,而後一步又被取為0。那麼到底是不是0呢?牛頓未能自圓其說。

 

然而,要解決微積分的危機,也就是將其嚴格化,不是一朝一夕的事,又過了150年左右,到19世紀末才完成。包括多位數學家的努力。包括法國的柯西(17891857)和德國的魏爾斯特拉斯(1815-1897)。

柯西成功地表達了正確的極限概念,使其成為微分學的堅實基礎。他從數的基礎上(不是從幾何直觀)出發,重新定義了微積分中各種含糊的定義。

柯西定義極限:“如果一個變量的連串值無限地趨向一個固定量,使之最後與後者之差可任意地小,那麼最後這個固定值就被稱為所有其他值的極限。”

那麼任意小是多少?柯西說比你給定的任意數都小。

後來魏爾斯特斯拉認為這個定義不準確和自然,繼續作了修改,提純了極限概念,以ε-δ語言,系統建立了數學分析的嚴謹基礎。。

無窮小不是一個確定的數,也不是零。它是極限為零的變量。研究對象是常量還是變量,是初等數學和高等數學的區別。也是微積分之前和之後數學的區別。微積分的核心概念是導數(微分)瞬時變化率。嚴格定義的無限趨近的極限概念是微積分的精髓。

理髮師悖論數學第三次危機

 

數學上有很多悖論,其實悖論就是矛盾,矛盾產生危機。所以數學的幾次危機也可以用悖論來表述。古希臘時代那次數學危機,起因於希帕索斯發現無理數的“希帕索斯悖論”。第二次無窮小危機則與芝諾悖論及貝克萊質疑牛頓“無窮小量鬼魂”的悖論有關,它的解決為微積分學奠定了堅實的基礎。第三次危機則與有趣的理髮師悖論聯繫在一起。

傳說有一個理髮師,將他的顧客定義為城中所有“不給自己理髮之人”。但某一天,當他想給自已理髮時卻發現他的“顧客”定義是自相矛盾的。因為如果他不給自己理髮,他自己就屬於“顧客”,就應該給自己理髮;但如果他給自己理髮,他自己就不屬於“顧客”了,但他給自己理了發,又是顧客,到底自己算不算顧客?該不該給自己理髮?這邏輯似乎怎麼也理不清楚,由此而構成了“悖論”。

是誰想出這麼一個古怪的燒腦悖論來折騰人?數學發展得好好的,實在像是沒事找事無事生非。的確如此,前兩次數學危機的解決,建立了實數理論和極限理論,最後又因為有了康托的集合論,數學家們興奮激動,認為數學第一次有了“基礎牢靠”的理論。

理髮師悖論(YouTube視頻)


提出這個悖論的是英國人伯特蘭·羅素。一位出生顯赫的貴族,一個造詣非凡的真正大師。

羅素的家庭了不得,他爺爺曾經出任過英國的兩任首相。羅素自己更了不得,他是著名的歷史學家,‌‌哲學家,數學家,各方面多產的大師。他創建分析哲學,提倡自由教育;他的歷史巨著西方哲學史,在哲學界廣為人知;令你沒想到的是,他還獲得了1950年的諾貝爾文學獎。

羅素與羅素悖論(某種意義上等效於理髮師悖論)有關的是一部大塊頭的《數學原理》。洋洋灑灑大卷近 2,000 頁,耗費羅素十年功夫折騰得夠嗆才得以完成。羅素認為所有的數學可以約化為邏輯,為此目的作者們使用了極度冗長繁瑣的推理。 比如,花了將近400頁的內容,才得以正確地定義“1”及“1+1”。當年對數學基礎的研究有三大主義。除了羅素信奉的邏輯主義之外,還有德國的希爾伯特為代表的形式主義、 荷蘭數學家布勞威爾為代表的直覺主義。

我們回到理髮師悖論,考慮如何避免理髮師對顧客的定義而產生的邏輯怪圈。如果理髮師修改一下自己的說法:“除了我本人之外,我給所有不給自己理髮的人理髮”,悖論就被避免了。因為理髮師此時定義了一個不包括自己在內的顧客集合,這個集合沒有怪圈!改變定義便能繞過去。對理髮師悖論而言這很容易,對學術上的“集合論”,就不那麼容易了,不過原則差不多。就是在定義集合的時候,要避免“自我”指涉。

還有一個牽涉自我指涉的悖論,叫做“說謊者悖論”,它的典型語言表達為:“我說的話都是假話”。如果你判定這句話是真話,便否定了話中的結論,自相矛盾;如果你判定這句話是假話,那麼引號中的結論又變成了一句真話,仍然產生矛盾。

因此,此類悖論是產生於“集合”的定義牽涉到“自我”指涉,這些悖論解決之後,那麼,如果將自身排除在集合之外,悖論不就解決了嗎?也許問題並非那麼簡單。

幾個悖論都牽涉到“自我”指涉(self-reference)的問題。理髮師不知道該不該給“自己”理髮?說謊者聲稱的是“我”說的話。看起來,將自身包括在“集合”中不是好事,可能會產生出許多意想不到的問題,這些悖論提醒數學家們重新考察集合的定義,康托的集合論對“集合”的定義太原始,以為把任何一堆東西放一起,只要它們具有某種簡單定義的相同性質,就可以數學抽象為“集合”。人們後來將康托的理論稱為“樸素集合論”。為它制定了一些“公理”作為條條框框,從而使得康托的樸素集合論走向了現代的“公理集合論”。

人們認為數學的第三次危機尚未被完全解決,不過屬於邏輯和哲學層面的問題,不太影響數學的發展。

××××××××××××××××××××××××××××××××××××××××××××××××××××××××××××××××××××

本人的科普視頻:YouTube:

天文航天:“談天說地”  https://www.youtube.com/playlist?list=PL6YHSDB0mjBLmFkh2_9b9fAlN7C4618gK

趣味數學:數學大觀園  https://www.youtube.com/playlist?list=PL6YHSDB0mjBJifi3hkHL25P3K9T-bmzeA

也發在微信公眾號“天舸”上(微信號:gh_e01fc368fe31):

天舸.jpg

              長按/掃一掃二維碼,敬請關注我的微信公眾號天舸” !

××××××××××××××××××××××××××××××××××××××××××××××××××××××××××××××××××


 
關於本站 | 廣告服務 | 聯繫我們 | 招聘信息 | 網站導航 | 隱私保護
Copyright (C) 1998-2026. Creaders.NET. All Rights Reserved.