青蜂侠小说
  1. 青蜂侠小说
  2. 耽美小说
  3. 赛博英雄传
  4. 第十七章 语言与数学
设置

第十七章 语言与数学(1 / 2)


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

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

“不能这样下去了……”

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

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

“以诺……”维利声音颤抖:“我好害怕啊,以诺。”

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

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

维利尖叫:“昨天可是你让我推那这家伙出去的!是你啊!你不能不管我!不然的话……不然的话……”维利说着,发出哭声:“以诺大哥!我……”

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

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

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

以诺语气也有几分紧张:“他发现你了?不对啊?当时周围都是我们这边的人……他们都参与了,不可能去告发我们的。”

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

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

“他刚才走在街上,撞了我一下!他撞了我一下!”维利尖叫:“那个小崽子肯定是看到了!不然的话……不然的话……”

“靠,就撞了一下?”以诺啼笑皆非:“就这点小事?”

“什么叫‘小事’?我推了那个怪物一把啊!”维利大喊:“那条狗都输了,我不可能赢的!”

“那只是运气好!”以诺恶狠狠的说道:“只是大老爷好心肠而已!呸,什么赢了。他不是还倒在地上说‘我输了我输了’什么的吗?这种懦夫……呸!”

“你不能不管我!”维利尖叫:“我们把那个小孩子骗出来吧!不管是碾碎了还是拆成零件卖了……”

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

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

“好看的?”维利有些迷惘:“是什么?竞技会?还是新游戏?”

“比那个刺激多了……来来,上车!”

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

尘土飞扬。

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

“一个真正的程序员,他的编程从裸机开始!”

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

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

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

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

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

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

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

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

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

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

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

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

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


设置
字体格式: 字体颜色: 字体大小: 背景颜色:

回到顶部