手机浏览器扫描二维码访问
第十七章 语言与数学（第2页）
“你不能不管我！”
维利尖叫：“我们把那个小孩子骗出来吧！不管是碾碎了还是拆成零件卖了……”
“嘿！你疯了！”
以诺吓了一跳。他可是真的打算要和尤利娅在一起的。以诺知道自己的性格，他守不住秘密。他要是动了尤基，就没法和尤利娅在一起了。
以诺本来就被这个家伙纠缠得有点烦了。但他又觉得让这个家伙就这样行动，尤基出了事，说不定会牵连到自己。以诺便说道：“多大点事……这样吧，我今天本来就打算到城里乐一乐。这样，我请你看点好看的，怎么样？”
“好看的？”
维利有些迷惘：“是什么？竞技会？还是新游戏？”
“比那个刺激多了……来来，上车！”
以诺身上没有驾驶位。他将货斗略略倾斜，让维利自己扒上去。
尘土飞扬。
…………………………………………………………………………
“一个真正的程序员，他的编程从裸机开始!”
“一个真正的程序员，不存在面向对象与面向过程之分，也不存在强类型与类型不安全之别，从机器语言到汇编器到编译器到无数高级应用程序，他无所不通！”
某些回忆闪闪光。向山已经记不清这是什么人对他说的了。不过，某些“知识”
成分的东西却在提醒他，那个人是历史上有名的程序员，是曾经决定了历史面貌的人。
向山和“这个人”
有很深的交情，所以他学到了关于编程的“一切”
。
这东西的本质是“数学”
。
编程，是语言学，也是数学。
或者说，语言学就是一种数学。
二战结束的前后，数学家们开辟出了一个被称作“字问题”
的全新领域。在这个领域中，一些数学概念被套上“文字”
的外衣，用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。
1944年，美国逻辑学家，人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年，安德烈·马尔可夫之子，阿纳托利·马尔可夫也不知晓波斯特工作的前提下，做出了一样的证明。
“语言”
之中，存在“不可判定性问题”
。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时，语言学家也沿着相反的方向，抵达了相同的境界。
我的风流前半生
简介关于我的风流前半生都市情感现实美女职场网恋2oo5年，网络大潮来袭，改变了人们的生活习惯，也改变了人们的伦理道德和爱情观。叶辰，一个社会最底层的小人物。三流大学毕业，混迹都市，无房无车无存款，也没有女朋友。相亲99次，每次都被女人以同样的理由拒绝。男人没钱，你谈什么恋爱？叶辰无奈，只能好好赚钱，有钱才会找到女朋友，且看风流小人物的一生，更是曲折离奇的一生。（本书是都市现实主义题材，不是无脑爽文，也不是玄幻修仙，无系统，无金手指，介意者勿入）...
我是个葬尸人
关于我是个葬尸人2o个考古系大学生，一次自认为安全的探险，没想到造成17人死亡的悲惨结局。一次意外，揭开了一个尘封了千年的历史迷案，南诏神庙，陕墓古葬群，滇国遗迹，埃及古国，一个又一个尘封...
超级狂婿
作品简介...
霍爷，警局有个小奶娃说是你儿子
打脸暴爽双强双洁一胎双宝，霍总跪求复合同系列新书已上架。一个软萌可爱的小奶娃在警局总部，哭得撕心裂肺，控诉自己是一个爹不疼，娘不爱的弃儿，一并将自己的亲爹亲娘给告了。见过坑爹的，还没见过坑娘的，确定这是自己亲生的？可怜沐以安一把屎一把尿将这个小奶团子辛苦养大，他却连她一起坑，这还有没有天理？小奶团子你们就是不负责任的父母，我要让警察蜀黍为我主持公道。沐以安臭小子，看清楚我各位书友要是觉得霍爷，警局有个小奶娃说是你儿子还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！...
空间灵师之家有三宝
gtp1tgtdivnetkquot1tgtahrefquotbeginquot1t立即阅读gta1t...
夜泳
阗资是所有人的白月光，温柔，清醒，唯一的缺点就是太难追。胡笳深以为然，所以她跳过步骤，直接强上了他。后来阗资常问她是否爱他，她说当然不爱。他停顿两秒，在她身下更卖力顶弄。那这样会喜欢我一点么？...