数学证明的写作经过.pdfVIP

《數學證明》的寫作經過 寫作《數學證明》這本書，我用了不少時間和氣力。書的內容其實反映了個 人對數學的一些看法，書的撮要內容，可以在下列文章讀到：蕭文強，數學 = 證 明？《數學傳播》，第十六期第四卷（總 64），1992年，50-58頁。原書在一九九 ○年出版，在二○○七年和二○○八年再版，原版序言及再版序言約略道出了寫作 該書的經過，錄於下面。 《數學證明》原版序言（1989年） 有一則關於十八世紀瑞士數學家歐拉（L. Euler ）的“小道新聞＂，經由貝 1 爾（E . T. Bell ）的通俗讀物《大數學家》（九章出版社，1998年 ）而廣為流傳。 那是敘述歐拉與法國哲學家狄德羅（D. Diderot ）辯論的經過。據云俄羅斯女皇對 狄德羅在她的宮廷內散播無神論極為不滿，但又不便面斥，便請歐拉想個辦法把他 趕走。有一天，狄德羅應邀進宮聽一位數學家證明神的存在，他欣然前往。那時歐 拉走到他的跟前，一本正經地以嚴肅而鄭重的口吻對狄德羅說：“尊貴的先生， a +bn x ，故神存在。請回應吧！＂ 狄德羅啞口無言，四周響起嘲弄的笑聲，令 n 他十分難堪，於是，他請求女皇准許他回法國去。這則“小道新聞＂的可信程度極 低2 ，很難想像歐拉會說出這種無稽之談的話來，但它卻是一個生動的例子，說明 什麼叫做“恐嚇證明法＂（proof by intimidation ）！這種證明可謂一文不值，它既 無核實作用，更無說明作用，只有迷信權威的人才會被這種證明嚇唬住。 除了上述那種所謂證明可以不予理會以外，數學證明是一個十分有意思的話 題，因此，我選了這個話題與讀者一起探討。本書所指的數學證明，意義是頗廣泛 的，讀下去你便知道為什麼我這麼說了。以下十章的內容，請讀者隨自己口味選 讀，大部分章節內容是互相獨立的，但總的脈絡，可由目錄窺見。每節對讀者的數 學背景知識的要求不盡相同，對一部分讀者來說，某些節的內容或嫌過深，不易明 白，甚至會出現不熟悉的術語。不過，若只求大致了解，那不會構成太大的障礙。 總的來說，只要具備中學程度數學的知識，應能看明白大部分數學內容；若具備大 學程度的數學知識，應能看明白全部數學內容。 在序言裏，讓我說極少作者會在序言裏說的話，即是告訴讀者這本書並不討 論什麼！但不討論的，絕對不表示不重要，只表示作者本人的無知。首先，這本書 1 原英文本 Men of Mathematics 在 1937 年出版。 2 狄德羅本人不只懂數學，還寫過數學的文章，看來不大可能就此被嚇唬了。B. H. Brown 寫了一篇 札記，說明為何這個故事不可信，刊於 American Mathematical Monthly , 49, 1942, 302-303 。讀者也 可以參考：Inna Gorbatov, Catherine the Great and French Philosophers of the Enlightenment, Academica Press, Bethesda, 2006, Chapter V 。 1 沒有教讀者怎樣去證明數學定理，或者證明數學定理有什麼訣竅。我假定讀者已經 作過不少數學證明，對證明這項數學活動有一定程度的認識。其次，這本書也沒有 從邏輯的角度討論何謂數學證明。要認真討論這個技術味道很濃的問題，非我力能 勝任，亦不符合這套《叢書》3的編寫宗旨。再其次，這本書也沒有正面接觸數學 證明的哲學意義，雖然任何關於數學的哲學必須對數學證明有所交代。好了，作過 上述的消極聲明後，我應該補充說，要討論數學證明，不可能完全避開上述的三個 範圍，因此讀者在以下章節的字裏行間還是會見到它們的影子。 讀者會問，那麼這本書究竟談些什麼？當我最初下筆的時候，我曾想過採用 一個奇特的書名《證明乃證明乎？》。後來覺得那是標新立異，嘩眾取寵，也就打 消了這個念頭。寫完後卻想到另一個較貼切的書名，但由於冗長，也沒採用，那是 《從歷史上的數學文獻觀看數學證明》。實際上，這個冗長的書名才比較如實地反 映了本書的內容。這個構思其實潛伏了很久，正好藉著寫作本書予以整理。說來話 長，十五年前我在美國一所大學裏教書，有一天系主任匆匆跑來告訴我有位同事