手机浏览器扫描二维码访问
第十七章 语言与数学（第2页）
“你不能不管我！”
维利尖叫：“我们把那个小孩子骗出来吧！不管是碾碎了还是拆成零件卖了……”
“嘿！你疯了！”
以诺吓了一跳。他可是真的打算要和尤利娅在一起的。以诺知道自己的性格，他守不住秘密。他要是动了尤基，就没法和尤利娅在一起了。
以诺本来就被这个家伙纠缠得有点烦了。但他又觉得让这个家伙就这样行动，尤基出了事，说不定会牵连到自己。以诺便说道：“多大点事……这样吧，我今天本来就打算到城里乐一乐。这样，我请你看点好看的，怎么样？”
“好看的？”
维利有些迷惘：“是什么？竞技会？还是新游戏？”
“比那个刺激多了……来来，上车！”
以诺身上没有驾驶位。他将货斗略略倾斜，让维利自己扒上去。
尘土飞扬。
…………………………………………………………………………
“一个真正的程序员，他的编程从裸机开始!”
“一个真正的程序员，不存在面向对象与面向过程之分，也不存在强类型与类型不安全之别，从机器语言到汇编器到编译器到无数高级应用程序，他无所不通！”
某些回忆闪闪光。向山已经记不清这是什么人对他说的了。不过，某些“知识”
成分的东西却在提醒他，那个人是历史上有名的程序员，是曾经决定了历史面貌的人。
向山和“这个人”
有很深的交情，所以他学到了关于编程的“一切”
。
这东西的本质是“数学”
。
编程，是语言学，也是数学。
或者说，语言学就是一种数学。
二战结束的前后，数学家们开辟出了一个被称作“字问题”
的全新领域。在这个领域中，一些数学概念被套上“文字”
的外衣，用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。
1944年，美国逻辑学家，人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年，安德烈·马尔可夫之子，阿纳托利·马尔可夫也不知晓波斯特工作的前提下，做出了一样的证明。
“语言”
之中，存在“不可判定性问题”
。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时，语言学家也沿着相反的方向，抵达了相同的境界。
绑定系统后我在诡异世界里封神
简介关于绑定系统后我在诡异世界里封神被诡异吓晕后云念念绑定了系统，还是个专门杀诡异得积分的，她默默地看了眼自己的菜刀，又看了看半死不活的诡异，提刀上前就是干！诡异系统机械声响起［叮！诡异系统为您服务。］［请问亲爱的宿主喜欢切西瓜吗？喜欢西瓜汁吗？］［请问亲爱的宿主身体不舒服...
我要做财阀
韩国人避不开的三件事，死亡税收和新亚新亚集团会长宋熠，被三大报评价为韩国的it和投资之神宋熠的丰富情史让韩国网友忍不住感叹不羡鸳鸯不羡仙，羡慕宋熠每一天这是一部华国投行精英宋熠重生在韩国成为财阀的奋斗史各位书友要是觉得我要做财阀还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！...
凡人修仙传仙界篇
凡人修仙，风云再起时空穿梭，轮回逆转金仙太乙，大罗道祖三千大道，法则至尊凡人修仙传仙界篇，一个韩立叱咤仙界的故事，一个凡人小子修仙的不灭传说...
绝色毒医王妃
穿越而来，她自带防毒雷达。哔哔啥？姨娘凶狠，外加蛇蝎庶妹？哔哔呀！包办婚姻，老公还看不上她？没关系，凭她高智商，灭杀渣渣只在转瞬之间。绝色容颜，吸引狂蜂浪蝶无数，人气爆棚，神马皇帝亲王，都是裙下之臣。你是我的女人！凭啥？有票么？有信誉卡么？你肚子里的娃，是我的。靠！居然被人先斩后奏，扛进了皇宫。说好的翻手为云呢？说好的覆手为雨呢？都给本妃还回来！...
大婚当天，帝妃被爆万千马甲
简介关于大婚当天，帝妃被爆万千马甲一朝穿越异世，苏辞暖表示一点也不慌，先浅浅报个仇。众人连爬带滚，跪地哀求小祖宗，别虐了！空间炼丹炼器驯兽，样样拿手！苏辞暖表示自己也不想全能啊！实在是自己师父太多，这些又太简单！炼丹协会会长小祖宗，不如您给我们讲解一下如何高效炼丹炼器世家家主小祖宗，那个批量生产您再考虑一下驯兽师们摇尾乞怜祖师爷，带带我男人看着众人求而不得，邪佞一笑，把苏辞暖揽入怀中这是本帝的女人！苏辞暖翻个白眼谁是你的女人？！...
神医公子本红妆
优质精品图书推荐...