「嘿！你疯了！」以诺吓了一跳。他可是真的打算要和尤利娅在一起的。以诺知道自己的性格，他守不住秘密。他要是动了尤基，就没法和尤利娅在一起了。
以诺本来就被这个家伙纠缠得有点烦了。但他又觉得让这个家伙就这样行动，尤基出了事，说不定会牵连到自己。以诺便说道：「多大点事……这样吧，我今天本来就打算到城里乐一乐。这样，我请你看点好看的，怎幺样？」
「好看的？」维利有些迷惘：「是什幺？竞技会？还是新游戏？」
「比那个刺激多了……来来，上车！」
以诺身上没有驾驶位。他将货斗略略倾斜，让维利自己扒上去。
尘土飞扬。
…………………………………………………………………………
「一个真正的程式设计师，他的编程从裸机开始!」
「一个真正的程式设计师，不存在面向对象与面向过程之分，也不存在强类型与类型不安全之别，从机器语言到汇编器到编译器到无数高级应用程式，他无所不通！」
某些回忆闪闪发光。向山已经记不清这是什幺人对他说的了。不过，某些「知识」成分的东西却在提醒他，那个人是历史上有名的程式设计师，是曾经决定了历史面貌的人。
向山和「这个人」有很深的交情，所以他学到了关于编程的「一切」。
这东西的本质是「数学」。
编程，是语言学，也是数学。
或者说，语言学就是一种数学。
二战结束的前后，数学家们开辟出了一个被称作「字问题」的全新领域。在这个领域中，一些数学概念被套上「文字」的外衣，用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。
1944年，美国逻辑学家，人工智慧先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年，安德烈·马尔可夫之子，阿纳托利·马尔可夫也不知晓波斯特工作的前提下，做出了一样的证明。
「语言」之中，存在「不可判定性问题」。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时，语言学家也沿着相反的方向，抵达了相同的境界。
如果说现代语言学起源自费尔迪南·德·索绪尔，那幺诺姆·乔姆斯基就是索绪尔之后的高峰。而乔姆斯基除了作为语言学家、哲学家与社会学家广为人知之外，他还可以算是一个数学家。
他对语言学的研究，甚至被录入了数学史之中。
