推 qljr:應該是哥德爾. 210.85.200.194 08/13
thanks for correction
※ 編輯: A1Yoshi 來自: 140.129.70.52 (08/13 17:35)
> -------------------------------------------------------------------------- <
作者: Babbage ( 瘋狂. 清 醒 著) 看板: W-Philosophy
標題: Re: [轉錄]三次數學危機
時間: Tue Aug 17 23:26:04 2004
※ 引述《A1Yoshi (寬廣 無際)》之銘言：
: 好像少了第四次危機：哥德爾的不完備定理。（哥爾德是生物學家，演化論專家：P）
: 這定理告訴我們，算術系統是不完備的，也就是說，數學存在一個定理必為真，
: 卻無法透過既有的規則推導出來。
: 有的人把這個拿來解釋主體性（subjectivity）的問題。
這不是危機,沒有撼動數學的基礎,只是使大部分人對數學改觀.
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.187.62.43
> -------------------------------------------------------------------------- <
作者: A1Yoshi (寬廣 無際) 看板: W-Philosophy
標題: Re: [轉錄]三次數學危機
時間: Wed Aug 18 17:59:12 2004
※ 引述《Babbage ( 瘋狂. 清 醒 著)》之銘言：
: ※ 引述《A1Yoshi (寬廣 無際)》之銘言：
: : 好像少了第四次危機：哥德爾的不完備定理。（哥爾德是生物學家，演化論專家：P）
: : 這定理告訴我們，算術系統是不完備的，也就是說，數學存在一個定理必為真，
: : 卻無法透過既有的規則推導出來。
: : 有的人把這個拿來解釋主體性（subjectivity）的問題。
: 這不是危機,沒有撼動數學的基礎,只是使大部分人對數學改觀.
嗯....我仔細比對了一下，我覺得我並沒有說錯。
三次危機，不外乎是這幾個意思：
一、數學家原本有某些認知，認為某些事情是對的，但turn out是錯的。
二、數學界出現難解的問題。
第一個意思，其實是數學完備性的問題。第一次危機和第三次危機基本上
都是在挑戰數學的完備性。
而哥德爾定理正是挑戰數學的完備性。
所以，如果說這三次危機能夠被稱為危機，那我提的，也應該可以稱做第
四次危機。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.129.70.52
> -------------------------------------------------------------------------- <
作者: Babbage ( 瘋狂. 清 醒 著) 看板: W-Philosophy
標題: Re: [轉錄]三次數學危機
時間: Wed Aug 18 23:31:41 2004
※ 引述《A1Yoshi (寬廣 無際)》之銘言：
: ※ 引述《Babbage ( 瘋狂. 清 醒 著)》之銘言：
: : 這不是危機,沒有撼動數學的基礎,只是使大部分人對數學改觀.
: 嗯....我仔細比對了一下，我覺得我並沒有說錯。
: 三次危機，不外乎是這幾個意思：
: 一、數學家原本有某些認知，認為某些事情是對的，但turn out是錯的。
: 二、數學界出現難解的問題。
: 第一個意思，其實是數學完備性的問題。第一次危機和第三次危機基本上
: 都是在挑戰數學的完備性。
: 而哥德爾定理正是挑戰數學的完備性。
: 所以，如果說這三次危機能夠被稱為危機，那我提的，也應該可以稱做第
: 四次危機。
你說的第一點有道理，我也說說我的原因。
這是個主觀認定的問題，數學家及數學史家目前都只提三大危機。
數學的第一次危機是"無理數的存在"。
我之前所謂撼動數學的基礎，即是因為當時的數學是建立在萬物皆可公度化
的基礎上，若是存在無法與其他數公度化的數，那麼有些東西勢必要重新考
量。
第二次危機是微積分的基礎，所謂無窮小的問題，這個東西若無法明確定義
，那已經被大量拿來應用的微積分技巧也無法保證自己所算的是對的。
第三次危機則是邏輯上的危機，Russell舉了一個邏輯上的兩難，這對建立在
非真即偽基礎上的數學當然是致命的一擊，解決方法是限定在數學內不能建
構某種"集合"，這樣才保證不會出問題。
以上三次危機都讓人必須採取某些策略或修訂才能避免，反觀哥德爾的不完
備定理只是陳述一件事實，而這件事實對數學本身毫無影響，本來對的事，
依然是對的，沒有定理被推翻或懷疑，當然也沒有危機。
所以我說，你說的第一點是對的，危機的確造成你說的那個影響，但是只造
成那一點並不足以稱為危機，必須會影響已知事實的真偽判定。
:)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.187.60.175
http://hk.geocities.com/mathsworld2001/mathematicians/danger.htm#1
第一次數學危機
歷史背景
畢達哥拉斯（約公元前572年——公元前492年）是一位古希臘的數學家及哲學家，他曾有
一句名言「凡物皆數」，意思是萬物的本原是數，數的規律統治萬物。不過要注意的是，在
那個年代，他們相信一切數字皆可以表達為整數或整數之比——分數，簡單而言，他們所認
識的只是「有理數」。
有趣的有理數
當時的人只有「有理數」的觀念是絕不奇怪的。對於整數，在數線上我們可以知道是一點
點分散的，而且點與點之間的距離是一，那就是說，整數不能完全填滿整條數線，但有理數
則不同了，我們發現任何兩個有理數之間，必定有另一個有理數存在，例如：1與2之間有1/2
，1與1/2之間有1/4等，因此令人很容易以為「有理數」可以完全填滿整條數線，「有理數
」就是等於一切數，可惜這個想法是錯的，因為……
畢氏定理、畢氏鐵拳
偉大的時刻來臨了，畢達哥拉斯發現了現時眾所周知的畢氏定理（其實中國於公元前一千
一百年已有此定理），從這個定理中，畢達哥拉斯發現了一件不可思議的事，就是腰長為１
的等腰直角三角形的斜邊長度，竟然是一個無法寫成為有理數的數。亦即是說有理數並非一
切數，存在有理數以外的數，有理數不可以完全填滿整條數線，他們心中的信念完完全全被
破壞了，他們所恃和所自豪的信念完全被粉碎。在當時的數學界來說，是一個極大的震撼，
也是歷史上的「第一次數學危機」。
新的一頁
原來「第一次數學危機」是「無理數」的發現，不過它還說出了「有理數」的不完備性，
亦即有理數不可以完全填滿整條數線，在有理數之間還有「罅隙」，無疑這些都是可被證明
的事實，是不能否定的。面對著事實，數學家展開廣闊的胸襟，把「無理數」引入數學的大
家庭，令數學更豐富更完備，加添了無理數，數線終於被填滿了。
不過，第二次數學危機又將要來臨了！
第二次數學危機
「飛矢不動」的吊詭
古代的希臘是研究哲學的人聚集的地方，在云云的哲學學派之中，其中一派主張「存在是
靜止的，不變的，永恒的，變化與運動只是幻覺。」至於這個主張的理念，不是我們的討論
範圍，不過，這個學派的學者之一——芝諾，為了論證運動是幻象，提出了「飛矢不動」的
「理論」：箭在每一瞬間都要佔據一定的空間位置，即箭在每一瞬間存在，即箭在每一瞬間
都是靜止的，又怎可能動呢？
數學——打破吊詭的武器
當然我們完全明白「飛矢不動」是一個歪論，但數學是一個講究嚴謹的學科，數學家們要
從問題的核心「動」作為開始，要證明「飛矢必動」。所謂動是指有速率，而速率便是所走
的路程和所用的時間的比，換句話說，要證明箭在每一瞬間都是動即，要證明箭在每一瞬間
都有速率，但這是一個難題，因為如何找出每一瞬間的速率呢？
無堅不摧——微積分
要解決每一瞬間的速率（以下稱瞬時速度）的問題，偉大的數學家和物理學家——牛頓（1
643–1727），發現了一件無堅不摧的武器——微積分，其中微分便正好可以計算出物體的
瞬時速度。這個發現震驚了整個數學界和物理學界，而且除了瞬時速度，微積分更在不同
方面有廣泛的應用，並得到了瞬速的發展。不過，好境不常．．．
既不是零又不是非零？
因為微積分必須要考慮所謂「無窮小量」的問題，所謂「無窮小量」是指一個「非零而又
極接近零的量」，而所謂「極接近零」是指這個量「與零之間不容許有任何空間和距離」，
換句話說，「無窮小量」是一個既不是零又不是非零的量，那麼，「無窮小量」是零嗎？如
果解不到這個問題，所謂無堅不摧的微積分，便無立足之地，一切由微積分所得出來的完美
的數學和物理學上的結果也付諸流水，所以數學史上稱之為「第二次數學危機」。
化危為機
數學是講究嚴謹的學科，數學家必不逃避問題，面對困難，接受挑戰，是數學家的不朽格
言。另一位偉大的數學家柯西（1789–1857），重新建立微積分學的基礎——數學分析。數
學分析是透過一套嚴格的「數學語言——ε–語言」來說明甚麼是變量、無窮小和極限等的
概念和定義，解決了甚麼是既不是零又不是非零的問題，而這次的危機亦安然渡過，並為數
學的大家庭增添了一位成員「數學分析」，也提醒了數學家們要繼續要求嚴格，不可鬆懈。
不過，第三次數學危機將要置數學於死地！
第三次數學危機
一個有趣的故事
在村有一位手藝高超的理髮師，他只給村上一切不給自己刮臉的人刮臉，那麼，他給不給
自己刮臉呢？如果他不給自己刮臉，他是個不給自己刮臉的人，他應當給自己刮臉；如果他
給自己刮臉，由於他只給不給自己刮臉的人刮臉，他就不應當給自己刮臉了。他應該如何呢
？
數學和哲學界的巨匠——羅素
以上的故事就是著名的「羅素悖論」。羅素（1872–1970）是英國著名的哲學家和數學家
，曾獲得諾貝爾文學獎金。他想把算術系統全歸結於邏輯，所以他與懷海德合作寫的一本巨
著《數學原理》。
理髮師的威力
羅素的悖論確是給當時正為了微積分的嚴格基礎被建立而歡欣鼓舞的數學家們潑了一盆冷
水，但這個理髮師的力量有多大，竟然可以推倒數學大廈呢？在較高等的數學裡，我們會把
整個數學的基礎納入「集合論」之中，換句話說，集合論便是數學大廈的基石，所以當集合
論中出現矛盾時，建基於此之上的數學大廈也會站不住腳，而羅素的悖論卻是向著這個基石
作出致命的一擊，這個「自己既要屬於自己又同時不屬於自己」的矛盾是在集合論中的矛盾
，也就是在數學基礎中的矛盾，只要矛盾一日存在，數學大廈也不可穩固，更會在倒塌的危
機，這個也是數學的第三次危機。
解鈴還須繫鈴人？
羅素雖然提出了問題，成為危機的製造者，但同時也是危機的解決者，羅素在他的著作之
中提出了層次的理論以解決這個矛盾，使得「自己既要屬於自己又同時不屬於自己」不可能
出現。不過，這個層次理論十分複雜，所以數學家要把這個方法加以簡化，而先提出的人是
策墨羅，他提出了「有限抽象原則」和幾條公理，及後再由弗蘭克和斯柯倫的補充修改，仍
成現在在數學上較為流行公理系統——「ZFS公理系統」。這樣不單只解決了羅素的悖論，令
數學從回到嚴緊和無矛盾的領域，而且更促使一門新的數學分支——「數學基礎」有著迅
速的發展。
數學危機的啟示
在這三次的數學危機中，我們可以看到數學的發展跟面對問題和正視困難是離不開的，透
過克服一次又一次的困難而得到「成長」和完善，越是不怕艱辛，收獲便越大。第一次數學
危機使人類突破有理數的局限；第二次數學危機從提數學的嚴緊性和誕生了新的數學分支；
第三次數學危機警醒人除了發展各式各樣不同的分支以外，還得回看數學的根基本身，使數
學邁向更完備。然而，成功並非一朝一夕，必須經歷無數的挫折和失敗，傷心和失望滿佈成
功的路上，但只要不放棄，成功依然是可以達到的。另一方面是要從危機中的學習，學習如
何應付之餘，還要學習如何避免再次陷入危機之中。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.25.194
> -------------------------------------------------------------------------- <
作者: A1Yoshi (寬廣 無際) 看板: W-Philosophy
標題: Re: [轉錄]三次數學危機
時間: Fri Aug 13 10:44:56 2004
好像少了第四次危機：哥德爾的不完備定理。（哥爾德是生物學家，演化論專家：P）
這定理告訴我們，算術系統是不完備的，也就是說，數學存在一個定理必為真，
卻無法透過既有的規則推導出來。
有的人把這個拿來解釋主體性（subjectivity）的問題。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.218.0.33