赛博英雄传第17章 语言与数学

维利有几分仓皇。

他看到尤利娅家的那个小鬼真的走远之后才跑了起来。

刚才那个小鬼撞到他身上的时候他真的吓坏了。

他可是尽了最大的努力才控制住自己的。

“不能这样下去了……” 维利这么想着快速奔跑很快就离开村子边缘蹲在大路旁边。

烟尘滚滚而至。

维利站了起来挥动双手。

汽笛轰鸣。

在刹车声与爆炸般的扬尘之中一个黑影停在维利面前。

随后是调整摄像头焦距的声音。

过了半晌一个粗犷的声音才说道：“维利？你为什么在这里？” “以诺……”维利声音颤抖：“我好害怕啊以诺。

” 维利靠着重型工人们过活自然知道他们的日常。

他知道以诺这个时候很有可能会路过这条路。

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

维利尖叫：“昨天可是你让我推那这家伙出去的！是你啊！你不能不管我！不然的话……不然的话……”维利说着发出哭声：“以诺大哥！我……” 他一开始的时候确实是想要讨好以诺这才答应他“整一下‘约格’”的。

以诺是重型机械里最大方的一个。

最重要的是以诺很懒经常雇佣其他工人装卸。

只要能和以诺交好那维利就可以不愁工作了。

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

他居然真的能够战胜一个武者！ 以诺语气也有几分紧张：“他发现你了？不对啊？当时周围都是我们这边的人……他们都参与了不可能去告发我们的。

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

“尤基？他看到了？”以诺犯了难。

他确实觉得尤基这个玩意很烦如果不是尤基说不定尤利娅就接受他了——甚至向山都是尤基挖出来的。

“他刚才走在街上撞了我一下！他撞了我一下！”维利尖叫：“那个小崽子肯定是看到了！不然的话……不然的话……” “靠就撞了一下？”以诺啼笑皆非：“就这点小事？” “什么叫‘小事’？我推了那个怪物一把啊！”维利大喊：“那条狗都输了我不可能赢的！” “那只是运气好！”以诺恶狠狠的说道：“只是大老爷好心肠而已！呸什么赢了。

他不是还倒在地上说‘我输了我输了’什么的吗？这种懦夫……呸！” “你不能不管我！”维利尖叫：“我们把那个小孩子骗出来吧！不管是碾碎了还是拆成零件卖了……” “嘿！你疯了！”以诺吓了一跳。

他可是真的打算要和尤利娅在一起的。

以诺知道自己的性格他守不住秘密。

他要是动了尤基就没法和尤利娅在一起了。

以诺本来就被这个家伙纠缠得有点烦了。

但他又觉得让这个家伙就这样行动尤基出了事说不定会牵连到自己。

以诺便说道：“多大点事……这样吧我今天本来就打算到城里乐一乐。

这样我请你看点好看的怎么样？” “好看的？”维利有些迷惘：“是什么？竞技会？还是新游戏？” “比那个刺激多了……来来上车！” 以诺身上没有驾驶位。

他将货斗略略倾斜让维利自己扒上去。

尘土飞扬。

………………………………………………………………………… “一个真正的程序员他的编程从裸机开始!” “一个真正的程序员不存在面向对象与面向过程之分也不存在强类型与类型不安全之别从机器语言到汇编器到编译器到无数高级应用程序他无所不通！” 某些回忆闪闪发光。

向山已经记不清这是什么人对他说的了。

不过某些“知识”成分的东西却在提醒他那个人是历史上有名的程序员是曾经决定了历史面貌的人。

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

这东西的本质是“数学”。

编程是语言学也是数学。

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

二战结束的前后数学家们开辟出了一个被称作“字问题”的全新领域。

在这个领域中一些数学概念被套上“文字”的外衣用代数结构产生的形式自然的表明着它们自身。

数学家们尝试使用语言学的规则玩弄数学。

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

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

“语言”之中存在“不可判定性问题”。

这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。

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

如果说现代语言学起源自费尔迪南·德·索绪尔那么诺姆·乔姆斯基就是索绪尔之后的高峰。

而乔姆斯基除了作为语言学家、哲学家与社会学家广为人知之外他还可以算是一个数学家。

这章没有结束请点击下一页继续阅读！。

本文地址赛博英雄传第17章 语言与数学来源 http://www.kangbite.net