当前位置: 笔趣阁> 科幻传奇> 赛博英雄传> 第十七章 语言与数学

第十七章 语言与数学

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

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

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

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

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

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

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

尘土飞扬。

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

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

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

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

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

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

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

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

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

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

章节目录