手机浏览器扫描二维码访问
第十七章 语言与数学（第2页）
“你不能不管我！”
维利尖叫：“我们把那个小孩子骗出来吧！不管是碾碎了还是拆成零件卖了……”
“嘿！你疯了！”
以诺吓了一跳。他可是真的打算要和尤利娅在一起的。以诺知道自己的性格，他守不住秘密。他要是动了尤基，就没法和尤利娅在一起了。
以诺本来就被这个家伙纠缠得有点烦了。但他又觉得让这个家伙就这样行动，尤基出了事，说不定会牵连到自己。以诺便说道：“多大点事……这样吧，我今天本来就打算到城里乐一乐。这样，我请你看点好看的，怎么样？”
“好看的？”
维利有些迷惘：“是什么？竞技会？还是新游戏？”
“比那个刺激多了……来来，上车！”
以诺身上没有驾驶位。他将货斗略略倾斜，让维利自己扒上去。
尘土飞扬。
…………………………………………………………………………
“一个真正的程序员，他的编程从裸机开始!”
“一个真正的程序员，不存在面向对象与面向过程之分，也不存在强类型与类型不安全之别，从机器语言到汇编器到编译器到无数高级应用程序，他无所不通！”
某些回忆闪闪光。向山已经记不清这是什么人对他说的了。不过，某些“知识”
成分的东西却在提醒他，那个人是历史上有名的程序员，是曾经决定了历史面貌的人。
向山和“这个人”
有很深的交情，所以他学到了关于编程的“一切”
。
这东西的本质是“数学”
。
编程，是语言学，也是数学。
或者说，语言学就是一种数学。
二战结束的前后，数学家们开辟出了一个被称作“字问题”
的全新领域。在这个领域中，一些数学概念被套上“文字”
的外衣，用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。
1944年，美国逻辑学家，人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年，安德烈·马尔可夫之子，阿纳托利·马尔可夫也不知晓波斯特工作的前提下，做出了一样的证明。
“语言”
之中，存在“不可判定性问题”
。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时，语言学家也沿着相反的方向，抵达了相同的境界。
让你修仙，没让你搞海克斯科技
简介关于让你修仙，没让你搞海克斯科技又名让你修仙，没让你用海克斯科技！无灵根废柴主角钟离英，靠着各种现代电器摇身一变国服最强辅助。他有一个神奇的空间袋，兜里能掏出一切奇奇怪怪的现代科技产物。但是这个修仙的世界又没有电厂，没电的机器不就是一团废铁？不过，办法总是人想出来的。钟离英拍了拍金灵根的某人。哎，兄弟，帮忙充点电。...
四合院：开家早餐店，馋哭四九城
陈泽穿越四合院，开局竟遭小当嫌弃，被迫离婚。获得女儿抚养权。回到家中，成功激活创业系统，获得神秘大礼包！这是八零年代，也是陈泽的时代。开启神秘大礼包，做出全天下最好吃的包子！街坊邻居馋哭了！贾小当哭着求复合贾张氏骂骂咧咧说他早有预谋秦淮茹抹着眼泪，恳求你借钱给大舅哥...
惊悚游戏：开局强吻鬼公主
作品简介惊悚游戏沙雕爆笑悬疑灵异，不恐怖。 资本家见了都落泪，巨鳄财阀看了都直呼有罪。 叶晨在惊悚世界中，只做两件事搞钱，撩女鬼。 女鬼想玩仙人跳？...
快穿生子：貌美女配多子多福
简介关于快穿生子貌美女配多子多福云鸢是星际人，收联邦基因组委托穿越位面，靠生孩子收集人类初始基因。1下堂臣妻与不能人道皇帝（男洁女不洁）√2与重生女主换夫后我一胎三宝（双洁）3伪江湖篇，五个孩子五个爹（男洁）④男友失忆另有所爱，我也失忆√（男洁）⑤和亲假公主千娇百媚，完爆玛丽苏穿越女主√6七零后娘要改嫁（双洁）⑦与女主容貌相似的平民女子√⑧都市相亲我要5o万彩礼√⑨太后怀孕了，谁的？（未完）女性向，非女强，连载中...
说好的治愈，你致郁刀子发遍全球
穿越蓝星，林易绑定最强软饭王系统，成了顶流女星杨蜜儿的专属小可爱（羞耻）！林易宅家开直播，倾听网友故事，一又一治愈心灵的歌曲诞生了。面对不能理解妈妈苦心的叛逆少年，他唱…失去警察父亲的小女孩，他唱…一，唤醒应声倒地的纯爱战士…抑郁症患者面前，他唱…丧失斗志的打工人，他唱…好歌声现场，一让在外的游子纷纷落泪，说好的治愈，你致郁刀子遍全球...
修真之不归路
简介关于修真之不归路落子，二十八岁，数学博士。毕业那天，惨遭男友背叛，精神恍惚遇车祸。穿越到同名十八岁女子身上。这是个修真世界，她却是个草包废物。开局全靠惨！误入不归阁不归阁就是一个弃妇堆。落子却成这个弃妇堆里的宠儿不知从何时起，命运的齿轮已经开始转动是福是祸，无法分辨！该来的避不开！唯有怀着一颗坦然的心迎接明天的变故！...