? 當我獨自坐在宿舍的椅子上,忽然覺得自己是那么的無知可笑,對計算機一無所知的我終于清楚,從龐然大物到靈巧輕便,并不是簡單的說說而已,更多的是靠那一代人的心血,計算機里卻寫的秘密的東西,今天才不感覺那么神秘。這么說讓我愛上了計算機的研制歷程和新型計算機學科。
? 在書中,當我讀到萊布尼茨十歲時,老師把亞里士多德于2000年提出的邏輯系統(tǒng)告訴他,讓他產(chǎn)生了奇思妙想。他想尋求一張?zhí)厥獾淖帜副恚湓乇硎镜牟皇锹曇?,而是概念,這個想法也變成計劃是著實令我震驚,一本涵蓋全人類知識的全部范圍的綱要或者百科全書。更不用說,后來他為計劃矢志不渝,他獨自一人發(fā)明了微積分,1674年,他描述了一種能夠解代數(shù)方程的機器,此后的一年內(nèi)他為這種機械編寫出了相應(yīng)的邏輯推理。當我讀到喬治·布爾,他敢于挑戰(zhàn)權(quán)威,不被傳統(tǒng)觀念束縛思想。打破了那時人們“普遍相信三段論推理便構(gòu)成了邏輯的全部”的論點。雖然布爾的工作距離,與實現(xiàn)萊布尼茨的夢想相差甚遠。但他提出的冪等律的規(guī)則:α∩α=α,α∪α=α。他的偉大成就,一勞永逸地證明邏輯演繹可以成為數(shù)學的分支。但我認為,布爾的邏輯系統(tǒng)似乎更像一個經(jīng)典的命題邏輯系統(tǒng),后來,有一個弗雷格的人同樣未能實現(xiàn),但布爾邏輯卻更進了一大步。摩托爾更是在實無限,超限數(shù),超限序數(shù),,連續(xù)統(tǒng)一假設(shè)對角線方法中有所成就。他們將前人的疑問一點點解決,后文寫到希爾伯可以把幾何公理系統(tǒng)的一致性歸結(jié)于算術(shù)系統(tǒng)的一致性,和可德爾完備性及不完備性定理,不可判定命題,這些所有的一塊構(gòu)成了未來的圖靈構(gòu)想通用計算機,想到用來計算二進制數(shù)的乘法。終于,第一代計算機誕生,現(xiàn)代計算機應(yīng)該是邏輯與工程的混合產(chǎn)物,絕不能簡單歸功于某一個人。
? 所以,未來合作與善于發(fā)現(xiàn)他人智慧,并能夠運用與他人正確方法,才會有最大的成就,萊布尼茨之夢便不是夢。