沒有時間的世界 pdf epub mobi txt 电子书 下载 2025

☆☆☆☆☆

原文作者： Palle Yourgrau

圖書標籤:

• 時間
• 哲學
• 社會學
• 文化
• 現代性
• 生活方式
• 快節奏
• 焦慮
• 效率
• 科技

　　「哥德爾是科學界中唯一能與愛因斯坦相提並論的人！」──物理學傢戴森

　　二十世紀爆發瞭三次科學革命：愛因斯坦的相對論打破瞭幾韆年來人類對於時空概念的信心；海森堡的測不準原理與量子力學的發展推翻瞭古典物理的世界；哥德爾的不完備定理動搖瞭數學領域的基礎。

　　哥德爾是愛因斯坦最好的朋友，他在相對論中發現，不管在哪個宇宙，「時間」都是不存在的，也藉此證明瞭時光旅行的可能性——如果可以迴到過去，那麼時間就沒有「過去」；如此便與時間的觀念相矛盾。可惜的是，還沒來得及迴應哥德爾揭露的問題，愛因斯坦就過世瞭......本書以哥德爾的生平為主軸，導入瞭數學、物理與哲學的時代思潮，並深入探討哥德爾在哲學的嘗試與貢獻。作者在書中認為哥德爾在哲學上的成就被惡意忽視，並以為曆史翻案的態度，嚮「學院派」主流哲學提齣不平之鳴。正是這充滿使命感的熱情，使本書不僅是一本傳記，同時也見證瞭哥德爾與愛因斯坦對當代科學潮流所成就的劃時代發現。

作者簡介

帕利．尤格拉（Palle Yourgrau）

齣生於南非的約翰尼斯堡，八歲時前往美國。
畢業於康乃爾大學，之後取得加州大學洛杉磯分校（UCLA）的博士學位。
主要的研究興趣為德國邏輯學傢佛雷格（Frede）與奧地利數學傢哥德爾。

　　他於1999年齣版的專題著作《當哥德爾遇見愛因斯坦：哥德爾宇宙中的時光旅行》（Godel Meets Einstein : Time Travel in the Godel Universe）探索瞭哥德爾的宇宙論在哲學上的重要性，也讓哥德爾的時間與相對論觀點再度引發熱潮。
　　目前為美國布蘭戴斯大學（Brandeis University）哲學係的助理教授，現居麻薩諸塞州。

譯者簡介

尤斯德

　　一個希望能傳播知識的人。

　　譯有《數學讓腦袋變靈光》（商周齣版，2005）。

馬自恆

　　現任中央研究院資訊科學研究所副研究員。

　　畢業於國立颱灣大學資訊工程學係學士、美國範德堡大學（Vanderbilt University ）計算機科學博士。

　　研究興趣為計算方法設計、圖論、圖論演算法、半序。

齣版緣起 開創科學新視野 何飛鵬
導讀 天纔的另一個世界 馬自恆

第一章 沉默的共謀
第二章 德國人對形上學的偏好
第三章 維也納：邏輯學派
第四章 邏輯之屋裏的間諜
第五章 魂縈夢係維也納
第六章 置身精靈之中
第七章 大T和小t的醜聞
第八章 眾神的黃昏
第九章 哥德爾是哲學傢？

導讀

天纔的另一個世界
馬自恆

　　二十世紀初的三十年間，科學界發生瞭一串驚天動地的發現：愛因斯坦的相對論打破瞭人類幾韆年來對所堅信的時間與空的認知；海森堡的測不準原理與量子力學的發展，粉碎瞭真實世界的基礎。正當人們將最後希望放在數學與邏輯這個由人類創建齣的理性架構上，哥德爾的不完備定理一把火將一切希望燒得一乾二淨。

　　在這期間，科學傢們已手忙腳亂。而身為人類心靈導師的哲學傢們，更是因為一切確定性的失落而絞盡腦汁，希望至少能將形而上學的教條和真實世界的一絲連結維係住。那是個屬於天纔的年代，天纔們昂首嚮造物主嗆聲。將祂深藏於平凡麵貌之下的祕密一一掘齣。

　　今年是哥德爾百歲冥誕紀念。《時代周刊》在上世紀結束時選齣二十世紀最具影響力的科學傢與思想傢，其中包括書中主角愛因斯坦、哥德爾、塗林與維根斯坦。在本書中，可以看齣這些巨人如何碰撞齣智慧的火花照亮那個時代（同時也解釋瞭羅素與馮諾曼等人的光芒為何相對失色）。

◎哲學傢眼中的哲學傢

　　這本書以哥德爾的生平為主軸，詳細地描述瞭這位巨人的生活經曆與思想。同時也導入瞭數學、物理與哲學的時代思潮，並分析瞭不完備定理所造成的影響。但本書與許多有關哥德爾的書籍最大的不同，在於作者以哥爾德提齣的宇宙模型為中心，深入探討哥德爾在哲學的嘗試與貢獻。作者尤格拉本身是一位哲學傢（或者依他自己的說法，稱他為哲學教授較準確），毫無疑問地也是一位哥德爾的仰慕者。他以為曆史翻案的態度，在書中嚮「學院派」主流哲學社群提齣不平之鳴，主張哥德爾在哲學上的成就被惡意忽視瞭。正是這充滿使命感的熱情，使本書不僅隻是一本傳記，同時也是兩位哲學傢情誼超越時空的見證。

　　許多人（包括我）或許認為作者某些見解不夠客觀，甚至有人會覺得書中對學術界最終的審判過於情緒化。但無可否認地，透過尖銳的質疑，作者讓讀者能夠更深刻地體會哲學價值與標準，以及哲學傢對這些價值的熱切與執著。比起類似主題的作品，這本書相當艱深。作者探討瞭許多相當深入的哲學概念與辯證過程。主要目的在於鋪陳最終章節的論證基礎；讀者或者可以體會他的苦心。

　　哥德爾的故事往往難免帶些悲劇色彩結束：老友凋淩、缺乏學術成就（哥德爾的問題在於他不願輕易發錶）、身體與精神的病態（以相當沒有尊嚴的麵貌呈現）。但本書最後卻是由作者捍衛哥德爾的滔滔雄論帶上高潮，這樣的收尾相信可以使讀者感到一絲寬慰。

◎形式數學與實證主義的時代思潮

　　書的前半段一方麵敘述瞭實證主義的起源與茁壯，另一方麵介紹瞭數學界經過發覺平行公設獨立於歐氏幾何之外的震撼，以及康托對無限提齣的嶄新觀點之後，形式主義與集閤論的發展，夾雜著各種企圖重建數學基礎的爭論。正當哲學傢與數學傢爭論不休的同時，愛因斯坦的相對論與量子力學的快速進展一方麵打亂瞭哲學傢的世界觀，另一方麵卻以數學為工具發掘齣令人驚嘆的物理真理，使得數學傢之間雖然意見不一，但對數學的信心大增，因此對數學本質的探討也就愈發迫切。這樣的背景，激發齣實證主義的思潮，另一方麵，也促使希爾伯特緻力推動形式係統，希望將數學以最明確的方式呈現。而弗雷格與羅素企望以集閤論將數學和邏輯接軌。

　　形式主義也好，集閤論也罷，它們是數學傢試圖建立數學規範所做的努力。它們可被視為「後設數學」 ，但要將其上綱到哲學層次再加以批判就有欠公平。實證論也類似，雖然它毫無疑問地是哲學的一支，但與其說它試圖像其他哲學派彆提供一個世界觀，倒不如說它為瞭防止哲學思想遭濫用而提齣嚴謹的科學方法，扮演哲學警察的角色。它提齣「可被證僞」的標準至今都還是捍衛科學淨土的利器。前一陣子有人高價販賣「能量水」，宣稱它有神奇功效，但它的「能量」卻無法以現代任何科學儀器測齣。在「磁場」、「能量」充斥的颱灣社會，實證論有極大的發展空間。

◎不完備定理的哲學思想

　　本書後半段大部分是探討在哥德爾的不完備定理發錶之後所引發的哲學效應。不像是「相對論」與「測不準原理」時常被不相乾的人放在莫名其妙的論證中，「不完備定理」確實有廣泛的哲學意涵。任何係統隻要無法確定自我指涉能被排除，就可能不完備。不完備定理推演齣的各式各樣解讀方式中，有爭議性低的，如塗林的停機定理，可以讓我們瞭解要保證一個龐大軟體沒有漏洞，幾乎是不可能苛求。這有某些正麵的意義，至少對軟體業者而言，他們可以堂而皇之地在使用者協定中加入不為軟體造成損害負責的條款（當使用者選擇迴答「我願意」後，就該有自求多福的心理準備）。

　　哥德爾認為法律係統不可能完備，因為立法規則本身就是法律。他也試圖以人腦與機械計算工具之異同，論證唯物論難以成立。接下來，內格爾（Ernest Nagel）與紐曼（James Newman）、哈夫斯塔德（Douglas Hofstadter）、彭羅斯（Roger Penrose）等人也在這個主題上反覆辯論。可以確定的是，短期內難有共識。霍金也引用不完備定理，論證宇宙可能不存在終極定理（特彆指的是弦論）。

◎不完備定理的證明

　　書中有關哥德爾不完備定理的證明有些復雜。如果一時看不懂也不必氣餒，畢竟當中國第一位引進西方現代邏輯學的導師金嶽霖先生聽到哥德爾大名時錶示想買本書看看，「他的學生瀋有鼎對金先生說︰『老實說，您看不懂的。』金先生聽瞭先是『哦哦！』兩聲，然後說：『那就算瞭。』」 這個七十年前的故事雖然透露一些不完備定理在當時是對智識的嚴格考驗（迴頭看來，除瞭馮諾曼，沒人能第一眼就充分瞭解定理意涵，即便哥德爾本人也未能完全掌握），但另一方麵，經過瞭學者長期努力將證明簡化，這問題並不那麼高不可攀。我們就先提齣個比手劃腳式的證明，試著給讀者墊墊肚子。

　　考慮兩個問題，第一個是有名的「騙子悖論」，也就是當一個人說「我現在正在說謊」時，這句話是真是假？第二個問題是，假設你弄到一張好玩的光碟，裏頭有個程式，你在電腦中執行它，它會要求你隨便輸入一個句子，然後說齣一段有趣的故事。玩著玩著，某一次你輸入瞭一句話，電腦卻沒反應。到底是該一直等下去，還是可以判定程式永不會終止？這個問題也就是現代電腦創造者塗林所解答的著名的「停機問題」。

　　騙子悖論的標準答案是「無法判定」，理由是它經由「自我指涉」故意製造瞭矛盾。是否說謊這迴事要根據一句話來判定，而「我現在正在說謊」正是一句話，一個包含本身概念的定義（自我指涉）無法被分析。 類似這樣的詭論不勝枚舉。人們不斷試圖繞過這障礙，直到羅素針對集閤論提齣他的悖論後，大傢纔終於知道自我指涉無法剋服，隻能避開。於是羅素與懷海德就寫瞭一部大作，嚴格規定齣算術係統的架構，剔除自我指涉。但哥德爾就是中規中矩地依循這個架構，製造齣一個新的悖論。換言之，羅素找到瞭禍根，而哥德爾證明禍根既無法被消滅也躲不掉。

　　我們用停機問題作為不完備定理的替身，試著體會哥德爾證明的精髓。粗淺地說，塗林證明瞭停機問題不可解的技巧與哥德爾解不完備定理相同。拜電腦普及之賜，我們可以去除一些繁瑣細節（但當年塗林可沒有任何實際電的腦操作經驗，他憑的是自己腦中想像的電腦而做到的。而且他既不懂什麼是電腦中的檔案，更沒見過光碟。他用的證明技巧和哥德爾一樣，來自康托偉大的「對角綫證明法」）。迴到前麵的光碟。假使張天師宣稱他寫瞭個程式H，能夠判定一個程式針對某種輸入是否會停止，隻要我們將程式及輸入分彆建立在一張光碟中的「程式」與「輸入」兩個檔案中，放進他的電腦，H就會顯示「停」或「不停」的答案。「輸入」檔中可以存任何資料，或許本身也是個程式。那麼我們也可以要求他將Ｈ稍做修改，當「輸入」是個程式而且以本身，也就是「輸入」檔為輸入做齣判定為「停」時，故意讓程式原地空轉，否則就讓它停止。我們稱這個奇怪的程式為Q。再將Q當成資料燒進一張光碟，「程式」檔中存一份，「輸入」檔中也存一份。把這張光碟交給張天師，看H會做齣什麼判定。如果判定為「停」，錶示以Q為程式同時Q也是輸入時程式會停，但根據Q的定義，它錶示H在麵對「輸入」（這時是Q）是程式，而且以自身為輸入時不會停！這裏産生瞭矛盾。而當H判定不停時，Q以Q為輸入又必須停！又矛盾。

　　如果讀者覺得這個證明看來怪怪的，不必原地空轉。完全看懂它是權利不是義務。它有點像是將「甲、乙兩人，甲說乙從沒一句實話，乙說甲從沒一句謊話」這樣的悖論，實實在在地用可被電腦執行的程式寫齣來。最關鍵的地方在於「程式本身就是資料」！對於今日使用過電腦的人們，這是個很容易被接受的事實，但在塗林的時代，這是劃時代的概念。中研院院土劉炯朗教授曾多次和我們這些（相對來說）年輕的朋友談論現代電腦發展過程中偉大的創見，名列榜首的永遠是「將程式當資料貯存」的概念。塗林被尊為現代計算機之父的最主要原因之一，也正是因為這概念已經隱含在他所發明的塗林機之中。否則嚴格地說，現代計算機的藍圖來自存在已久的機械式計算器，而非塗林機這個數學模型。

　　哥德爾為瞭達到相同的目的就更加辛苦瞭。他的工作並未引入瞭萬用計算機的概念（當時也沒有這個概念），把羅素與懷海德書中算術係統的邏輯式子編成數字，而利用數字本身就是邏輯運算的單元製造齣矛盾。由於停機問題將不完備定理以最具體的方式呈現齣，因此哥德爾看到瞭塗林對停機問題的證明時十分振奮，而對於另一位邏輯學傢邱奇提齣抽象數學的等價理論相對地冷漠。

◎完美的人隻存在於童話世界

　　書中作者對天文學大師霍金針對哥德爾宇宙提齣的「時序保護假說」說法頗有微詞。但他或許誤解瞭霍金的本意。著名邏輯學傢戴維斯（Martin Davis）談到哥德爾宇宙時說︰「很自然地，這種世界經不起科幻小說中常見時光旅行的考驗︰比方說，一個人是否有可能迴到過去，把自己年幼時的祖父母殺瞭？哥德爾齣人意錶地提齣瞭非哲學的解答，指齣因為所需燃料太多，所以這種旅行不可行。」 霍金提齣時序保護假說是為瞭避免時光旅行所可能産生因果錯亂的悖論，並非隻針對哥德爾的宇宙。它先封殺瞭矛盾發生的可能，畢竟因果律是最基本的邏輯規律。如果因果律都靠不住，我們又如何有把握推導齣這種結論的過程中所用到的邏輯是可靠的？

　　本書作者尤格拉在以哥德爾使徒的角色捍衛其哲學成就的奮戰中，或許忽略瞭某些細節。現實世界對於心智敏銳的人而言，其荒繆的程度並不下於童話世界（或者說卡夫卡的世界）。哥德爾認為童話世界比真實世界更確切，或許這就是他在生活上與思想上，都傾嚮選擇將他的世界建立在自我設定的一組律法之上。書中羅提（Richard Rorty）對柏拉圖的貼切評語也適用於哥德爾︰「我們仍然努力地試圖分辨齣什麼是認真的話，什麼隻是笑話。」或許是對哥德爾哲學主張較持平的看法。

　　科學與哲學是亦敵亦友的兩個領域。哲學的品味（即使有時是病態的）有助於加深追尋特定科學目標的信念。但如愛因斯坦明白地指齣，科學傢應該是哲學的機會主義者。他在一九○五年發錶的狹義相對論，將時空限定於特定條件下的測量值，是實證主義者從天下掉下的禮物。而同一年發現的布朗運動機製，又是對不願接受原子模型的極端實證主義者的一記重拳。愛因斯坦本人不但示範瞭如何做一名成功的機會主義者，也提供瞭一項負麵教材——他的實在論觀點使他在麵對新興的量子力學上的判斷一敗塗地。不僅他對上帝丟骰子嗜好的判斷失瞭準頭，最後與兩位同事共同提齣的愛波羅詭論（EPR Paradox），給不願意碰觸「實在界」問題的哥本哈根學派丟下個大難題。沒想到在貝爾（John Bell）指齣驗證的可能性後，實驗結果再次將勝利的果實送給量子力學。愛因斯坦不單招來庸人自擾之譏，連光速不可超越的理論都受瞭一場虛驚。愛因斯坦畢竟還是栽在哥本哈根學派這極端投機主義者的手中。

　　哥德爾似乎從未成為投機主義者，他的不完備定理本身便具有強烈的哲學意涵，也是他在不疑處有疑的人格特質極緻的發揮。從一組條件或是公設中顛覆齣令人意外的結果，似乎是他與試圖將他歸為心智異常（神經病的較含蓄說法）的平凡世界無言的競賽。隻要有一名觀眾衷心為他喝采，他就不算失敗；尤格拉就是這名觀眾。這名觀眾最終也忘我地投入，從一組檢驗哲學傢的標準齣發，企圖顛覆齣與學院派哲學相悖的結論——哥德爾是一位不摺不扣的哲學傢。

（本文作者為中央研究院資訊科學研究所副研究員）

第一章� 沉默的共謀

「哥德爾是同儕中唯一可以和愛因斯坦平起平坐之人。」�
——物理學傢戴森（Freeman Dyson）

在一九四二年的夏天，當德國潛艇（U-boats）如狼群般在緬因州的海岸潛行時，一個孤獨的身影齣現在名為藍丘（Blue Hill）的海邊小鎮。他的手如學究般背在身麵，身體像個逗點似地佝僂著，雙眼凝視著地麵，在子夜沿著海岸無止境地漫遊著，小鎮的居民因此感到緊張。與這人打過照麵的，都被他深鎖的眉頭以及濃重的德國口音所驚嚇，「他是負責打暗號給潛艦的德國間諜」這樣的推測於是開始流傳。這個深膚色的陌生人不是間諜，他是哥德爾，史上最偉大的邏輯學傢，也是過去韆年來知識領域的明燈。然而，他的獵物並不是航嚮英國的美國船艦，而是所謂的「連續統假設」（continuum hypothesis），也就是數學傢康托（Cantor）對數綫上的點的數目所做的猜測。哥德爾與妻子愛黛（Adele）在藍丘旅店度過那個暑假，但幾乎沒有旅客看見過他們兩人。他們為自己準備晚餐，卻從沒有人看見他們到底吃瞭沒有。對當地居民來說，哥德爾深鎖的眉頭不經意地流露齣其深瀋的性情，但旅店老闆娘卻有不同看法，她認為他隻是失瞭神。而哥德爾對於藍丘最後的隻字片語也無法解開這個疑問——他寫瞭封信指控旅店老闆娘偷瞭他大皮箱的鑰匙。

到瞭鞦天，哥德爾迴到距離藍丘相當遙遠、位於新澤西州普林斯頓鎮的高等研究院（Institute for Advanced Study）。在那裏，他不會再因為踽踽獨行而引起側目。他有個散步的同伴，此人是他的同事也是最好的朋友。哥德爾的名聲不會給令他同伴覺得有壓力，因為這個喜歡數學，也同樣是個說德文的難民的好友，就是鼎鼎大名的愛因斯坦，而愛因斯坦本人的沉思踱步，也早就讓普林斯頓的居民感到不耐煩。