吾道長(zhǎng)不孤提示您：看后求收藏（詩(shī)鼎小說(shuō)網(wǎng)網(wǎng)m.autocad360.cn），接著再看更方便。

以諾本來(lái)就被這個(gè)家伙糾纏得有點(diǎn)煩了。但他又覺(jué)得讓這個(gè)家伙就這樣行動(dòng)，尤基出了事，說(shuō)不定會(huì)牽連到自己。以諾便說(shuō)道：“多大點(diǎn)事……這樣吧，我今天本來(lái)就打算到城里樂(lè)一樂(lè)。這樣，我請(qǐng)你看點(diǎn)好看的，怎么樣？”

“好看的？”維利有些迷惘：“是什么？競(jìng)技會(huì)？還是新游戲？”

“比那個(gè)刺激多了……來(lái)來(lái)，上車(chē)！”

以諾身上沒(méi)有駕駛位。他將貨斗略略?xún)A斜，讓維利自己扒上去。

塵土飛揚(yáng)。

…………………………………………………………………………

“一個(gè)真正的程序員，他的編程從裸機(jī)開(kāi)始!”

“一個(gè)真正的程序員，不存在面向?qū)ο笈c面向過(guò)程之分，也不存在強(qiáng)類(lèi)型與類(lèi)型不安全之別，從機(jī)器語(yǔ)言到匯編器到編譯器到無(wú)數(shù)高級(jí)應(yīng)用程序，他無(wú)所不通！”

某些回憶閃閃發(fā)光。向山已經(jīng)記不清這是什么人對(duì)他說(shuō)的了。不過(guò)，某些“知識(shí)”成分的東西卻在提醒他，那個(gè)人是歷史上有名的程序員，是曾經(jīng)決定了歷史面貌的人。

向山和“這個(gè)人”有很深的交情，所以他學(xué)到了關(guān)于編程的“一切”。

這東西的本質(zhì)是“數(shù)學(xué)”。

編程，是語(yǔ)言學(xué)，也是數(shù)學(xué)。

或者說(shuō)，語(yǔ)言學(xué)就是一種數(shù)學(xué)。

二戰(zhàn)結(jié)束的前后，數(shù)學(xué)家們開(kāi)辟出了一個(gè)被稱(chēng)作“字問(wèn)題”的全新領(lǐng)域。在這個(gè)領(lǐng)域中，一些數(shù)學(xué)概念被套上“文字”的外衣，用代數(shù)結(jié)構(gòu)產(chǎn)生的形式自然的表明著它們自身。數(shù)學(xué)家們嘗試使用語(yǔ)言學(xué)的規(guī)則玩弄數(shù)學(xué)。

1944年，美國(guó)邏輯學(xué)家，人工智能先驅(qū)埃米爾·波斯特就證明了字問(wèn)題具備不可判定性。

而在1947年，安德烈·馬爾可夫之子，阿納托利·馬爾可夫也不知曉波斯特工作的前提下，做出了一樣的證明。

“語(yǔ)言”之中，存在“不可判定性問(wèn)題”。這是第一個(gè)并非由人類(lèi)提出、并非出現(xiàn)在計(jì)算科學(xué)領(lǐng)域的不可判定性問(wèn)題。

而與此同時(shí)，語(yǔ)言學(xué)家也沿著相反的方向，抵達(dá)了相同的境界。

如果說(shuō)現(xiàn)代語(yǔ)言學(xué)起源自費(fèi)爾迪南·德·索緒爾，那么諾姆·喬姆斯基就是索緒爾之