香港二樓書店 > 數學女孩：哥德爾不完備定理

香港二樓書店 > 今日好書推介

地圖+地圖創意遊戲 (附行旅世界地圖包)

定價650.00元
8 折優惠：HK$520

數學女孩：哥德爾不完備定理

沒有庫存
訂購需時10-14天


			9789866097416
			結城浩/著；王銀國，洪萬生/審訂
			鍾霓
			世茂
			2012年4月27日
			133.00 元
			HK$ 113.05

詳
細
資
料

叢書系列：數學館
規格：平裝 / 400頁 / 14.8*21 cm / 普級 / 單色印刷 / 初版
出版地：台灣

數學館

分
類

自然科普 > 數學 > 概論

同
類
書
推
薦

超實用中學數學概念筆記：從原理＆規則建構公式×方程式×函數×圖形的進階實力！

大自然的數學遊戲

公式之美：23個經典公式，掌握宇宙萬物法則，喚醒你的數學魂

數學謎題大圖鑑：伽利略科學大圖鑑11

【吳軍博士寫給成年人的通識講義套書】（二冊）：《閱讀與寫作通識講義》+《數學通識講義》

其
他
讀
者
也
買

內
容
簡
介

　　最受日本高校生喜愛的青春物語系列最新作!!

　　「數學是不完全的嗎？」
　　不斷地輪轉，不斷地更迭，這個季節。
　　看起來雖然很像，但卻不是單純的迴圈。
　　而是一邊重複一邊往上延伸的──螺旋……
　　我和三個少女，逼近「不完全性定理」的真實，
　　如果是蒂蒂的話，就不會是由梨……
　　魅惑而動人的數學物語。

　　在數學當中，雖然單純卻不明顯的定理或關係，
　　其數量確實多到叫人吃驚。
　　……試想，在某種意義上，數學的這個性質不正好反映了
　　──世界的秩序與規則性。
　　這個世界看起來比只作表面觀察的時候，
　　還來得更偉大，而這種偉大可說是無法比擬的。~哥德爾~

　　隨著季節更迭，每當春天造訪時，我總會不斷地想起數學的種種。

　　在紙上記列著數學符號，試圖描繪出宇宙。
　　在紙上書寫下數學公式，試圖引導出真理。

　　隨著季節更迭，每當春天造訪時，我總會不斷地想起那些女孩們。
　　彼此切磋那些名為數學的詞彙，
　　在名為青春的時光裡，與我所邂逅的豆蔻年華的少女們──
　　我和三位青春少女的動人物語。
　　我之所以得以展翅飛翔，全源於一個渺小的契機……

　　~謹此獻給哥德爾，以及世界上所有的數學家們~

　　「數學是不完全的嗎？」逼近「不完全性定理」的真實，魅惑而動人的數學物語。

　　本書中出現有各式各樣的數學問題，從簡單到小學生都懂得的部分，至困難到會嚴重動搖整個數學界的世紀難題都有。

　　除了使用語言及圖形來表現故事主人翁的思考脈絡之外，另也會使用到數學公式來做表達。

　　每當遇有無法理解數學公式涵義的時候，請不妨先跳過卡住的數學公式，暫且隨著故事的情節發展往下走。蒂蒂和由梨會陪伴著你一起往前走。

　　而對數學有自信的讀者們，在享受故事情節之餘，也不要忘了動動腦挑戰看看書中的數學公式哦！如此一來，你將可以體味到隱藏在故事背後的其他趣味。

　　或許，聰敏的你能超越那些數學天才們，挖掘出的不為人知的祕密噢！

作者簡介

結城浩

　　1963年生。執筆寫作有關程式語言、設計模式、密碼、數學等等領域的入門書。最新著作是「數學女孩系列」。是一個最喜歡巴哈的「賦格的藝術」作品的新教基督徒。著有《數學女孩──費馬最後定理》等書。

審訂者簡介

王銀國

　　台大物理學博士，現任台師大通識教育中心副教授，開授「邏輯思考與應用、科技與人文的對話」等通識課程。曾監製紀錄片《翻滾吧！男孩》。目前籌拍《作弊》、《天魔前傳》、《愛麗絲的婚禮》、《阮老爸是師公》、《天魔Ⅰ,Ⅱ》、《理想國》、《命》等電影。

洪萬生

　　紐約城市大學（CUNY）科學史博士，國立台灣師範大學數學系學士、碩士。國立台灣師範大學數學系教授兼主任（2007/8/1-2009/7/31）、台灣數學教育學會理事長（2007-2009）、國際科學史學院通訊會員、Historia Mathematica（國際數學史雜誌）編輯委員、《HPM通訊》發行人、台灣數學（虛擬）博物館創始人之一。

譯者簡介

鍾霓

　　中國文化大學新聞研究所碩士。曾經是個寫字的人，現為兼職翻譯，下一個身分尚待確認。鍾情於旅行、閱讀、寫字，並耽於在現實與夢想之間搖擺不定。譯有《數學女孩──費馬最後定理》、《熱情》等書。

目
錄

給讀者　i
序章　ix

第1章　鏡的獨白 1

1.1　誠實的人是誰？　1
　1.1.1　魔鏡啊魔鏡　1
　1.1.2　誠實的人是誰？ 3
　1.1.3　相同的答案　6
　1.1.4　名為沉默的答案　8
1.2　邏輯問題　9
　1.2.1　愛麗斯與伯里斯與克理斯　9
　1.2.2　利用表格來協助思考　10
　1.2.3　出題者的心情　14
1.3　帽子是什麼顏色的？　15
1.3.1　我不知道　15
1.3.2　出題者的確認　18
1.3.3　鏡的獨白　19

第2章　皮亞諾公理　23

2.1　蒂蒂　23
　2.1.1　皮亞諾公理　23
　2.1.2　無窮的請託　27
　2.1.3　皮亞諾公理 PA1　28
　2.1.4　皮亞諾公理 PA2　29
　2.1.5　培育成巨無霸　32
　2.1.6　皮亞諾公理 PA3　34
　2.1.7　微小？　35
2.1.8　皮亞諾公理 PA4　36
2.2　米爾迦　39
　2.2.1　皮亞諾公理PA5　42
　2.2.2　數學歸納法　43
2.3　在無盡的邁步中　49
2.3.1　是有限？是無限？　49
2.3.2　是動態的？是靜態的？　50
2.4　由梨　51
2.4.1　加法運算是？　51
2.4.2　公理是？　53

第3章　伽利略的遲疑　57

3.1　集合　57
3.1.1　美人的集合　57
3.1.2　外延的定義　58
3.1.3　餐桌　60
3.1.4　空集　　60
3.1.5　集合的集合　62
3.1.6　交集　64
3.1.7　聯集　66
3.1.8　子集　67
3.1.9　思考集合的理由　69
3.2　邏輯　70
3.2.1　內涵的定義　70
3.2.2　羅素悖論　72
3.2.3　集合運算與邏輯運算　74
3.3　無限　76
3.3.1　對射的鳥籠　76
3.3.2　伽利略的遲疑　80
3.4　表現　83
3.4.1　歸途　83
3.4.2　書店　84
3.5　沉默　85
3.5.1　美人的集合　85

第4章　無止境地接近的目標地點　87

4.1　自宅　87
　4.1.1　由梨　87
　4.1.2　男孩的「證明」　88
　4.1.3　由梨的「證明」　89
　4.1.4　由梨的「證明」　91
　4.1.5　我的說明　92
4.2　超市　95
　4.2.1　目標地點　95
4.3　音樂教室　99
　4.3.1　文字的導入　99
　4.3.2　極限　101
　4.3.3　音樂是由聲音所決定的　103
　4.3.4　極限的運算　105
4.4　回家的路上　114
　4.4.1　未來出路　114

第5章　萊布尼茲的夢　117

5.1　如果是由梨的話，就不會是蒂蒂　117
　5.1.1　「若…則…」的意義　117
　5.1.2　萊布尼茲之夢　120
　5.1.3　理性的極限？　122
5.2　如果是蒂蒂的話，就不會是由梨　123
5.2.1　升學考試　123
5.2.2　課程　125
5.3　如果是米爾迦的話，就是米爾迦　127
　5.3.1　教室　127
　5.3.2　形式體系　128
　5.3.3　邏輯式　130
　5.3.4　「若…則…」的形式？　132
　5.3.5　公設　135
　5.3.6　證明論　136
　5.3.7　推論規則　138
　5.3.8　證明與定理　140
5.4　既非我，也是我　142
　5.4.1　自宅　142
　5.4.2　形式的形式　143
　5.4.3　意義的意義　145
　5.4.4　如果是「若…則…」的話？　146
　5.4.5　邀約　151

第6章　Epsilon-Delta極限分析論證法　153

6.1　數列的極限　153
　6.1.1　從圖書室開始　153
　6.1.2　前往階梯教室　154
　6.1.3　理解複雜數式的方法　 158
　6.1.4　解讀「絕對值」　160
　6.1.5　解讀「若…則…」　163
　6.1.6　解讀「全部」與「某些」　165
6.2　函數的極限　168
　6.2.1　　168
　6.2.2　的意義　172
6.3　實力測驗　173
　6.3.1　校內排名　173
　6.3.2　寂靜之音、沉默之聲　174
6.4　連續的定義　175
　6.4.1　圖書室　175
　6.4.2　所有的點都不連續　178
　6.4.3　只在一個點處連續的函數？　180
　6.4.4　從無窮的迷宮脫出　181
　6.4.5　只在一個點處連續的函數！　182
　6.4.6　當說的詞語　186

第7章　對角線論證法　191

7.1　數列的數列　191
　7.1.1　可數集　191
　7.1.2　對角線論證法　195
　7.1.3　挑戰：實數的編號排序　203
　7.1.4　挑戰：有理數與對角線論證法　206
7.2　形式體系的形式體系　209
　7.2.1　相容性與完備性　209
　7.2.2　哥德爾不完備定理　216
　7.2.3　算術　218
　7.2.4　形式體系的形式體系　219
　7.2.5　詞彙的整理　222
　7.2.6　數項　223
　7.2.7　對角化　224
　7.2.8　數學的定理　227
7.3　追尋之物的追尋之物　227
7.3.1　遊樂園　227

第8章　由兩種孤獨當中所誕生的東西　233

8.1　重疊的序對　233
　8.1.1　蒂蒂所察覺到的東西　233
　8.1.2　我所察覺到的事情　239
　8.1.3　所有人都忽略掉的東西　240
8.2　自宅　241
8.2.1　自己的數學　241
8.2.2　表現的壓縮　241
　8.2.3　加法運算的定義　245
　8.2.4　教師的存在　247
8.3　等價關係　248
8.3.1　畢業典禮　248
8.3.2　由序對所產生出來的東西　250
8.3.3　從自然數到整數　251
8.3.4　圖表　252
　8.3.5　等價關係　257
　8.3.6　商集　260
8.4　餐廳　264
8.4.1　兩個人的晚餐　264
8.4.2　成對的羽翼　265
8.4.3　無力測驗　266

第9章　疑惑的螺旋梯　269

9.1　 π 弧度　　269
9.1.1　板著臉的由梨　269
9.1.2　三角函數　271
9.1.3　sin45。　274
9.1.4　sin60。　278
9.1.5　正弦曲線　282
9.2　 π弧度　287
9.2.1 弧度　287
9.2.2　教學　289
9.3　 π弧度　290
9.3.1　停課　290
9.3.2　剩餘　291
9.3.3 　燈塔　293
9.3.4　海邊　294
9.3.5 　消毒　297

第10章　哥德爾不完全性定理　299

10.1　雙倉圖書館　299
10.1.1　入口處　299
10.1.2　氯之間　300
10.2　希爾柏特計畫　302
10.2.1　希爾柏特　302
10.2.2　測驗　304
10.3　哥德爾不完全性定理　308
10.3.1　哥德爾　308
10.3.2　討論　309
10.3.3 　證明的綱要　311
10.4 　「春」形式系統P　312
10.4.1　基本符號　312
10.4.2　數項與符號　313
10.4.3　邏輯式　314
10.4.4　公設　315
10.4.5　推論規則　317
10.5　午餐時間　318
10.5.1　元數學　318
10.5.2　用數學做數學　319
10.5.3　甦醒　319
10.6　「夏」哥德爾數　321
10.6.1　基本符號的哥德爾數　 321
10.6.2　數列的哥德爾數　322
10.7　「秋」原始遞歸　324
10.7.1　原始遞歸函數　324
10.7.2　原始遞歸函數（謂語）的性質　326
10.7.3　可表達性定理　328
10.8　「冬」到達證明可能性的漫漫旅程　　330
10.8.1　整裝待發　330
10.8.2　整數論　331
10.8.3　數列　333
10.8.4　變數．符號．邏輯式　335
10.8.5　公理．定理．形式證明　343
10.9　「新春」不能判定的哥德爾句　347
10.9.1　「季節」的確認　347
10.9.2　「種子」由意義的世界進入形式的世界　348
10.9.3　「新芽」p的定義　351
10.9.4　「枝」r的定義　351
10.9.5　「葉」從A1開始的流程　352
10.9.6　「花蕾」從B1開始的流程　353
10.9.7　能判定的語句的定義　353
10.9.8　「梅」 IsProvable(g)的證明　319
10.9.9　「桃」 IsProvable(not(g))的證明　355
10.9.10　「櫻」形式體系P為不完全的證明　357
10.10　不完全性定理的意義　359
10.10.1　「我是無法證明的」　359
10.10.2　第二不完全性定理的證明概略　363
10.10.3　由不完全性定理之中萌生的東西　365
10.10.4　數學的極限？　366
10.11　乘載著夢想　368
10.11.1　並非是結束　368
10.11.2　我的東西　369

尾聲　373
後記　377
參考文獻與閱讀指南　381
索引　387

序

推薦序１

數學成熟度的指標：哥德爾不完備定理

　　本書是結城浩《數學女孩》三部曲中的最後一部，主題是「哥德爾不完備定理」，儘管它完成於二十世紀上半葉的1931年，但卻是數理邏輯學（mathematical logic）與數學基礎（foundations of mathematics）研究的封頂之作。

　　在《數學女孩》的第一部曲（台譯書名《數學少女》）中，作者將基本且深刻的數學知識，簡化到一般高中生可以了解的程度，足以顯示他不只受過非常嚴格的數學訓練，因而對於數學思維的掌握非常得心應手，同時，也對如何普及他的數學經驗深具信心。不過，更值得注意的，正如結城浩在《數學女孩──費馬最後定理》（第二部曲）所呈現，他總是適時地從高觀點來歸納或提示一些數學（抽象）結構，讓讀者不至於迷失在徒然解題的迷魂陣中，而無法自拔。此外，他在這三部曲的「旅行地圖」中所進行的連結與對比，也一再地提醒我們數學是一個「有機的整體」；因此，數學史上的一些重大突破，往往需要「跨界」的思維。

　　另一方面，從小說敘事的觀點來看，作者在這三部曲所採取的「比喻」，都是高中男生對於數學世界vs.感情世界的一種未來憧憬：「我對數學的『憧憬』──和男孩對女孩抱持的情感在某些地方有點相似」。因此，在本書中，數學作為一種文學比喻就出現的另類風貌，值得數學小說的愛好者特別注意。

　　現在，我們針對這三部曲所處理的主題，提供一點簡要的說明，俾便讀者閱讀時有所參考與借鑒。《數學少女》的主題是生成函數，作者的連結與跨界分享，相當令人感動：「我和米爾迦使用生成函數求得斐波那契數列一般項，就像原本捧在手上快要散落的數列，被名為生成函數的一條線串起來，那真是一次難以言喻的經驗」。此外，他還利用生成函數處理褶積與分拆數等問題，甚至還提及黎曼函數，尤其是與歐拉發現平方倒數無窮和之公式的關係。在該書中，生成函數是一種概念工具，它大大地有助於我們解決許多數學問題，離散型或連續型都包括在內。

　　這種主題式的敘事，到了《數學女孩──費馬最後定理》與《數學女孩──哥德爾不完備定理》，就變成了偉大的定理。顧名思義，《數學女孩──費馬最後定理》的主題就是費馬最後定理。作者在該書中，為了讓讀者多少掌握有關此一偉大證明的定理，特別提供了一個概略的說明。基於此，他還進一步介紹橢圓函數、模曲線與自守形式。最後，懷爾斯（Andrew Wiles）在橢圓曲線與自守形式之間成功地搭起一座橋樑，而完成了費馬最後定理的證明。由於這些相關數學知識都極其抽象，一般讀者難以「一睹芳澤」。因此，作者的「旅行地圖」仿效效似網路「超連結」資訊的手法，鼓吹讀者進行形式推理，即使無從理解個別命題（或定理）之內容為何。而這，當然也呼應了這三部曲所強調的數學知識的結構面向（structural aspects）意義。

　　顯然，在第二部曲中，結城浩無法邀請（也不期待！）讀者參與費馬最後定理的證明過程，這一形同登天的任務，當然受限於目前數學教育與普及水準的力有未逮。相形之下，在這三部曲的終曲中，結城浩的野心卻是哥德爾不完備定理之解說。這個普及的願景並非不可企及，因為作者所訴求的正是讀者的數學成熟度。這種成熟度與高等數學的背景知識並不具有必然關係，因此，集合論、數理邏輯以及數學基礎等數學分支之學習，通常只要預設高中數學背景知識即可。事實上，這幾門學問在二十世紀下半葉，也一直吸引英美兩國哲學家的興趣。基於此一考量，在本書中，作者就使盡了渾身解數，希望讀者分享他對不完備定理的理解。

　　總之，不完備定理之證明所涉及的形式系統（formal system）之相容與不完備之相關固然有其難度，但是，對於充滿好奇心的讀者來說，這卻是可以親近的一個智力遊戲或挑戰。任何人（無論有無高等數學之經驗）想要測試數學思維的成熟度，本書的形式證明正是最好的指標。更何況，如果不深入探討此一定理，那麼，物理學家歐本海默（Robert Oppenheimer）如何稱頌不完備定理為「理性的極限」，我們大概就不知從何說起了。

台灣師範大學數學系退休教授　洪萬生

推薦序２

一部令人驚豔的作品！

　　繼《數學少女》（2008年青文出版）、《數學女孩──費馬最後定理》（2011年世茂出版），結城浩這一系列作的第三部《數學女孩──哥德爾不完備定理》又是一部令人驚豔的作品。

　　市面上的數學科普書很多，有的作者為了照顧讀者的背景知識而不敢談得太深：有的作者則是只顧自己想寫的內容而一路狂飆，卻將讀者留在原地一臉茫然。結城浩成功地突破了這兩難的困境：他將主題「哥德爾不完備定理」談論得非常深入，讓我很驚訝竟然有數學科普書的作者敢有如此大的企圖；但他也不是莽夫，而是極富策略性地一步一步帶著讀者往目標靠近。要做到這一點絕非易事，我很難想像一個人怎能擁有如此深厚的數學底子、廣泛的數學知識，以及靈巧的文字功力，但結城浩就是這樣厲害的一個人。

　　當然，偉大的數學成果不可能僅靠一本書就能讓讀者在短時間之內完全掌握，即使是身為數學科教師的我，也難以吸收最後一章的內容，但這就是作者的體貼，在堅持目標的前提下，盡量讓讀者不會因為題材本質上的艱澀而提早放棄。

　　我相信無論你是一般的數學學習者，或是專業的數學研究人員，都一定能從這本作品中得到收穫，也都會喜歡這本書。

北一女中數學老師&國際數學奧林匹亞競賽金牌獎得主王嘉慶

推薦序３

一本引人入勝的數學小說

　　本書是日本暢銷科普作家結城浩繼《數學少女》、《數學女孩──費瑪最後定理》之後的第三力作，相信看過前兩本的讀者們一定迫不急待的想要一窺結城浩的新作品，並加以典藏，而成為家中小孩上高中時必讀的數學科普。本書《數學女孩──哥德爾不完備定理》，如同前兩本一樣，透過四位個性鮮明的國、高中生之間的日常有趣對話，來展開數學問題與解題，進而讓讀者對數學自然而然的理解並產生興趣。然而，結城浩在本書中不僅透過角色仔細完整的論述相關數學知識外，並以完成介紹哥德爾不完備定理為最終目標，他雄心萬丈般的哲學企圖，提昇了本書的高度格局。

　　數學符號及其公式都是高度抽象概念。也正因如此，理工領域常令許多人難以捉摸和把握，甚至覺得晦深莫測，單單是要記住（更不用說是理解）這些符號表示什麼，就是很大的挑戰了。然而，本書不是一般傳統的數學課本，結城浩透過中學生之間的對話，來漸漸鋪陳出數學概念，以有趣生活化的方式來進行數學知識的討論，更難得的是本是數學專業的作者，卻能以生動的文筆及貼近生活的例子來闡述數學的概念及解題流程。娓娓道來，親切詳實，沒有一般通俗讀物僅是淺嘗為止而產生一知半解的窘境。此外，本書有很多內容甚至比一般的數學教科書解說的更為詳細，如：第4章──無止境地接近的目標地點、第6章──極限分析論證法、第9章──疑惑的螺旋梯，關於極限和三角函數的分析與說明，講得簡單、明白且易懂，可作為一般教科書的補充讀物，而一般讀者亦可先參閱這幾個章節，來感受結城浩的功力──「就是要讓你懂」！

　　現今為知識訊息大爆炸的時代，每一個人，除了學習傳統的知識技能外，還要不斷的吸收與我們生活相關的各種知識，但它們總是瞬時萬變，有限的生命總是趕不上無限的變化。但在某些領域（如：數學或音樂），可能讓我們有機會駐留在永恆之美的饗宴中。數學對許多人（包括個人）而言，似乎有共同夢魅般的經驗：抽象、艱澀、難懂、吃不下去……。但若過去中、小學數學課本，可以寫的像結城浩一樣的話，那數學就像是一種遊戲、一種日常生活中的有趣對話、更彷彿像是一種讓人進入一種美麗抽象符號結構中的奇幻之旅。結城浩在最終章「哥德爾不完備定理」以四季節候的時序和植物生長的歷程等譬喻，來一步一步建構不完備定理的證明及詮釋其意義，以極富想像力的方式向世人介紹邏輯體系上的不完備。

　　因限於個人領域之狹窄，關於數學與邏輯的專有名詞能與台灣現行的用法有所一致，而讓一般讀者因熟悉而更容易理解。在數學上的專有名詞是由台師大數學系周文翔來做全面的校正，而第7章和第10章則請蒲世豪博士訂正有關的邏輯專有名詞。

　　有機會讀到一本好書會讓人心曠神怡、視野開闊，變得耳聰目明。但從小到大的我們看了不少數學教材，捫心自問我們記得、懂得多少，現今可能大多忘得一乾二淨。然而，看結城浩的數學書，除了讓人賞心悅目、幽遊自得外，無論你／妳懂或不懂，都會讓你／妳永生難忘。而這，當然也是我極力推薦本書的主要原因。

台灣師範通識教育中心副教授王銀國

給讀者

　　本書中出現有各式各樣的數學問題，從簡單的到小學生都懂得的部分，甚至困難到會嚴重動搖整個數學界的世紀難題都有。

　　除了使用語言及圖示來表現故事主角們的思考脈絡之外，另也會使用到數學公式來做表達。

　　每當遇有無法理解的數學公式涵義時，請不妨先跳過卡住的數學公式，暫且隨著故事的情節發展往下走。劇中人物蒂蒂和由梨會陪伴著你一起往前走。

　　而對數學充滿自信的讀者們，在享受故事情節之餘，也不要忘了動動腦挑戰書中的數學公式哦！如此一來，你將可以進一步體驗到隱藏在故事裡的其他趣味。

　　或許，聰敏的你能超越那些數學天才們，探索出不為人知的祕密噢！

書
評

其他著作