钢铁小说网

手机浏览器扫描二维码访问

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

“什么叫‘小事’？我推了那个怪物一把啊！”

维利大喊：“那条狗都输了，我不可能赢的！”

“那只是运气好！”

以诺恶狠狠的说道：“只是大老爷好心肠而已！

呸，什么赢了。

他不是还倒在地上说‘我输了我输了’什么的吗？这种懦夫……呸！”

“你不能不管我！”

维利尖叫：“我们把那个小孩子骗出来吧！

不管是碾碎了还是拆成零件卖了……”

“嘿！

你疯了！”

以诺吓了一跳。

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

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

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

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

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

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

这样，我请你看点好看的，怎么样？”

“好看的？”

维利有些迷惘：“是什么？竞技会？还是新游戏？”

“比那个刺激多了……来来，上车！”

以诺身上没有驾驶位。

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

尘土飞扬。

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

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

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

某些回忆闪闪发光。

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

不过，某些“知识”

成分的东西却在提醒他，那个人是历史上有名的程序员，是曾经决定了历史面貌的人。

向山和“这个人”

有很深的交情，所以他学到了关于编程的“一切”

。

这东西的本质是“数学”

。

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

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

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

的全新领域。

在这个领域中，一些数学概念被套上“文字”

的外衣，用代数结构产生的形式自然的表明着它们自身。

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

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

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

请关闭浏览器阅读模式后查看本章节，否则将出现无法翻页或章节内容丢失等现象。