免费看书

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

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

“你不能不管我!”

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

“嘿!你疯了!”

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

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

“好看的?”

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

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

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

尘土飞扬。

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

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

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

某些回忆闪闪光。向山已经记不清这是什么人对他说的了。不过,某些“知识”

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

向山和“这个人”

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

这东西的本质是“数学”

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

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

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

的全新领域。在这个领域中,一些数学概念被套上“文字”

的外衣,用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。

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

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

“语言”

之中,存在“不可判定性问题”

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

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

热门小说推荐
幕后主宰:正派反派都是我!

幕后主宰:正派反派都是我!

一觉醒来,李维惊讶的现自己突然就成为了神,但尴尬的是,空有神格,没有神力和神术,纯纯白板神,好在人们的崇拜和恐惧都可以化为神力,还能展神使创造神术,好吧,传承千年的正派组织和潜藏千年的反派组织出现了,开打开打!总不能祸害自己人,还是去国外搞事吧,阴阳师vs百鬼夜行,驱魔师vs血族狼人,圣骑士vs亡灵巫妖无女主,幕后流,本体也会作为大boss在乱斗中出战。...

诸天无敌剑修叶观

诸天无敌剑修叶观

我有一剑,出鞘即无敌!...

学姐快住口!

学姐快住口!

催更!今天的怎么还没更新?学姐,现在才早上六点。那昨天的怎么说?才一更!恋爱日常文很吃细节,码字的时候需要灵感的。那你灵感怎么来的?明明就单身。靠想象。那还不如谈个恋爱,还能顺带取材。要码字,没空。要不我帮你?帮我码字?当然是谈恋爱了!学姐,别开玩笑了。大学日常狗粮文,单女主,不狗血,不虐恋。(已有高订两万的完本老书我女友是up主,同样是日常狗粮文,欢迎开宰)另本书内容纯属虚构,与作者本人经历无关...

火影山中鬼丸的斩男日记

火影山中鬼丸的斩男日记

简介关于火影山中鬼丸的斩男日记好消息,你中了五百万!坏消息,你被卡车送走了!好消息,你没死穿越成了忍者!坏消息,你刚进入根部被下了咒印!好消息,你有挂人生模拟器!坏消息,三天后执行任务的时候你会挂!...

一织繁花

一织繁花

清冷傲娇古典非遗绣娘陈桑梓x理智淡漠天才机械设计师顾莳一现代言情HE治愈双向奔赴1v1纯爱顾莳一没想到,自己只是出门钓个鱼,竟然钓上来一只绣花鞋,救了人还被当成杀人犯?出门钓鱼带砍柴刀不很正常吗?这女人是有病吧?后来发现陈桑梓确实有病,她是患有回避型人格的天才刺绣匠人纹样设计师,与繁华的世俗格格不入。再后来,顾莳一发现,她的病可能会感染,因为他总能在芸芸人海中,一眼看到她...

影帝想吃回头草

影帝想吃回头草

分手三年,前男友成了当红影帝,还彻底黑化了周早早吓得瑟瑟抖如何能让影帝先生忘记自己这个又渣又瞎前女友,出尽胸中恶气放下过往恩怨从此两人相忘江湖老死不相往来她为什么这么怕前世她倒是没怕,还跟...

每日热搜小说推荐