《邏輯的引擎》講述的是我們的現(xiàn)代計(jì)算機(jī)所基于的那些基本概念和發(fā)展出這些概念的人。計(jì)算機(jī)從二十世紀(jì)五十年代的塞滿整個(gè)房間的龐然大物,逐漸演變成今天輕巧而強(qiáng)大的能夠完成各種任務(wù)的機(jī)器,在這整個(gè)過程中,其背后的邏輯始終保持如一。
書中主要人物萊布尼茨,是17、18世紀(jì)之交德國(guó)著名的自然科學(xué)家、數(shù)學(xué)家、哲學(xué)家。他的研究范圍涉及自然科學(xué)與社會(huì)科學(xué)的很多領(lǐng)域,幾乎在每一個(gè)相關(guān)領(lǐng)域都有杰出成果,被譽(yù)為罕見的科學(xué)天才。由于他獨(dú)立創(chuàng)建了微積分,并發(fā)明了優(yōu)越的微積分符號(hào),使他更多以數(shù)學(xué)家的稱號(hào)聞名于世。
而菜布尼茨一生著作豐碩,重點(diǎn)介紹這位科學(xué)大師對(duì)人生、藝術(shù)、及其在科學(xué)思想、科學(xué)方法。這些既可以作為科學(xué)方法論為我們?cè)诳蒲袆?chuàng)新中提供參考,也可以為我們感悟科學(xué)大師的人文思想打開一扇直接交流的閱讀窗口。讓我們走近科學(xué)大師的思想深處,切實(shí)感受理性思維對(duì)科學(xué)創(chuàng)造的深刻影響。
? 十七世紀(jì)時(shí),一位德國(guó)人頭腦中閃現(xiàn)出這樣一個(gè)思想:
? 創(chuàng)造一種普遍的人工數(shù)學(xué)語言和演算規(guī)劃進(jìn)行一種百科全書的匯編,知識(shí)的任何一個(gè)方 面都可以用這種數(shù)學(xué)語言表達(dá)出來,而演算規(guī)劃將揭示這些命題之間所有的邏輯關(guān)系。
? 這個(gè)人就是萊布尼茨,一個(gè)一生都在希望“在藝術(shù)和科學(xué)領(lǐng)域中為了人類的利益自由地進(jìn)行研究”的人。他夢(mèng)想能夠制造出完成這些演算的機(jī)器,從而使心靈從創(chuàng)造性的思考中解脫出來。