，賽博英雄傳！

維利有幾分倉皇。他看到尤利婭家的那個小鬼真的走遠之後，才跑了起來。

剛才那個小鬼撞到他身上的時候，他真的嚇壞了。他可是盡了最大的努力，才控制住自己的。

「不能這樣下去了……」

維利這么想著，快奔跑，很快就離開村子邊緣，蹲在大路旁邊。煙塵滾滾而至。維利站了起來，揮動雙手。

汽笛轟鳴。在剎車聲與爆炸般的揚塵之中，一個黑影停在維利面前。隨後是調整攝像頭焦距的聲音。過了半晌，一個粗獷的聲音才說道：「維利？你為什么在這里？」

「以諾……」維利聲音顫抖：「我好害怕啊，以諾。」

維利靠著重型工人們過活，自然知道他們的日常。他知道，以諾這個時候很有可能會路過這條路。

「嘿！你有什么好怕怕的？」以諾毫不在乎。

維利尖叫：「昨天可是你讓我推那這家伙出去的！是你啊！你不能不管我！不然的話……不然的話……」維利說著，出哭聲：「以諾大哥！我……」

他一開始的時候，確實是想要討好以諾，這才答應他「整一下『約格』」的。以諾是重型機械里最大方的一個。最重要的是，以諾很懶，經常雇佣其他工人裝卸。只要能和以諾交好，那維利就可以不愁工作了。

但維利是真的沒想到，那個「約格」……不，那個「山」好像真的很厲害。

他居然真的能夠戰勝一個武者！

以諾語氣也有幾分緊張：「他現你了？不對啊？當時周圍都是我們這邊的人……他們都參與了，不可能去告我們的。」

「尤利婭家的那個小崽子啊！」維利尖叫。

「尤基？他看到了？」以諾犯了難。他確實覺得尤基這個玩意很煩，如果不是尤基，說不定尤利婭就接受他了——甚至向山都是尤基挖出來的。

「他剛才走在街上，撞了我一下！他撞了我一下！」維利尖叫：「那個小崽子肯定是看到了！不然的話……不然的話……」

「靠，就撞了一下？」以諾啼笑皆非：「就這點小事？」

「什么叫『小事』？我推了那個怪物一把啊！」維利大喊：「那條狗都輸了，我不可能贏的！」

「那只是運氣好！」以諾惡狠狠的說道：「只是大老爺好心腸而已！呸，什么贏了。他不是還倒在地上說『我輸了我輸了』什么的嗎？這種懦夫……呸！」

「你不能不管我！」維利尖叫：「我們把那個小孩子騙出來吧！不管是碾碎了還是拆成零件賣了……」

「嘿！你瘋了！」以諾嚇了一跳。他可是真的打算要和尤利婭在一起的。以諾知道自己的性格，他守不住秘密。他要是動了尤基，就沒法和尤利婭在一起了。

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

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

「比那個刺激多了……來來，上車！」

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

塵土飛揚。

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

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

「一個真正的程序員，不存在面向對象與面向過程之分，也不存在強類型與類型不安全之別，從機器語言到匯編器到編譯器到無數高級應用程序，他無所不通！」

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

向山和「這個人」有很深的交情，所以他學到了關於編程的「一切」。

這東西的本質是「數學」。

編程，是語言學，也是數學。

或者說，語言學就是一種數學。

二戰結束的前後，數學家們開辟出了一個被稱作「字問題」的全新領域。在這個領域中，一些數學概念被套上「文字」的外衣，用代數結構產生的形式自然的表明著它們自身。數學家們嘗試使用語言學的規則玩弄數學。

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

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

「語言」之中，存在「不可判定性問題」。這是第一個並非由人類提出、並非出現在計算科學領域的不可判定性問題。

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

如果說現代語言學起源自費爾迪南·德·索緒爾，那么諾姆·喬姆斯基就是索緒爾之後的高峰。而喬姆斯基除了作為語言學家、哲學家與社會學家廣為人知之外，他還可以算是一個數學家。