手机浏览器扫描二维码访问
第十七章 语言与数学（第2页）
“你不能不管我！”
维利尖叫：“我们把那个小孩子骗出来吧！不管是碾碎了还是拆成零件卖了……”
“嘿！你疯了！”
以诺吓了一跳。他可是真的打算要和尤利娅在一起的。以诺知道自己的性格，他守不住秘密。他要是动了尤基，就没法和尤利娅在一起了。
以诺本来就被这个家伙纠缠得有点烦了。但他又觉得让这个家伙就这样行动，尤基出了事，说不定会牵连到自己。以诺便说道：“多大点事……这样吧，我今天本来就打算到城里乐一乐。这样，我请你看点好看的，怎么样？”
“好看的？”
维利有些迷惘：“是什么？竞技会？还是新游戏？”
“比那个刺激多了……来来，上车！”
以诺身上没有驾驶位。他将货斗略略倾斜，让维利自己扒上去。
尘土飞扬。
…………………………………………………………………………
“一个真正的程序员，他的编程从裸机开始!”
“一个真正的程序员，不存在面向对象与面向过程之分，也不存在强类型与类型不安全之别，从机器语言到汇编器到编译器到无数高级应用程序，他无所不通！”
某些回忆闪闪光。向山已经记不清这是什么人对他说的了。不过，某些“知识”
成分的东西却在提醒他，那个人是历史上有名的程序员，是曾经决定了历史面貌的人。
向山和“这个人”
有很深的交情，所以他学到了关于编程的“一切”
。
这东西的本质是“数学”
。
编程，是语言学，也是数学。
或者说，语言学就是一种数学。
二战结束的前后，数学家们开辟出了一个被称作“字问题”
的全新领域。在这个领域中，一些数学概念被套上“文字”
的外衣，用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。
1944年，美国逻辑学家，人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年，安德烈·马尔可夫之子，阿纳托利·马尔可夫也不知晓波斯特工作的前提下，做出了一样的证明。
“语言”
之中，存在“不可判定性问题”
。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时，语言学家也沿着相反的方向，抵达了相同的境界。
星星宝贝会玄学
星星是柳家的掌上明珠，乖巧可爱，是个安静的小公主。出生时生了些意外让她被不靠谱师父捡了回去做他的徒弟。年纪小才艺多卜卦，射箭，捉鬼天生的阴阳眼，身边常有鬼魂向伴，但抓鬼有的时候也是种乐趣。大哥是柳家继承人，沉稳多金的霸总。二哥是服装设计师，想象力大的出奇。三哥是除了学习业余样样精通的业余天才。四哥是除了学习娱乐样样都不精通的学神。五哥是除了美貌之外一无是处的美男子。...
裸纱 先婚后爱
双强的先婚后爱，先do后爱，豪门联姻俞薇知vs程宵翊表面江南冷艳掌权长公主vs北方矜贵雅痞太子爷实际敏感疯惹人疼vs狡猾骚话不要脸维持一年的无性婚姻，从她喝醉酒认错人的那晚起，...
月都奇谭
...
禁地探险：扮演阿柒，队友张起灵
作品简介为了得到奖金为妹妹治病，吴浩参加了一档名为禁地探险的的节目。在参加节目的前一周，他觉醒了无双扮演系统。开局获得了玄武国第一暗影刺客的角色刺客阿柒！而...
揣崽小可怜被大佬宠上天
乔宴体弱多病，爹不亲娘不爱，意外怀孕被扫地出门。独居遇袭时，被护进温烫怀抱。男人话声低沉不怕，没人再动你。乔宴睁大眼睛，更怕了阴差阳错的荒唐夜，就是这个男人害他怀孕，予取予夺很不温柔他肯定比坏人更坏。霍氏集团霍景盛，权富滔天，厉名在外无人敢近，资本界私下称他独裁暴君。某天，大暴君身边格格不入跟了人，苍白病弱，怕冷怕疼。一碰即碎的可怜样。众人纷纷断言小可怜要被霍家玩死。岂料，看到的情景却让他们大跌眼镜乔宴气虚声小，霍景盛低眉俯身，认真倾听乔宴食欲不振，霍景盛抱人入怀，悉心喂哄乔宴痴迷画画，霍景盛就碾磨彩宝给他丰富颜料乔宴孕期喜郁不定，霍景盛直接寸步不离看守。哪让他受过半点欺负？他不但越活越好，还活成了全霍家的小祖宗！乔宴却人间清醒怎么可能是宠他，人家宠崽崽罢辽！...
我的衣柜通向星际+番外
...