哥德尔不完备定理-师大数学系.PDF

HPM通訊第十五卷第四期第一版  數學成熟度的指標：哥德爾不完備 發行人：洪萬生（台灣師大數學系教授） 定理 主編：蘇惠玉（西松高中）副主編：林倉億（台南一中） 助理編輯：黃俊瑋（台灣師大數學所研究生）  宇宙維度：數學與物理的美妙和「弦」 編輯小組：蘇意雯（台北市立教育大學）蘇俊鴻（北一女中） 黃清揚（福和國中）葉吉海（陽明高中）  「精進課堂教學能力-教學策略運用」 陳彥宏（成功高中）陳啟文（中山女高） 王文珮（青溪國中）黃哲男（台南女中） 馬祖研習有感 英家銘 謝佳叡（台師大數學系） 創刊日：1998 年 10 月 5 日 每月 5 日出刊  求橢圓面積的一個方法 網址：.tw/ ～horng  佩雷爾曼與龐加萊猜想： 二十一世紀初的不朽數學成就 數學成熟度的指標：哥德爾不完備定理 洪萬生 台灣師範大學數學系退休教授 編者註：本文是《數學女孩：哥德爾不完備定理》 （新北市：世茂出版社）的推薦文 本書是結城浩《數學女孩》三部曲中的最後一部，主題是哥德爾不完備定理。儘管 這個定理完成於二十世紀上半葉的 1931 年，但卻是數理邏輯學（mathematical logic ） 與數學基礎（foundations of mathematics ）研究的封頂之作。 在《數學女孩》的第一部曲（台譯書名「數學少女」）中，作者將基本且深刻的數學 知識，簡化到一般高中生可以理解的程度，足以顯示他不只受過非常嚴格的數學訓練，因 而對於數學思維的掌握非常得心應手，同時，也對如何普及他的數學經驗深具信心。不過， 更值得注意的，正如結城浩在《數學女孩：費馬最後定理》（第二部曲）所呈現，他總是 適時地從高觀點來歸納或提示一些數學（抽象）結構 ，讓讀者不至於迷失在徒然解題的迷 魂陣中，而無法自拔。此外，他在這三部曲的「旅行地圖」中所進行的連結與對比，也一 再地提醒我們數學是一個「有機的整體」 ，因此，數學史上的一些重大突破，往往需要「跨 界」的思維。 另一方面，從小說敘事的觀點來看，作者在這三部曲所採取的「比喻」，都是高中男 生對於數學世界 vs. 感情世界的一種未來憧憬：「我對數學的『憧憬』－ 和男孩對女孩 抱持的情感在某些地方有點相似」。因此，在本書中，數學作為一種文學比喻就出現了另 類風貌，值得數學小說的愛好者特別注意。 現在，我們針對這三部曲所處理的主題，提供一點簡要的說明，俾便讀者閱讀時有所 參考與借鑒。《數學少女》的主題是生成函數，作者的連結與跨界分享，相當令人感動： 「我和米爾迦使用生成函數求得斐波那契數列一般項，就像原本捧在手上快要散落的數 列，被名為生成函數的一條線串起來，那真是一次難以言喻的經驗。」此外，他還利用生 HPM通訊第十五卷第四期第二版 成函數處理褶積與分拆數等問題，甚至還提及黎曼 函數 ，尤其是(2) 與歐拉發現平方 倒數無窮和之公式的關係。在該書中，生成函數是一種概念工具，它大大地有助於我 們解決許多數學問題，離散型或連續型都包括在內。 這種主題式的敘事，到了《數學女孩 ：費馬最後定理》與《數學女孩：哥德爾不 完備定理》，就變成了偉大的定理。顧名思義，《數學女孩：費馬最後定理》的主題 就是費馬最後定理。作者在該書中，為了讓讀者多少掌握有關此一偉大證明的輪廓，特別 提供了一個概略的說明。基於此，他還進一步介紹橢圓函數、模