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