手机浏览器扫描二维码访问
第十七章 语言与数学（第2页）
“你不能不管我！”
维利尖叫：“我们把那个小孩子骗出来吧！不管是碾碎了还是拆成零件卖了……”
“嘿！你疯了！”
以诺吓了一跳。他可是真的打算要和尤利娅在一起的。以诺知道自己的性格，他守不住秘密。他要是动了尤基，就没法和尤利娅在一起了。
以诺本来就被这个家伙纠缠得有点烦了。但他又觉得让这个家伙就这样行动，尤基出了事，说不定会牵连到自己。以诺便说道：“多大点事……这样吧，我今天本来就打算到城里乐一乐。这样，我请你看点好看的，怎么样？”
“好看的？”
维利有些迷惘：“是什么？竞技会？还是新游戏？”
“比那个刺激多了……来来，上车！”
以诺身上没有驾驶位。他将货斗略略倾斜，让维利自己扒上去。
尘土飞扬。
…………………………………………………………………………
“一个真正的程序员，他的编程从裸机开始!”
“一个真正的程序员，不存在面向对象与面向过程之分，也不存在强类型与类型不安全之别，从机器语言到汇编器到编译器到无数高级应用程序，他无所不通！”
某些回忆闪闪光。向山已经记不清这是什么人对他说的了。不过，某些“知识”
成分的东西却在提醒他，那个人是历史上有名的程序员，是曾经决定了历史面貌的人。
向山和“这个人”
有很深的交情，所以他学到了关于编程的“一切”
。
这东西的本质是“数学”
。
编程，是语言学，也是数学。
或者说，语言学就是一种数学。
二战结束的前后，数学家们开辟出了一个被称作“字问题”
的全新领域。在这个领域中，一些数学概念被套上“文字”
的外衣，用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。
1944年，美国逻辑学家，人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年，安德烈·马尔可夫之子，阿纳托利·马尔可夫也不知晓波斯特工作的前提下，做出了一样的证明。
“语言”
之中，存在“不可判定性问题”
。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时，语言学家也沿着相反的方向，抵达了相同的境界。
刚下山，就被小姨子送进警局
简介关于刚下山，就被小姨子送进警局单女主双强修真修仙山中修炼十几载，下山之后，我无敌。陈天承师命，携一纸婚约，下山入都市，寻找未婚妻。...
超级幽灵战舰
地球人被一种可以寄宿的智慧生命入侵。整个太阳系岌岌可危。王维是一名顶级科学家。在一次研究成功后，却被潜伏在身边的虫眼族所害。在他被沉入海中的同时，一艘来自四维空间的幽灵战舰与之融合。从此他们踏上了升级战舰，拯救地球，清扫宇宙毒瘤的科技之路。！...
三国第一悍匪
一声龙吟震天下，万千龙气入青州。皇甫青，字无双，师承戟圣李彦，武道大成之后下山，收九大猛将，从青州开始，立青龙山，建青龙关，占山称帝，下封九王，雄踞一方。黄巾之乱后，他化龙而起！以青州为基础，带领九兄弟，征战天下，一统乱世。之后，人间无趣，他便携众兄弟，踏入修仙界，再创造辉煌，开宗立派，成为一代传奇。三国第一悍匪...
重生过去从四合院开始
杜飞重生了，在这个物资奇缺的艰苦年代，笔趣阁mbiqugevcom开启他精彩的开挂人生各位书友要是觉得重生过去从四合院开始还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！...
神女凤酒，带着空间成全族团宠
特种兵凤酒从21世纪胎穿到古代林鲲大6，南离国凤家村，凤家族百年无女，全族团宠，主打就是一个随心所欲，上辈子只顾着学习各种生活技能了，这辈子她要随心所欲的过这一生，空间里装着千亿物资，族人们都宠着她，拿出来给他们用这么了？偷着藏着不是凤酒的风格，有个神兽当幌子她怕啥，想抢我爹爹，废了你全家。只是救的这个小哥哥怎么就这么好看呢，夫君还是要自己养大才靠谱点吧，只是两人的身份好像都不简单。本书全程无虐，女主不圣女，男女主成长型，空间也不会藏着掖着，爽文爽文爽文。...
解毒后，傲娇王爷对我撩宠诱哄
简介关于解毒后，傲娇王爷对我撩宠诱哄一睁眼，医武双绝的特种兵林暮烟穿成了北燕有名的煞星。陈塘时被皇上从猪笼里救了出来，目的就是给中毒的战神王爷冲喜得嘞，起点低，那就靠自己林暮烟一路打怪升级，目的就是为了和离虐渣，打脸，全套走起一路把战神王爷气的心肝颤起谁知傲娇王爷竟在此过程中对她芳心暗许几次三番提和离被拒，林暮烟气鼓鼓找到傲娇王爷王爷不是答应这次过后就和离？6瑾寒一脸深情本王满心满眼都是你。...