手机浏览器扫描二维码访问
第十七章 语言与数学（第2页）
“你不能不管我！”
维利尖叫：“我们把那个小孩子骗出来吧！不管是碾碎了还是拆成零件卖了……”
“嘿！你疯了！”
以诺吓了一跳。他可是真的打算要和尤利娅在一起的。以诺知道自己的性格，他守不住秘密。他要是动了尤基，就没法和尤利娅在一起了。
以诺本来就被这个家伙纠缠得有点烦了。但他又觉得让这个家伙就这样行动，尤基出了事，说不定会牵连到自己。以诺便说道：“多大点事……这样吧，我今天本来就打算到城里乐一乐。这样，我请你看点好看的，怎么样？”
“好看的？”
维利有些迷惘：“是什么？竞技会？还是新游戏？”
“比那个刺激多了……来来，上车！”
以诺身上没有驾驶位。他将货斗略略倾斜，让维利自己扒上去。
尘土飞扬。
…………………………………………………………………………
“一个真正的程序员，他的编程从裸机开始!”
“一个真正的程序员，不存在面向对象与面向过程之分，也不存在强类型与类型不安全之别，从机器语言到汇编器到编译器到无数高级应用程序，他无所不通！”
某些回忆闪闪光。向山已经记不清这是什么人对他说的了。不过，某些“知识”
成分的东西却在提醒他，那个人是历史上有名的程序员，是曾经决定了历史面貌的人。
向山和“这个人”
有很深的交情，所以他学到了关于编程的“一切”
。
这东西的本质是“数学”
。
编程，是语言学，也是数学。
或者说，语言学就是一种数学。
二战结束的前后，数学家们开辟出了一个被称作“字问题”
的全新领域。在这个领域中，一些数学概念被套上“文字”
的外衣，用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。
1944年，美国逻辑学家，人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年，安德烈·马尔可夫之子，阿纳托利·马尔可夫也不知晓波斯特工作的前提下，做出了一样的证明。
“语言”
之中，存在“不可判定性问题”
。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时，语言学家也沿着相反的方向，抵达了相同的境界。
公主玄月
简介关于公主玄月出生带祥瑞的玄月公主一直是个笑话，会一身粗鲁的功夫，还敢和人争生意。在别人眼里那就是上不了台面的人。自认为天下无敌的玄月根本不觉得自己笨，反正谁笑话我笨，我就揍谁，再不济还有个绝顶聪明的夫君自己送上门找打呢。...
开局朋友被杀可尸体消失了
一个苦逼的打工人，亲眼看到自己的朋友在眼前被杀，可是尸体却消失了。王大哥，你还活着？中年男子听到6磊的声音，脸上露出久违的微笑，十分温柔地说道我当然活着啊！可明明你已经死了！那死的人到底是谁？各位书友要是觉得开局朋友被杀可尸体消失了还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！...
穆氏一家
简介关于穆氏一家穆氏一家三口，穆十一，穆小蝶，穆一刀穆十一，是修炼天赋极高的天才，穆小蝶，是穆家的小丫鬟，身怀天地之灵木之灵，穆一刀，是穆十一的爷爷，乃是一位绝世强者。...
末世快穿：杀死那只黑蝴蝶
为了把这个支离破碎的世界给拼起来，郁笛算是操碎了心，谁吃饱了撑得来阻碍她拯救世界，她就让谁知道死字怎么写！当人为了生存蝇营狗苟的时候，哪里还有力气毁灭世界呢？主角视角，无cp，不狗血，一起来看看末日究竟有多少种姿势吧末世快穿杀死那只黑蝴蝶...
超神宠兽店
作品简介有一刀斩杀黄金巨龙的低等骷髅种有身怀十大宠兽秘技的看门土狗更有自称为神的这是一个得到系统在破碎远古培育宠兽的故事。当荣光覆灭，黄泉逆流，昔日的存在将再...
我和天道对弈
人间悲喜，天定王朝兴替，天定世事浮沉，还是天定这天道，把人间当作一方棋盘，天下众生，皆是它的棋子。它本以为会一直这样下去，这芸芸众生，多半也早已认命。直到有一天，它惊异地看到这方棋盘的对面，坐下一位年轻人，随手落下一子，而后对它含笑道自己下，多没意思啊？...