在物理學(xué)家牛頓的一生之中，大抵上有兩個(gè)敵人是他一直竭力與之抗?fàn)幍?，一位是胡克，以前學(xué)習(xí)高中物理的時(shí)候，彈簧系數(shù)又稱胡克系數(shù)，當(dāng)時(shí)的我們，并沒有意識(shí)到胡克曾經(jīng)是可以匹敵牛頓的科學(xué)巨匠。而另一位則和牛頓相愛相殺直到逝世，他的名字叫萊布尼茨。
當(dāng)年的很多見證者已經(jīng)隨風(fēng)逝去，很多歷史已經(jīng)不可考，牛頓剛剛開始是欣賞這個(gè)頭腦和自己相當(dāng)?shù)娜R布尼茨的，然而兩個(gè)人最終還是在微積分的歸屬上反目成仇，牛頓幾乎是用盡自己全身最后一分力氣，想要將萊布尼茨的名字從微積分的歷史的當(dāng)中抹去，然而我們現(xiàn)在的高等代數(shù)的教材上，我們卻仍然看到了一個(gè)以牛頓和萊布尼茨的名字命名的公式：牛頓-萊布尼茨公式
兩者爭(zhēng)斗了一輩子，最后卻合體在了凝結(jié)彼此心血的公式當(dāng)中，名垂青史，然而牛頓沒有想到的是，萊布尼茨盡管沒有在數(shù)學(xué)史的爭(zhēng)斗中落敗，卻在人類計(jì)算機(jī)的發(fā)展史當(dāng)中留下了名字。
如果回顧萊布尼茨的一生的話，我想“千面怪才”的稱呼對(duì)于他來講應(yīng)該非常合適。4個(gè)世紀(jì)以前，如果有一個(gè)人已經(jīng)在數(shù)學(xué)、哲學(xué)、神學(xué)和法學(xué)等等領(lǐng)域做出過許多成就，甚至還擔(dān)任宮廷的外交職務(wù)，按照我們通常的想法，這個(gè)人一定就是我們口中說的“成功人士”。然而萊布尼茨卻仍然窮困潦倒，他一生的當(dāng)中都在尋求著資助，就好像為了夢(mèng)想到處融資的創(chuàng)業(yè)者一樣，想要有資金的支持來實(shí)現(xiàn)自己心中的夢(mèng)想。
早從10歲開始，他就已經(jīng)熟讀亞里士多德的理論，從此沉迷于希臘偉大哲學(xué)家亞里士多德的研究，這讓他漸漸產(chǎn)生了新的想法：他希望尋求一掌特殊的字母表，這里邊的元素僅僅表示概念，而我們用這些概念通過發(fā)展為一門語(yǔ)言，我們僅憑符號(hào)演算就可以獲知用這些句子寫成的句子哪些為真，哪些為假。
他一步一步地實(shí)現(xiàn)著自己的理想，1675年他為一個(gè)機(jī)械裝置寫了邏輯推理的演算規(guī)則，制成了完成這些演算的機(jī)器。在他接觸到二進(jìn)制的時(shí)候，他發(fā)現(xiàn)任何數(shù)字都可以僅僅用0和1表示出來的時(shí)候，他被這一系統(tǒng)的美麗簡(jiǎn)潔震撼了。這意味著，我們可以用0和1兩個(gè)數(shù)字記錄我們?nèi)祟惖乃兄R(shí)和信息，甚至我們可以用這些符號(hào)來進(jìn)行推理演算，我們的宇宙的規(guī)律，可以用一種簡(jiǎn)單的符號(hào)演算，就可以全部推演出來——這是怎樣的令人心動(dòng)和驚訝！
然而他沒有能夠看到自己夢(mèng)想的實(shí)現(xiàn)，他很快就去世了。另一個(gè)人繼承了他的夢(mèng)想，讓他的設(shè)想煥發(fā)了生機(jī)。這個(gè)人的名字叫喬治·布爾。今天的計(jì)算機(jī)邏輯運(yùn)算教材之中，仍然寫著他的名字。他發(fā)現(xiàn)邏輯推理之中，類似名詞“河馬”“老虎”這樣的詞語(yǔ)之中，它們描述的所有個(gè)體的類可以用字母來表示，而且一個(gè)命題的表達(dá)可以通過概念與概念之間的演算來完成。然而僅僅是這些的話，仍然離實(shí)現(xiàn)萊布尼茨的夢(mèng)想，還有很大的距離。
1912年，一個(gè)重要的數(shù)學(xué)天才誕生，他的名字叫阿蘭·圖靈。在他的老師紐曼的啟發(fā)下，他發(fā)現(xiàn)了通用計(jì)算機(jī)器的一個(gè)數(shù)學(xué)模型，通過某種算法程序可計(jì)算的任何東西都可以通過一臺(tái)圖靈機(jī)來計(jì)算。如果我們可以證明某項(xiàng)任務(wù)無法用圖靈機(jī)來完成，那么就可以說沒有任何算法程序來完成這項(xiàng)任務(wù)——這個(gè)圖靈檢驗(yàn)的光輝直到現(xiàn)在的算法理論也未曾褪去其光輝。
圖靈從未停止思考通用機(jī)概念的可應(yīng)用性，他甚至猜想這些通用性的概念揭示了人類的大腦擁有強(qiáng)大能力的秘密，甚至可以說我們大腦其實(shí)也是一臺(tái)功效強(qiáng)大的通用機(jī)。這樣的視角完全打破了我們對(duì)于大腦的認(rèn)知，過去的醫(yī)學(xué)學(xué)者們僅僅認(rèn)為我們腦海之中的印象僅僅只是生物化學(xué)的反應(yīng)結(jié)果而已，一臺(tái)完全依賴概念和計(jì)算的機(jī)器是否有可能取代我們的大腦？
如今的AI正在逐漸將圖靈的猜想深入下去，阿爾法狗和李世石的圍棋大戰(zhàn)已經(jīng)讓人感嘆AI智能的強(qiáng)大，到了阿爾法狗戰(zhàn)勝了世界排名第一的柯潔，我們已經(jīng)徹底在AI的高超能力下瑟瑟發(fā)抖。
我們目睹著人類計(jì)算機(jī)的演進(jìn)和互聯(lián)網(wǎng)的興起，一個(gè)問題仍然讓我們感到困惑：邏輯和計(jì)算之間如何產(chǎn)生彼此的關(guān)聯(lián)？答案是估計(jì)。
用數(shù)進(jìn)行估計(jì)本身就是一種推理形式，人們作的大量推理本身就可以被看成一種計(jì)算，當(dāng)我們不斷地接近一個(gè)正確值的時(shí)候，我們的推理已經(jīng)逐漸接近真正的事實(shí)，我們并不知道，阿爾法狗在演算的同時(shí)，究竟是否產(chǎn)生了真正的“思維”和“意識(shí)”，它們會(huì)進(jìn)化之后，是否在漫長(zhǎng)的歲月中，會(huì)進(jìn)化出一種類似于”感情“的事物？
這個(gè)問題只能等待時(shí)間來解答了。
