手机浏览器扫描二维码访问
第十七章 语言与数学（第2页）
“你不能不管我！”
维利尖叫：“我们把那个小孩子骗出来吧！不管是碾碎了还是拆成零件卖了……”
“嘿！你疯了！”
以诺吓了一跳。他可是真的打算要和尤利娅在一起的。以诺知道自己的性格，他守不住秘密。他要是动了尤基，就没法和尤利娅在一起了。
以诺本来就被这个家伙纠缠得有点烦了。但他又觉得让这个家伙就这样行动，尤基出了事，说不定会牵连到自己。以诺便说道：“多大点事……这样吧，我今天本来就打算到城里乐一乐。这样，我请你看点好看的，怎么样？”
“好看的？”
维利有些迷惘：“是什么？竞技会？还是新游戏？”
“比那个刺激多了……来来，上车！”
以诺身上没有驾驶位。他将货斗略略倾斜，让维利自己扒上去。
尘土飞扬。
…………………………………………………………………………
“一个真正的程序员，他的编程从裸机开始!”
“一个真正的程序员，不存在面向对象与面向过程之分，也不存在强类型与类型不安全之别，从机器语言到汇编器到编译器到无数高级应用程序，他无所不通！”
某些回忆闪闪光。向山已经记不清这是什么人对他说的了。不过，某些“知识”
成分的东西却在提醒他，那个人是历史上有名的程序员，是曾经决定了历史面貌的人。
向山和“这个人”
有很深的交情，所以他学到了关于编程的“一切”
。
这东西的本质是“数学”
。
编程，是语言学，也是数学。
或者说，语言学就是一种数学。
二战结束的前后，数学家们开辟出了一个被称作“字问题”
的全新领域。在这个领域中，一些数学概念被套上“文字”
的外衣，用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。
1944年，美国逻辑学家，人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年，安德烈·马尔可夫之子，阿纳托利·马尔可夫也不知晓波斯特工作的前提下，做出了一样的证明。
“语言”
之中，存在“不可判定性问题”
。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时，语言学家也沿着相反的方向，抵达了相同的境界。
人在奥特，开局相亲居间惠！
餐厅里，张道然怎么也没想到相亲对象会是居间惠！关键时刻任务系统激活，为了能在奥特世界中活下去，他只能完成系统任务答应人妻居间惠结婚。张道然为了让我老婆以后准时下班，怪兽，宇宙人们斯米马赛...
无限末世：每次签到超级外挂！
作品简介关于无限末世每次签到级外挂！岛国排放核污水，导致海洋核污染，异种登6，人类溃败！文明覆灭前，穿越求生降临。只要从平行末世活着回来，就能获得奖励变强抵御海洋异种！沈云绑定签到系统，进入异界能随机签到一个级金手指！全民穿越末日求生！第一站海岛，沈云签到万倍暴击！以为来度假的人们苟延残喘，他则悠闲的吃着大餐投喂狼群。穿越丧尸末日当人们还在杀丧尸收集一阶晶核变强时。沈云签到等级直升，开局十阶巅峰强者，直接满级无敌！所有末日任...
御神记
青莲浊世，不染凡尘。一个人，一株莲，一曲神话，一生传奇。掌造化，立真理，塑起源，控命运，主纪元沉浮，天道生灭，万物轮回创不朽之文明。谱永恒之诗篇。...
武道乱世：加点只能加耐力
穿越武道乱世，世人苦难妖魔横行。陆羽本想靠着脑子里的加点修改器走上人生巅峰，只不过却尴尬的发现，自己加点只能加耐力陆羽本以为耐力没什么大用，却发现自己精力越来越旺盛持久越来越离谱，一不小心他就成为了这个世界的卷王当一步步走上顶峰，陆羽如是道世上哪有什么天才，我只是把别人睡觉的时间用在练武上了。...
你是天命大反派？可我的女主是天道
作品简介警告！一大波绑定天命反派系统的天命大反派，正在接近！剧透主角的未来，截胡主角的机缘，策反主角的小弟，抢走命定的女主，掠夺主角的气运！最后，踩着主角的尸体走上反派巅峰！天道好好好，这么玩是吧！那别怪老娘掀桌！给主角开通天挂，直接掌控天劫！机缘？在天劫上抢！丹劫下的逆天神丹，器劫下的至尊神器，天罚下的逆天神物，随便抢！小弟？从天劫上找！渡劫化形的神兽仙兽，渡劫成仙的绝世天才，都是你的！女主？天道老娘亲自下场当女主！剧情？反派等等，这主角怎么不按剧本走？...