? ? ? ? 書作者馬丁·戴維斯――計(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ù)一幟粥庄，提出馮·諾伊曼是從圖靈的工作中得到了實(shí)際的通用計(jì)算機(jī)的思想丧失。由于作者之說(shuō)有根有據(jù)，這一版本已為越來(lái)越多的人所接受惜互。
? ? ? ? 作為世界著名的數(shù)理邏輯學(xué)家布讹，作者用相當(dāng)篇幅以生動(dòng)的筆觸向讀者講述邏輯，以淺顯的語(yǔ)言對(duì)邏輯學(xué)――一門艱澀難懂的學(xué)科――中最為基本的符號(hào)训堆、概念做了深入淺出的講解描验，把一個(gè)相對(duì)枯燥的主題寫得有聲有色。書前言中有一句話：“一位游伴使我注意到蔫慧，有一段曾經(jīng)被我認(rèn)為是極為明晰的段落實(shí)際上是含糊不清的挠乳，我已在這一版中進(jìn)行了修改」枚悖”從中不難窺見(jiàn)作者對(duì)講解之清晰的不懈追求睡扬。想來(lái)，在如此盡心盡責(zé)的向?qū)бI(lǐng)下黍析，讀者進(jìn)寶山當(dāng)不會(huì)有空手而返的遺憾的卖怜。
? ? ? ? 除講述現(xiàn)代計(jì)算機(jī)背后的那些抽象邏輯概念外，作者又對(duì)發(fā)展出這些概念的人做了充滿溫情的描述阐枣，使人們不但了解那些抽象的思想马靠，而且了解締造出這些思想的人的生活。透過(guò)這部分文字蔼两，讀者眼中的這些天才數(shù)學(xué)家不再不食人間煙火甩鳄，而成了能讓人或喜或悲，或嘆或贊额划，活生生的人妙啃。像作者描述下的弗雷格，既如羅素所稱贊的那樣可為真理而獻(xiàn)身俊戳，卻又是一個(gè)惡毒的種族主義者揖赴。我們現(xiàn)在稱揚(yáng)他的偉大貢獻(xiàn)，但1925年他在絕望中去世時(shí)抑胎，痛苦地認(rèn)為自己一生的工作毫無(wú)結(jié)果燥滑。而且在耶拿大學(xué)，因?yàn)橥虏⒉缓苄蕾p他的工作阿逃，這位偉大的邏輯學(xué)家竟然從未晉升為正教授铭拧。即便不能完全理解其思想的讀者赃蛛，讀這樣的文字時(shí)，心里大約仍會(huì)涌起各式各樣的滋味吧搀菩。
? ? ? ? 作者還善于在數(shù)學(xué)家的生平介紹中融入許多相關(guān)的趣聞逸事焊虏。這既增添了趣味性使敘述更引人入勝，又會(huì)為讀者帶來(lái)意料之外的閱讀快感秕磷。當(dāng)發(fā)現(xiàn)以《牛虻》一書而聞名的作者莉莉與布爾的小女兒劃上等號(hào)時(shí)诵闭，我們當(dāng)會(huì)為這預(yù)料之外的聯(lián)結(jié)而欣喜一下的吧。
? ? ? ? 另讓人極為稱道的是本書的結(jié)構(gòu)澎嚣。全書自萊布尼茲之夢(mèng)開(kāi)始疏尿，以超越萊布尼茲之夢(mèng)收結(jié)，中間介紹數(shù)位數(shù)學(xué)家在邏輯領(lǐng)域的成就易桃，并不時(shí)以萊布尼茲之夢(mèng)做準(zhǔn)繩衡量后續(xù)發(fā)展褥琐。在每一章中，將數(shù)學(xué)家之生平與思想揉合在一起晤郑。在各章之間敌呈，極其注意聯(lián)結(jié)，使兩章之間的過(guò)渡變得更為自然造寝。在書的尾聲中磕洪，作者又以本書所講故事為例，強(qiáng)調(diào)了觀念的力量以及預(yù)測(cè)它們結(jié)果的徒勞诫龙，呼吁讀者對(duì)抽象思想的價(jià)值多一份敬意析显。絲絲入扣的章節(jié)安排，真是處處顯出作者之匠心签赃。
