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

以諾本來就被這個家伙糾纏得有點煩了。但他又覺得讓這個家伙就這樣行動，尤基出了事，說不定會牽連到自己。以諾便說道：“多大點事……這樣吧，我今天本來就打算到城里樂一樂。這樣，我請你看點好看的，怎么樣？”

“好看的？”維利有些迷惘：“是什么？競技會？還是新游戲？”

“比那個刺激多了……來來，上車！”

以諾身上沒有駕駛位。他將貨斗略略傾斜，讓維利自己扒上去。

塵土飛揚。

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

“一個真正的程序員，他的編程從裸機開始!”

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

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

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

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

編程，是語言學，也是數(shù)學。

或者說，語言學就是一種數(shù)學。

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

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

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

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

而與此同時，語言學家也沿著相反的方向，抵達了相同的境界。

如果說現(xiàn)代語言學起源自費爾迪南·德·索緒爾，那么諾姆·喬姆斯基就是索緒爾之