首頁 自學大全

5 掌握證明過程的讀寫能力(literacy)

最後,讓我們再來討論一下證明問題。

讀不懂數學的人,都是卡在了證明上。

很多人都不喜歡看證明過程,想要避開,而事實上在很多時候,他們也的確這麽做了。就連經常需要使用數學的人,也時常會在看書時跳過證明的過程,甚至老師在出題時也有避開證明題的傾向。

在這裏,讓我們將目光聚焦到證明的意義上,換一種積極的方式來思考。

數學通常會以定義,或是以前曾經證明過的定理為出發點,按照推理規則來證明新的定理。有了這種固定的形式後,無論是曠世奇才的頭腦中突然閃現的想法,還是堅韌不拔的努力者用時間和汗水換來的成果,都能夠被添加到人類的數學知識庫中,獲得永恒的生命。即使是像我們這樣平庸的人,也能夠理解這些知識的正確性和意義(雖然無法做出同樣的創新)。正是這一點,賦予了數學獨一無二的強大力量。

隻要我們能夠讀懂證明過程,就能夠讀懂用數學寫成的書籍,獲取這些強大的知識。甚至我們也可以用自學的方式去學習。

有一本書非常適合用來提升數學證明的讀寫能力,它就是丹尼爾·索羅撰寫的《證明的閱讀與寫作:數學思維過程入門指南》(共立出版,1985)。

書中首先講了數學的證明過程會省略哪些內容,導致人們閱讀起來感到困難。然後作者還認為,隻要先學會寫證明,就能夠學會讀證明。這種做法看上去是繞遠路,但實際上卻是抄了捷徑。

比起詳盡的地圖和路線圖,數學的證明過程更像是人們在山中摸索道路時折下樹枝做的記號。如果我們既不認識路,也不去山裏親自走一走的話,很難光靠折下的樹枝來重現前人走過的路線。

於是,《證明的閱讀與寫作》這本書將數學的證明手法和數學家在做證明時的思維方式進行了分類,把證明的“語法規則”提煉了出來,並且對這些規則分別適用於哪些情況也進行了講解(相關內容可以參考本書第666頁的表格)。這樣一來,我們就可以從這本書中學習寫證明時所需要的最基本的知識。