? ? ? ? 萊布尼茲終生都在為他的夢(mèng)想思考和寫作，在他去世一個(gè)多世紀(jì)后，英國(guó)數(shù)學(xué)家喬治·布爾沿著萊布尼茲的方向提出了一種可用的符號(hào)邏輯，并把邏輯變成代數(shù)，證明了邏輯演繹可以成為數(shù)學(xué)的一個(gè)分支。1879年，數(shù)學(xué)家弗雷格又向前邁進(jìn)了一大步。在出版的一本不到100頁(yè)的小冊(cè)子《概念文字》中，第一次建立起在原則上可以包含數(shù)學(xué)家們通常使用的全部推理的精密的數(shù)理邏輯體系。1910~1913年羅素與懷特海出版三卷本巨著《數(shù)學(xué)原理》，表明所有的普通數(shù)學(xué)都可以在一個(gè)形式邏輯系統(tǒng)內(nèi)部發(fā)展出來。20世紀(jì)20年代，希爾伯特提出元數(shù)學(xué)綱領(lǐng)，試圖運(yùn)用嚴(yán)格受限的數(shù)學(xué)方法去從外部研究這樣的系統(tǒng)。1931年，偉大的邏輯學(xué)家哥德爾得到不可判定命題，葬送了希爾伯特綱領(lǐng)。1935年，圖靈思考是否任何數(shù)學(xué)問題都可以通過一種算法來解決希爾伯特判定問題。最后，圖靈應(yīng)用康托爾的對(duì)角線方法得出了否定的結(jié)論，判定問題的算法是不存在的。對(duì)于萊布尼茲的夢(mèng)想來說，這并不是一條好消息。然而，正是在證明這條否定性結(jié)論的過程中，作為副產(chǎn)品，圖靈發(fā)現(xiàn)了某種會(huì)令萊布尼茲欣喜的東西：他發(fā)現(xiàn)了一個(gè)原則上能執(zhí)行任何可能計(jì)算的通用機(jī)器的數(shù)學(xué)模型：通用圖靈機(jī)。1945年，馮·諾伊曼提出以“馮·諾伊曼結(jié)構(gòu)”聞名的邏輯計(jì)算機(jī)的基本設(shè)計(jì)。在跨越近3個(gè)世紀(jì)后，這眾多偉大數(shù)學(xué)家的貢獻(xiàn)合在 一起，終于孕育出了通用數(shù)字計(jì)算機(jī)。
? ? ? ? 書作者馬丁·戴維斯――計(jì)算機(jī)科學(xué)發(fā)展史上的先驅(qū)人物――以萊布尼茲之夢(mèng)為線，以生花之妙筆，為我們奉獻(xiàn)上從邏輯角度講述計(jì)算機(jī)發(fā)展史的最好的通俗讀本。
? ? ? ? 作為對(duì)通用計(jì)算機(jī)的這段美妙歷史熟稔于心的行家里手，作者還注意澄清普通讀者心中的模糊看法。比如，我們大多知道世界上第一臺(tái)電子計(jì)算機(jī)是ENIAC，但很少有人理解它與我們現(xiàn)在所用計(jì)算機(jī)之間的本質(zhì)性區(qū)別。作者向我們指出，自ENIAC之后，計(jì)算機(jī)才具有了真正的革命性即其通用特征。再如，一般常把通用計(jì)算機(jī)得以實(shí)現(xiàn)起關(guān)鍵作用的存儲(chǔ)程序概念看作馮·諾伊曼的天才的產(chǎn)物。但本書作者在1987年獨(dú)樹一幟，提出馮·諾伊曼是從圖靈的工作中得到了實(shí)際的通用計(jì)算機(jī)的思想。由于作者之說有根有據(jù)，這一版本已為越來越多的人所接受。
? ? ? ? 作為世界著名的數(shù)理邏輯學(xué)家，作者用相當(dāng)篇幅以生動(dòng)的筆觸向讀者講述邏輯，以淺顯的語言對(duì)邏輯學(xué)――一門艱澀難懂的學(xué)科――中最為基本的符號(hào)、概念做了深入淺出的講解，把一個(gè)相對(duì)枯燥的主題寫得有聲有色。書前言中有一句話：“一位游伴使我注意到，有一段曾經(jīng)被我認(rèn)為是極為明晰的段落實(shí)際上是含糊不清的，我已在這一版中進(jìn)行了修改?！睆闹胁浑y窺見作者對(duì)講解之清晰的不懈追求。想來，在如此盡心盡責(zé)的向?qū)бI(lǐng)下，讀者進(jìn)寶山當(dāng)不會(huì)有空手而返的遺憾的。
? ? ? ? 除講述現(xiàn)代計(jì)算機(jī)背后的那些抽象邏輯概念外，作者又對(duì)發(fā)展出這些概念的人做了充滿溫情 的描述，使人們不但了解那些抽象的思想，而且了解締造出這些思想的人的生活。透過這部分文字，讀者眼中的這些天才數(shù)學(xué)家不再不食人間煙火，而成了能讓人或喜或悲，或嘆或贊，活生生的人。像作者描述下的弗雷格，既如羅素所稱贊的那樣可為真理而獻(xiàn)身，卻又是一個(gè)惡毒的種族主義者。我們現(xiàn)在稱揚(yáng)他的偉大貢獻(xiàn)，但1925年他在絕望中去世時(shí)，痛苦地認(rèn)為自己一生的工作毫無結(jié)果。而且在耶拿大學(xué)，因?yàn)橥虏⒉缓苄蕾p他的工作，這位偉大的邏輯學(xué)家竟然從未晉升為正教授。即便不能完全理解其思想的讀者，讀這樣的文字時(shí)，心里大約仍會(huì)涌起各式各樣的滋味吧。
? ? ? ? 作者還善于在數(shù)學(xué)家的生平介紹中融入許多相關(guān)的趣聞逸事。這既增添了趣味性使敘述更引人入勝，又會(huì)為讀者帶來意料之外的閱讀快感。當(dāng)發(fā)現(xiàn)以《牛虻》一書而聞名的作者莉莉與布爾的小女兒劃上等號(hào)時(shí)，我們當(dāng)會(huì)為這預(yù)料之外的聯(lián)結(jié)而欣喜一下的吧。
? ? ? ? 另讓人極為稱道的是本書的結(jié)構(gòu)。全書自萊布尼茲之夢(mèng)開始，以超越萊布尼茲之夢(mèng)收結(jié)，中間介紹數(shù)位數(shù)學(xué)家在邏輯領(lǐng)域的成就，并不時(shí)以萊布尼茲之夢(mèng)做準(zhǔn)繩衡量后續(xù)發(fā)展。在每一章中，將數(shù)學(xué)家之生平與思想揉合在一起。在各章之間，極其注意聯(lián)結(jié)，使兩章之間的過渡變得更為自然。在書的尾聲中，作者又以本書所講故事為例，強(qiáng)調(diào)了觀念的力量以及預(yù)測(cè)它們結(jié)果的徒勞，呼吁讀者對(duì)抽象思想的價(jià)值多一份敬意。絲絲入扣的章節(jié)安排，真是處處顯出作者之匠心。
? ? ? ? 當(dāng)合上這本書，在隨后的日子里打開個(gè)人電腦，敲擊鍵盤、聽音樂、Word中編輯文字……時(shí)，偶爾想想隱在我們的通用計(jì)算機(jī)后面的那些偉大人物的生活與思想也應(yīng)該是一件比較愜意的事情吧。
