[美] 達納·麥肯齊
1加1等于2,這或許是所有公式中最基本的一個。簡單明了、亙古不變、毋庸置疑……但究竟是誰第一個寫下了這一公式?它與其他的算術(shù)公式來自何方?我們?nèi)绾沃浪鼈兪钦_的?這些問題的答案其實遠非一目了然。
令人驚訝的一點是,古代數(shù)學(xué)中有關(guān)加法討論的證據(jù)不多。人們發(fā)現(xiàn)的巴比倫陶土?xí)搴桶<凹埳菸墨I中充斥著乘法與除法表,但卻沒有加法表,也沒有“1十1=2。看上去,加法是太明顯的事實,用不著什么解釋,而乘法和除法的情況則不同。
原因之一或許是在許多文化中使用較為簡單的計數(shù)系統(tǒng)。例如,在埃及,人們把一個像324這樣的數(shù)字寫成三個“一百”的符號、兩個“十”的符號和四個“一”的符號。要把兩個數(shù)字相加,人們就把它們所有的符號放置在一起,必要時把十個“一”換成一個“十”,以此類推。
這跟我們現(xiàn)在不時地把零錢放到一起,然后用較大面額的紙幣置換較小面額的錢幣非常相似。誰也不需要記住1十1=2,因為|和|的和顯然就是||。
在古代中國,算術(shù)計算是在算盤的某種前身——“計算板”上進行的,其中用小棒為個、十、百等數(shù)位計數(shù)。同樣,加法就是直接把恰當數(shù)目的小棒合并到一起,必要時進位到下一欄。沒什么需要記憶的。然而乘法表(九九表)就是另一碼事了。這是一個重要的工具,因為乘法8×9=72要比把9個8加起來快。
對此一個簡單的解釋是在數(shù)軸上,2是1右面的下一個數(shù)字。然而,自20世紀早期以降,邏輯學(xué)家們更愿意通過集合論定義自然數(shù)。于是這公式的大體意思就是任何兩個不相交的只有一個元素的集合的并集是一個有兩個元素的集合。
另外一個觀念上極其重要的差別是,沒有任何一種古代文化,無論是巴比倫文化、埃及文化、中國文化或者任何其他文化有著與我們今天的現(xiàn)代概念完全一樣的“等式”的概念。
人們用一般的詞語寫成的句子或者一些步驟來表達數(shù)學(xué)上的想法。
因為,認為某種文化“了解”某個等式或者另一種文化不了解這一等式,這種說法不大靠得住。
現(xiàn)代形式的等式是在一段一千多年的時期中逐步產(chǎn)生的。在公元250年前后,亞歷山大港的丟番圖開始使用一個字母的縮寫(或以數(shù)學(xué)歷史學(xué)家的語言說,即“縮略”標記法),來代替經(jīng)常使用的詞如“和”“積”等等。用x與y這樣的字母來代表未知數(shù)量的想法很久以后才出現(xiàn)在歐洲,大約時間為16世紀后期。
而等號這個今天實際上每個等式中都有的成分則直到1557年才第一次出場亮相。
在羅伯特·雷科德所著《勵志石》一書中,作者雄辯地解釋道:“而且,為了避免對‘等于這個詞的乏味重復(fù),我建議,可以像我在工作中經(jīng)常做的那樣,用兩條等長的平行孿生短線代替之,其形如===;因為這是比任何其他事物都更相等的東西。”(雷科德的原文用古體英語,其中“Gemowe”的意思是“孿生”。注意,雷科德的等號比我們今天用的長得多。)
所以,盡管數(shù)學(xué)家?guī)浊陙矶夹恼詹恍刂?十1=2,但直到16世紀的某一天為止,這一等式或許并沒有寫成我們今天的形式。而且直到19世紀之前,數(shù)學(xué)家們都一直沒有探究過我們相信這一等式的原因。
在整個19世紀中,數(shù)學(xué)家開始認識到,他們的前輩過分經(jīng)常地依賴于一些隱藏的假定,而這些假定并不總是可以很容易地證明為真的(而且有時候是錯誤的)。打破古代數(shù)學(xué)堅冰的第一道裂縫出現(xiàn)于19世紀初葉,即非歐幾何的發(fā)現(xiàn)。
19世紀晚期,更具哲學(xué)傾向的數(shù)學(xué)家如利奧波德·克羅內(nèi)克、朱塞佩·皮亞諾、大衛(wèi)·希爾伯特和伯特蘭·羅素等,開始非常認真仔細地檢查數(shù)學(xué)的基礎(chǔ)。他們在考慮:哪些東西是我們真正能夠確信無疑地知道的。我們是否能夠為數(shù)學(xué)找到一套基本假定,并可以證明它們是自洽的呢?
德國數(shù)學(xué)家克羅內(nèi)克認為,自然數(shù)1,2,3,……是上帝的恩賜。因此不言自明,像等式1十1=2這類算術(shù)定律是可靠的。但大部分邏輯學(xué)家反對他的觀點,他們認為集合這一概念比整數(shù)更為基本。“1十1=2”這一陳述到底意味著什么?從根本上說,這意味著,當含有一個元素的集合與同樣含有一個元素的集合合并時,所得到的并集總是含有兩個元素。
但要讓這種說法說得通,我們就需要回答一連串新問題,例如集合的意義是什么、有關(guān)集合我們知道些什么、為什么我們會知道這些,等等。
1910年,數(shù)學(xué)家阿爾弗雷德·諾斯·懷特海德與哲學(xué)家伯特蘭·羅素共同發(fā)表了一部題為《數(shù)學(xué)原理》的三卷本巨著。該書篇幅浩大、立論深奧,很可能是試圖重鑄算術(shù),將之歸為集合理論的一個分支。人們自然不會把這部書拿給一個八歲大的孩子看,以此向他解釋1十1=2的緣由。在第一卷洋洋362頁之后,懷特海德和羅素終于得到了一個命題,他們說:“當算術(shù)加法得到了定義,隨之便可以得出1十1=2的結(jié)論。”注意,他們其實還沒有解釋什么是加法。直到第二卷,他們才有空考慮這一問題。定理“1十1=2”真正出現(xiàn)在第二卷的86頁。他們以幽默的筆觸在那里輕描淡寫地寫道:“上述命題偶爾會有用處。”
本文不擬在此嘲笑懷特海德和羅素,因為在與集合論中出人意料的困難做斗爭的人們中,他們屬于兩位先驅(qū)者。例如,羅素發(fā)現(xiàn),對集合的某些操作是不允許的,其中包括不可能定義一個“所有集合的集合”,因為這一概念會導(dǎo)致自相矛盾。這是在數(shù)學(xué)中從來都不允許的事情:某一陳述永遠不會同時正確又同時錯誤。
但這卻導(dǎo)致了另外一個問題。羅素和懷特海德小心地避免了“所有集合的集合”可以導(dǎo)致的自相矛盾,但我們能不能完全肯定,他們的公理就不會把我們引向其他尚未發(fā)現(xiàn)的自相矛盾呢?
1931年,這一問題的答案以令人驚訝的方式出現(xiàn)。當時奧地利邏輯學(xué)家?guī)鞝柼亍じ绲聽柊l(fā)表了一篇題為《試論〈數(shù)學(xué)原理〉中的形式上不可判定的陳述及相關(guān)系統(tǒng)》的論文,直指懷特海德和羅素著作之非。哥德爾證明,永遠無法證明任何足以推導(dǎo)算術(shù)規(guī)則的集合論規(guī)則是自洽的。換言之,總有可能在某一天,某人將就1+1=3提出一項完全有理有據(jù)的證明。不僅如此,這項可能性永遠都會存在;只要我們把我們的算術(shù)建立在集合論的基礎(chǔ)上,就永遠無法絕對保證我們使用的算術(shù)是自洽的。
其實,數(shù)學(xué)家們并沒有因為算術(shù)有自相矛盾的可能性而寢食難安。一個可能的原因是,大部分數(shù)學(xué)家強烈地感覺到,數(shù)字,以及我們研究的大量其他數(shù)學(xué)創(chuàng)造物,都代表了超越了人類思維的客觀現(xiàn)實。如果是這樣,出現(xiàn)能夠證明1十1既等于2又等于3這類矛盾陳述的可能性就微乎其微。邏輯學(xué)家們將之稱為“柏拉圖主義者”的觀點。
“典型的數(shù)學(xué)家在工作日里是柏拉圖主義者,而在星期天是形式主義者。”菲利普·戴維斯和魯本·赫斯在他們1981年出版的《數(shù)學(xué)經(jīng)驗》一書中這樣寫道。換言之,當我們必須做出正式陳述時,我們將不得不承認,我們無法斷言數(shù)學(xué)中不存在矛盾;但我們不會因此而中斷我們的數(shù)學(xué)工作。
應(yīng)該補充的一點可能是,那些不是數(shù)學(xué)家的科學(xué)家在一周的每一天中都是柏拉圖主義者。他們從來沒有一刻懷疑過1+1會不等于2。而且他們這樣做或許自有道理。對算術(shù)自洽性的最佳辯護是:人類使用算術(shù)凡5000年,但我們還從來沒有發(fā)現(xiàn)過任何矛盾之處。對算術(shù)的客觀性與普適性的最佳辯護是這一事實:當任何其他語言、宗教或信仰系統(tǒng)相比,在穿越文化與實踐界限方面算術(shù)最為成功。
的確,搜尋地外生命的科學(xué)家經(jīng)常假定,我們能夠解碼的第一份來自地外世界的信息將以數(shù)學(xué)形式發(fā)送,因為數(shù)學(xué)是最為廣泛接受的宇宙通用語言。
我們知道1十1=2,這是因為我們可以通過普遍接受的集合論原理證明這一點,或者因為我們是柏拉圖主義者。但我們不知道我們知道這一點,因為我們無法證明集合論是自洽的。這或許就是當那個八歲孩子問我們“為什么”的時候我們所能給出的最好答案。(本文摘選自《無言的宇宙》)