第十七章 语言与数学（1/2）

维利有几分仓皇。他看到尤利娅家的那个小鬼真的走远之后，才跑了起来。

刚才那个小鬼撞到他身上的时候，他真的吓坏了。他可是尽了最大的努力，才控制住自己的。

「不能这样下去了……」

维利这么想着，快速奔跑，很快就离开村子边缘，蹲在大路旁边。烟尘滚滚而至。维利站了起来，挥动双手。

汽笛轰鸣。在刹车声与爆炸般的扬尘之中，一个黑影停在维利面前。随后是调整摄像头焦距的声音。过了半晌，一个粗犷的声音才说道：「维利？你为什么在这里？」

「以诺……」维利声音颤抖：「我好害怕啊，以诺。」

维利靠着重型工人们过活，自然知道他们的日常。他知道，以诺这个时候很有可能会路过这条路。

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

维利尖叫：「昨天可是你让我推那这家伙出去的！是你啊！你不能不管我！不然的话……不然的话……」维利说着，发出哭声：「以诺大哥！我……」

他一开始的时候，确实是想要讨好以诺，这才答应他「整一下『约格』」的。以诺是重型机械里最大方的一个。最重要的是，以诺很懒，经常雇佣其他工人装卸。只要能和以诺交好，那维利就可以不愁工作了。

但维利是真的没想到，那个「约格」……不，那个「山」好像真的很厉害。

他居然真的能够战胜一个武者！

以诺语气也有几分紧张：「他发现你了？不对啊？当时周围都是我们这边的人……他们都参与了，不可能去告发我们的。」

「尤利娅家的那个小崽子啊！」维利尖叫。

「尤基？他看到了？」以诺犯了难。他确实觉得尤基这个玩意很烦，如果不是尤基，说不定尤利娅就接受他了——甚至向山都是尤基挖出来的。

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

「靠，就撞了一下？」以诺啼笑皆非：「就这点小事？」

「什么叫『小事』？我推了那个怪物一把啊！」维利大喊：「那条狗都输了，我不可能赢的！」

「那只是运气好！」以诺恶狠狠的说道：「只是大老爷好心肠而已！呸，什么赢了。他不是还倒在地上说『我输了我输了』什么的吗？这种懦夫……呸！」

「你不能不管我！」维利尖叫：「我们把那个小孩子骗出来吧！不管是碾碎了还是拆成零件卖了……」

「嘿！你疯了！」以诺吓了一跳。他可是真的打算要和尤利娅在一起的。以诺知道自己的性格，他守不住秘密。他要是动了尤基，就没法和尤利娅在一起了。

以诺本来就被这个家伙纠缠得有点烦了。但他又觉得让这个家伙就这样行动，尤基出了事，说不定会牵连到自己。以诺便说道：「多大点事……这样吧，我今天本来就打算到城里乐一乐。这样，我请你看点好看的，怎么样？」

「好看的？」维利有些迷惘：「是什么？竞技会？还是新游戏？」

「比那个刺激多了……来来，上车！」

以诺身上没有驾驶位。他将货斗略略倾斜，让维利自己扒上去。

尘土飞扬。

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

「一个真正的程序员，他的编程从裸机开始!」

「一个真正的程序员，不存在面向对象与面向过程之分，也不存在强类型与类型不安全之别，从机器语言到汇编器到编译器到无数高级应用程序，他无所不通！」

某些回忆闪闪发光。向山已经记不清这是什么人对他说的了。不过，某些「知识」成分的东西却在提醒他，那个人是历史上有名的程序员，是曾经决定了历史面貌的人。

向山和「这个人」有很深的交情，所以他学到了关于编程的「一切」。

这东西的本质是「数学」。

编程，是语言学，也是数学。

或者说，语言学就是一种数学。

二战结束的前后，数学家们开辟出了一个被称作「字问题」的全新领域。在这个领域中，一些数学概念被套上「文本」的外衣，用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。

1944年，美国逻辑学家，人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。

而在1947年，安德烈·马尔可夫之子，阿纳托利·马尔可夫也不知晓波斯特工作的前提下，做出了一样的证明。

「语言」之中，存在「不可判定性问题」。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。

而与此同时，语言学家也沿着相反的方向，抵达了相同的境界。

如果说现代语言学起源自费尔迪南·德·索绪尔，那么诺姆·乔姆斯基就是索绪尔之后的高峰。而乔姆斯基除了作为语言学家、哲学家与社会学家广为人知之外，他还可以算是一个数学家。

他对语言学的研究，甚至被录入了数学史之中。

「上下文无关语言的语法」和「正则语言的语法」这两个由乔姆斯基创造的领域，在计算机科学理论之中，也有相当的地位。

本章未完，点击下一页继续阅读。