本書不是一本普通的漫畫書,
它是一場追求真理的冒險,
一場由數學邏輯專家為主角的冒險!
史上唯一,以「漫畫小說」方式,讓你輕鬆掌握「邏輯密碼」
本書主角伯特蘭.羅素為二十世紀有影響力的哲學家、數學家和邏輯學家,於一九五○年獲得諾貝爾文學獎。
一個關於瘋狂、理性、愛情與戰爭的精采故事
這部創新的圖畫小說是以偉大的哲學家伯特蘭‧羅素的前半生為基礎,描述他如何熱烈地追求真理。羅素一方面受家族秘密所困擾、另一方面因為年少輕狂、壓抑不住心中的好奇,因此決心追尋一個遠大目標:為數學建立邏輯基礎。
羅素苦尋絕對真理期間,遇到了不少知名思想家,包括高特洛伯‧弗雷格、大衛‧希爾伯特和庫爾特‧哥德爾,並且收了一位熱情、偉大的學生,路德維希‧維根斯坦。可是,他一直擺脫不了追求基礎的目標。羅素一路上經歷愛情、仇恨、和平與戰爭,堅持不懈地追求他的使命,還賭上了事業和個人幸福,最後瀕臨瘋狂邊緣。
《數學邏輯奇幻之旅》不但是一本歷史小說,還用淺顯易懂的方式,介紹了最偉大的數學和當代哲學思想。本書有豐富的人物描述、加上生動高超的藝術表現,將理想的追求交織出令人著迷的故事。
本書透過追根尋底、巧妙地層層堆疊,表露出羅素內心的掙扎、以及他是如何窮其一生尋找問題的答案。在本質上,《數學邏輯奇幻之旅》可以說是理想中的理性、以及不完美的不變現實互相衝突矛盾的故事。
作者簡介:
作者:
阿波斯托羅斯‧杜克西阿迪斯 Apostolos Doxiadis
哥倫比亞大學數學系畢業。他的國際暢銷書《遇見哥德巴赫猜想》(Uncle Petros & Goldbach's Conjecture) 是首部以數學為題材的精采小說。阿波斯托羅斯在電影和戲劇上獲獎無數,也是研究數學與敘事相互作用的先驅。
克里斯托斯‧帕帕迪米崔歐 Christos H. Papadimitriou
加州大學柏克萊分校電腦系教授。他在計算複雜度和賽局演算法的開創性研究成果,讓他獲得無數國際獎項。克里斯托斯著有《杜寧:一本關於計算的小說》(Turing: A Novel About Computation)。
繪圖:
阿雷卡斯‧帕帕達托斯 Alecos Papadatos
在法國和希臘的動畫電影界有二十多年的經驗。西元一九九七年,他開始在希臘報紙《To Vima》連載漫畫。他目前與妻子和兩名子女定居雅典。
安妮‧迪唐娜 Annie Di Donna
曾在法國攻讀平面藝術和繪畫,先後在巴巴爾 (Babar) 和丁丁 (Tintin) 等卡通製作公司擔任繪製人員。西元一九九一年起,她開始和他的丈夫,阿雷卡斯‧怕怕達托斯經營動畫工作室。
譯者簡介:
劉復苓
美國明尼蘇達大學新聞暨大眾傳播研究所碩士。曾任公關公司專案經理與報社記者,現為專職譯者。譯作甚豐,曾獲經濟部金書獎與政大科管百大Top 10等殊榮。個人部落格:「Clare的文字譯站」(http://tw.myblog.yahoo.com/clare-liu)
各界推薦
名人推薦:
推薦
國立台灣師範大學附屬高級中學數學科教師 王啟光
台北市立麗山高級中學數學科教師 洪明譽
台北市立松山高級中學歷史科教師 張莉莉
推薦序
數學邏輯奇幻之旅推薦文
闔上書,腦中仍然感受到理性與直覺在爭論不休,久久未已;對於大師羅素的景仰之情,也更加深刻。
這本書,裡面沒有一堆稀奇古怪的邏輯符號而成為數學邏輯教科書,也不是講述這些人的生平故事等等的歷史典籍,作者帶領我們回到過去,「讓大師羅素自己來說」,去認識那些他曾經歷過的事情,那些引發他思考問題的源由,以及在追求這些問題的答案 (或是說真理) 時,所遇到的困境,尤其是心理上的描述,可以讓讀者了解到,必有堅強的意志,才能面對想要揭開真理所帶來的孤獨無助。
我們不必有很多的邏輯知識,就可以看懂此書,因為我們在日常生活中,一直處於接受「直覺、情感和習慣」。但是數學家或是邏輯學家卻不一定如此,舉個有名的「蘇格蘭黑羊」的笑話:
三個科學家到蘇格蘭看到一隻黑羊,天文學家說:蘇格蘭的羊是黑的!
物理學家說:不,只知道有些蘇格蘭的羊是黑的。
邏輯學家說:準確的來說,我們只確定在蘇格蘭至少有個地方,至少有隻羊,它的其中一邊是黑色的。
或許這是在調侃邏輯學家,但是若是仔細審視這三個結論,拋去所有的直覺、情感和習慣,你就覺得邏輯學家說的才是可信的。
但要拋棄直覺,得付出相當代價,但是可能得到更多。作者提出歐基里德的第五公設問題,在拋棄直覺後,卻發展出更多更寬廣的道路,也就是非歐幾何的出現,給幾何學添加了新的生命。
羅素提出的「理髮師悖論」,是個非常重要的問題;我們可以從書中看到大師是如何被困在自己的問題之中,以及他用了多少心智與精神的力量在對抗這個問題。我想,這是我們在做學問的時候,一定會經歷過的心路歷程,作者完整的表現出來,能激起心中的共鳴。
最後,作者運用一齣戲劇──奧瑞斯提亞,來進行中場休息以及最後的結局,讓人在閱讀的時候,能夠有個喘息的機會與現狀對照,真是巧妙至極!
國立台灣師範大學附屬高級中學數學科教師 王啟光
推薦序
獲知真理的喜悅
在知識的殿堂裡,探索的過程往往極其艱辛與枯燥。與哥白尼的繞日說、牛頓的萬有引力等等大家所耳熟能詳的故事相比起來,羅素的數學邏輯不是教科書中的主流,學生們多半不認識羅素,但它的悖論所引發的數學危機,卻推動著數學理論的進一步發展與繁榮。
年少時讀了這些名人偉人的傳記,總不免艷羨他們的成就,幻想著自己終有成為名人偉人的一天;隨著教書經驗漸長才讓我認真地思考著兩個問題:其一、在什麼情境下,促使這些偉大的學者對真理的觸發?其二、是什麼力量驅使著他們從事這麼艱辛與枯燥的探索?前者是一個必然之下的偶然,是累積了很多能量之後的爆發,而後者是一個感動的力量,教他無怨無悔、歡喜做又甘願受。
我在教學的現場最常遇到的一種狀況,就是學生因考試成績不盡理想而喪失信心,老師爲了鼓勵學生,就把題目弄得更簡單或是改成容易猜對的選擇題,結果粉飾出一個師生都能接受的好成績。這是個很嚴重的現象,表示學生沒有學到知識的內涵,而唯一能肯定他的分數失去了,自信心也跟著崩盤;老師飲鴆止渴的教學方式並沒有啟發學生,只是堆砌一些得分要領。細數國內的諸多升學考試何嘗不是如此,真可謂「教得只剩下分數」。
在此誠摯推薦這本書給廣大的莘莘學子。本書中羅素曾多次提到歐幾里德的幾何學帶給他的震撼與鼓舞,那是個從假設、已知推論至結果的一連串驗證過程。獲知真理的喜悅與成就感,遠超過物質生活上的滿足,因此撫平了內心的困厄與矛盾。日後的研究中所遭遇的種種挫折,與其說是被他的恆心與毅力所克服,倒不如說是那個感動的力量驅使著他沉浸其中、執迷不悔。當你為著考試成績不理想而感到挫折時,也應換個心情想一想:我是否學到知識的內涵?它怎沒感動我?
台北市立麗山高級中學數學科教師 洪明譽
媒體推薦:
紐約時報圖像小說銷售排行第一名
華盛頓郵報二○○九年最佳圖書
時代雜誌二○○九年非文學類十大好書
二○○九年出版人周刊年度百大好書
「《數學邏輯奇幻之旅》原創性極高,生動地結合了神話、數學、戲劇和二十世紀的哲學大師。」
──波西‧塞蒙德斯 (Posy Simmonds,英國著名漫畫家)
「這是一本非常特別的圖畫小說,大膽無畏地描繪上個世紀最偉大的哲學家之一,伯特蘭‧羅素的生平和思想。本書無論在知識或藝術上,都創下難得一見的成就,我相信它能引導讀者探索他們一向視為禁忌的知識領域。」
──霍華德‧津恩 (Howard Zinn,美國歷史學家)
「這本佳作是關於思想、熱情、瘋狂、以及在明確原則與廣泛利益之間的激烈掙扎。它描述幾位偉大的數學家──羅素、懷德海、弗雷格、康托、希爾伯特──極力為數學建立精確、一致和完整基礎的痛苦過程。我們也能清楚看到這一群藝術家和研究人員──還有那隻喜歡搜尋的狗,酷哥──是如何創造本書內容,並且一起加入美好的敘述當中。」
──巴瑞‧馬蘇兒 (Barry Mazur),哈佛大學的傑爾哈德‧蓋德榮譽教授(Gerhard Gade University Professor),著有《想像數字》一書
「思想的本體 (以及想出這些思想的人) 居然也能像超級英雄的冒險事蹟一樣精采、不可預料。《數學邏輯奇幻之旅》內容詼諧、有魅力、時髦、引人目光、而且充滿驚奇的聲音效果,是獨樹一格的傑作。」
──邁可‧哈利斯 (Michael Harris),巴黎第七大學數學教授,法國大學協會成員
「阿波斯托羅斯‧杜克西阿迪斯吸引人的對白以及阿雷卡斯‧帕帕達托斯簡單卻吸引人的繪圖讓故事生動又活潑。」──《時代雜誌》
「這本書是一個偉大的成就。」──《獨立報》
「既充滿知識又耐人尋味。」──《出版人周刊》
「《數學邏輯奇幻之旅》不但融合了邏輯和熱情,且蘊含了實證和層層的意義。」──《泰晤士報》
「豐富多彩且處處充滿驚喜。」──《金融時報》
「這本卓越非凡的漫畫書著重在伯特蘭‧羅素的人生和哲理,是一本很正經的書。」
──《舊金山紀事報》
「闡述了一個驚人又生動的故事。」──《村聲周報》
名人推薦:推薦
國立台灣師範大學附屬高級中學數學科教師 王啟光
台北市立麗山高級中學數學科教師 洪明譽
台北市立松山高級中學歷史科教師 張莉莉
推薦序
數學邏輯奇幻之旅推薦文
闔上書,腦中仍然感受到理性與直覺在爭論不休,久久未已;對於大師羅素的景仰之情,也更加深刻。
這本書,裡面沒有一堆稀奇古怪的邏輯符號而成為數學邏輯教科書,也不是講述這些人的生平故事等等的歷史典籍,作者帶領我們回到過去,「讓大師羅素自己來說」,去認識那些他曾經歷過的事情,那些引發他思考問題的源由,以及在追求這些問題的答案 (或...
章節試閱
數學邏輯與現實
本書的構想來自於探尋數學基礎的故事,背景主要是十九世紀末、二次世界大戰爆發期間。不過,雖然故事中的人物多半確有其人,但我們的書絕對不是──也不想成為──歷史典籍。它是──希望是──一本圖像小說。
其中,我們為了重現伯特蘭‧羅素的一生,特別蒐集了龐大的資料,從中選擇、刪減、簡化、解釋、甚至還常常自創。另外,儘管我們儘可能地讓幾位主角的遭遇貼近事實,但為了讓故事敘述更連貫、深入,我們偶爾會偏離實際情況。這些自創內容都是我們在毫無歷史證據的情況下──或者,有時甚至有史料證明它們子虛烏有──腦力激盪而來。不過,這些腦力激盪多半是由一群思想家實際透過通信或文章發表、進行智性的互動而產生。
書中非事實的內容包括:從既有證據、或缺乏相關證據來看,我們可以合理的假設羅素從來沒有見過弗雷格或康托爾本人;也無證據顯示他出席了希爾伯特1900年的「數學的問題」演說,不過在演說幾天前,他本人的確在巴黎參加世界哲學大會,還見到了皮亞諾;沒有證據證明他是否前去聆聽高第的「不完備定理」演說──他可能沒去、希爾伯特當然也沒去,但是范紐曼倒是去了,會後也確實說了「都結束了」。此外,羅素不可能在這場演講後還去拜訪希爾伯特,因為後者當時已經死了六年了。雖然本書提到弗雷格嚴厲的反猶太評論時間點不符合事實,但他的確在幾年以前寫了這些誹謗文字。
熟知歷史的讀者不妨再找找看還有哪些不符事實的內容。至於我們,畫家席歐托可波羅斯(以葛雷哥之名廣為人知)說明他在畫作「托萊多城暴風雨」中所呈現的自由意義時,讓我們找到了慰藉:
我發現有必要縮小唐璜塔維拉醫院的比例,因為它遮住了比薩格拉的大門,而且,它的圓屋頂也太高了,超過城市的天際線。由於我把它變小、還把它移開,所以最好畫它的正面、而不是其他角度。若想知道它在城市裡的正確位置,看地圖就行了。
不過,我們必須補充一點:雖然我們為了方便敘述、而做出必要簡化,但我們絕對沒有擅自捏造主要情節中的思想大冒險,至於故事的中心遠景、概念──甚至更重要的──與它不可分割的哲學、存在和情感掙扎,我們也都嚴謹以待。
Russell,Bertrand(伯特蘭‧羅素) 羅素出生於1872年,全名是伯特蘭‧亞瑟‧威廉,三世羅素伯爵,承襲貴族稱謂,他的祖父是重要的政治家約翰‧羅素勳爵,羅素後來也繼承了祖父的頭銜。羅素四歲時,父母雙亡,於是由祖父母照顧,兩年後,祖父去世後,便由祖母,羅素夫人,獨立扶養。他在該家族位於倫敦西區、里奇蒙公園裡的朋布洛克莊園長大。羅素現在最為眾人所知的,應該是他在哲學闡述方面的研究。他在1945年出版的《西方哲學史》(History of Western Philosophy)至今仍是經典,而且用淺顯的內容表達複雜的理念,很有可讀性。他後來成為和平和反核行動主義者,讓他舉世聞名,不過,他最偉大的貢獻還是數學邏輯學,也讓他與亞里斯多德、布爾、弗雷格和哥德爾等史上最偉大的邏輯學家齊名。儘管羅素在建立科學邏輯方面有卓越貢獻、直接啟發哥德爾的偉大發現、也間接影響維也納學圈的「科學世界觀」和邏輯樂觀主義與邏輯實證主義等哲學,但是,他和阿弗瑞德‧懷德海合著《數學原理》之後,他的邏輯研究之路就已告終。羅素認為《數學原理》徹底失敗,因為它未能符合他本人──以及其他邏輯學家──的遠大志向,在邏輯學上建立紮實的數學基礎。羅素結婚四次,子女共三人。他的長子約翰、以及約翰的女兒都被診斷出精神分裂症,而後者還自殺身亡。這很可能是因為羅素家族有精神病的基因,羅素的叔叔威廉和嬸嬸阿格莎也都有精神疾病。羅素晚年致力於抗爭核子武器,成為和平主義的象徵人物。他死於1970年。
Russell’s Paradox(羅素悖論) 1901年,羅素正在為數學基礎撰寫他的第一本書,《數學原理》(Principles of Mathematics,1903年出版)時,發現了這項悖論,而康托從巴爾扎諾「一群擁用相同特性的元素」這個簡單的觀念所發展出的集合論,也因為這項悖論而出現瑕疵。弗雷格將集合論用在邏輯學中,若依照它的定義,我們可以說「集合的集合」,最後會變成「所有集合的集合」。這種涵蓋全部的集合,在定義上應該也包括自己。因此,舉例來說,所有集合的集合是一種集合(因此也包括它自己),一份表單上的所有項目也是這樣的集合(它本身也要是表單上的一個項目),可是,所有包含數字的集合本身卻不是一個數字,因此自己並未包含在內。若按照這樣的特性,我們也可以提出「不包含它們自己的所有集合的集合」,然後像羅素年輕時一樣,問道:「該集合到底有沒有包含它自己?」看看結果:如果它包含它自己,則它就是不包含自己的集合之一(因為這是該集合元素的特性),因此就不能包含自己。可是,如果它不包含它自己,那麼它就不具有不包含自己的特性,因此就包含自己。這種情況假設某事有相反的意思,就是一種悖論。當理論中出現悖論,像羅素悖論一樣,就表示理論的基本前提、定義或公理有缺失。雖然從歷史來看,羅素悖論完全來自於集合論,但羅素本人後來卻認為它和自我指涉有關。自我指涉就是提及自己的陳述,像是歐布里德所說的:「我現在要對你們說謊。」
數學邏輯與現實
本書的構想來自於探尋數學基礎的故事,背景主要是十九世紀末、二次世界大戰爆發期間。不過,雖然故事中的人物多半確有其人,但我們的書絕對不是──也不想成為──歷史典籍。它是──希望是──一本圖像小說。
其中,我們為了重現伯特蘭‧羅素的一生,特別蒐集了龐大的資料,從中選擇、刪減、簡化、解釋、甚至還常常自創。另外,儘管我們儘可能地讓幾位主角的遭遇貼近事實,但為了讓故事敘述更連貫、深入,我們偶爾會偏離實際情況。這些自創內容都是我們在毫無歷史證據的情況下──或者,有時甚至有史料證明它們子虛烏有─...
推薦序
導讀序
羅素的故事─數學的邏輯、創新與實用之旅
本書藉由邏輯學家伯特蘭‧羅素 (Bertrand Russel) 的生平來介紹邏輯。邏輯是用來區分數學和其他學門最重要的特質,一個數學理論重要與否雖然也取決於它的創新性與實用性,但是如果它過不了邏輯這一關,根本就站不住腳。
現代數學的邏輯基礎在古希臘時代便已奠定,尤其歐幾里德 (Euclid) 的《幾何原本》(Elements) 是扛鼎之作,這樣的傳統在東方文化中似乎並不存在。即使如此,西方也要等到十七世紀艾薩克‧牛頓 (Issac Newton) 和戈特弗里德‧威廉‧萊布尼茲 (Gottfried Wilhelm von Leibniz) 發明微積分之後,才有了進一步的突破,此後的兩百多年間,數學的發展與實證相佐,有如大江大海一般,創造了人類有文明以來最蓬勃的時期,然而就在同時,有識之士體認希臘邏輯的不足,許多最根本的問題,諸如幾何公理化、極限中無窮大的概念,是建立在相當薄弱的基礎上 [書中用「腐敗的基礎」(rotten foundation) 來形容]。這些問題要等到十九世紀末如喬治‧康托爾 (Georg Cantor) 等數學家來重新檢視,羅素便是這個世代的代表人物之一。經由這些人的努力,數學才得以在二十世紀更創高峰。那個世代的遺產已經成為現代數學家的必備訓練,任何修過高等微積分的數學系學生都可以告訴你這是一段多麼枯燥的過程,尤其許多證明是「反直覺」的,經常必須強迫自己將思考程序顛覆,因為只有這樣,才能給出真正完備而嚴格的論述,但正如書中提到,這是「沒有什麼魅力,但卻極為重要」(not glamorous but crucial) 的工作。
書中由此牽引出與羅素同時期的兩大數學家,大衛‧希爾柏特 (David Hilbert) 和朱爾斯‧亨利‧彭加勒 (Jules Henri Poincare) 分屬「嚴格派」(rigor) 和「直觀派」(intuition) 的大辯論,時至今日,似乎絕大部分數學家都會同意兩者同是產生好數學的要件,一個數學家必須接受嚴格的邏輯訓練,讓邏輯自然的融入思考的底層,最終能自發地不受邏輯的約束而運用良好的直觀和洞察力,有點「隨心所欲不踰矩」的境界。
這本傳記處理了一些學術性的話題,諸如套套邏輯 (tautology) 和羅素悖論 (Russell’s paradox) 等,讓讀者能較深刻地了解羅素這個邏輯學家,但除此之外,它同時觸及了羅素的其他面相,譬如哲學家羅素,或者社會運動家羅素等面向,我們看到一個邏輯學家人性化的一面,看到他的掙扎和軟弱,看到他曾犯錯、曾放棄,對於年輕的讀者來說,這樣的書長遠來看應該會比經過美化的勵志書籍更能造成深刻的印象。
最後我想以數學家的身分替邏輯講幾句話,現在台灣以及美國中學生的標準教程似乎已不再包括歐氏幾何作圖題,殊不知這其實是難以取代的邏輯訓練。許多人誤將邏輯思考和死板聯想在一起,恐怕這會扼殺了年輕人的創造力。邏輯中固然有不少的規則,且所有的推論必須完全符合這些規則,但對一個受過訓練的心智而言,卻是無上的解放。因為換個角度看,只要符合這些規則的便是海闊天空、再無思考上的盲點,前面提到十七世紀到十九世紀數學的發展和實證主義有極大的關係,尤其伽利略發明望遠鏡到喀卜勒三大定律是結合實證與數學的極致,但實證主義同樣有其限制。舉例來說,黑洞的觀念一直要到二十世紀中葉才被天文學家接受,但遠在十八世紀的數學家皮耶‧賽門‧拉普拉斯 (Pierre Simon de Laplace) 已經證明了黑洞的存在,在愛因斯坦的廣義相對論提出後沒多久,卡爾‧史瓦西 (Karl Schwarzschild) 便利用常微分方程式的推論找出第一個宇宙時空的黑洞解,史瓦西的發現被應用在全球定位系統 (GPS) 上,但偉大如愛因斯坦,卻始終認為它們不可能發生,因為它與經驗和直觀背離。
近期在日內瓦由歐洲核子研究中心 (CERN) 建造完成了世界上最大的加速器 (Large Hadron Collider, LHC)。其主要目的,在尋找已由數學證實存在的希格斯 (Higgs) 粒子,如果找到了,將是數學抽象推理的又一次勝利。
(本文作者王慕道,美國哈佛大學數學博士,現任美國哥倫比亞大學數學系 教授,二○一○年七月寫於紐約)
導讀序
羅素的故事─數學的邏輯、創新與實用之旅
本書藉由邏輯學家伯特蘭‧羅素 (Bertrand Russel) 的生平來介紹邏輯。邏輯是用來區分數學和其他學門最重要的特質,一個數學理論重要與否雖然也取決於它的創新性與實用性,但是如果它過不了邏輯這一關,根本就站不住腳。
現代數學的邏輯基礎在古希臘時代便已奠定,尤其歐幾里德 (Euclid) 的《幾何原本》(Elements) 是扛鼎之作,這樣的傳統在東方文化中似乎並不存在。即使如此,西方也要等到十七世紀艾薩克‧牛頓 (Issac Newton) 和戈特弗里德‧威廉‧萊布尼茲 (Gottfried Wilhelm von Leibni...
目錄
序幕
第一章 朋布洛克莊園
第二章 大師的弟子
第三章 求知之旅
第四章 悖論
中場休息
第五章 邏輯-哲學大戰
第六章 不完整的系統
完結篇
序幕
第一章 朋布洛克莊園
第二章 大師的弟子
第三章 求知之旅
第四章 悖論
中場休息
第五章 邏輯-哲學大戰
第六章 不完整的系統
完結篇