手机浏览器扫描二维码访问
第十七章 语言与数学（第2页）
“你不能不管我！”
维利尖叫：“我们把那个小孩子骗出来吧！不管是碾碎了还是拆成零件卖了……”
“嘿！你疯了！”
以诺吓了一跳。他可是真的打算要和尤利娅在一起的。以诺知道自己的性格，他守不住秘密。他要是动了尤基，就没法和尤利娅在一起了。
以诺本来就被这个家伙纠缠得有点烦了。但他又觉得让这个家伙就这样行动，尤基出了事，说不定会牵连到自己。以诺便说道：“多大点事……这样吧，我今天本来就打算到城里乐一乐。这样，我请你看点好看的，怎么样？”
“好看的？”
维利有些迷惘：“是什么？竞技会？还是新游戏？”
“比那个刺激多了……来来，上车！”
以诺身上没有驾驶位。他将货斗略略倾斜，让维利自己扒上去。
尘土飞扬。
…………………………………………………………………………
“一个真正的程序员，他的编程从裸机开始!”
“一个真正的程序员，不存在面向对象与面向过程之分，也不存在强类型与类型不安全之别，从机器语言到汇编器到编译器到无数高级应用程序，他无所不通！”
某些回忆闪闪光。向山已经记不清这是什么人对他说的了。不过，某些“知识”
成分的东西却在提醒他，那个人是历史上有名的程序员，是曾经决定了历史面貌的人。
向山和“这个人”
有很深的交情，所以他学到了关于编程的“一切”
。
这东西的本质是“数学”
。
编程，是语言学，也是数学。
或者说，语言学就是一种数学。
二战结束的前后，数学家们开辟出了一个被称作“字问题”
的全新领域。在这个领域中，一些数学概念被套上“文字”
的外衣，用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。
1944年，美国逻辑学家，人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年，安德烈·马尔可夫之子，阿纳托利·马尔可夫也不知晓波斯特工作的前提下，做出了一样的证明。
“语言”
之中，存在“不可判定性问题”
。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时，语言学家也沿着相反的方向，抵达了相同的境界。
借魔王之力消灭异世界转生者
简介关于借魔王之力消灭异世界转生者新作品出炉，欢迎大家前往番茄小说阅读我的作品，希望大家能够喜欢，你们的关注是我写作的动力，我会努力讲好每个故事！...
末世：无尽物资，先杀校花全家
简介关于末世无尽物资，先杀校花全家极端寒流毒冰雹，大雪下，手握无尽物资，惬意看着仇人，为了一口吃的。争得你死我活。还有一支实力强悍的霸王花战队，为自己收集末世能源，一步步变强。众人刘宇，你手里那么多吃的，给我一口吃的。刘宇你们这些禽兽，死不死跟我有什么关系呢？滚！！！...
病娇将军的小通房（重生）
预收小哑女娇宠手册重生病娇太子偏要宠我重生求收藏云娆姿容绝艳，媚色无双，是容珺的小通房。容珺清秀温雅，生了一张书生脸，看起来一点也不像骁勇善战的大将军。云娆却是知道他根本不如...
我相亲超有经验的
作品简介相亲吗小姐姐？有喜欢的对象不？只要说出心上人的名字，我就能让你美梦成真喔！真的哇？如假包换，童叟无欺！那我想成为佛祖的女人～...
祖宗保佑：山河无恙故人归
简介关于祖宗保佑山河无恙故人归将门嫡女楚天骄死后，灵魂被禁锢在太庙里，每天跟着一帮皇室老祖宗们，聊天磨牙打屁，享受着所谓的死后哀荣。青梅竹马的男主在灭国之战中，替她复仇，烧掉了太庙，楚天骄的灵魂被释放，得以重生。一帮老祖宗跟着她回到了这个时代，前世都是些皇帝皇后，重生后沦为了贩夫走卒。身份的改变，闹出了各种笑话。但你祖宗还是你祖宗，他们各怀绝技，一股脑的都用在了楚天骄的身上，帮助她一路打脸虐渣，改变前世国破家亡的命运。再遇男主，他尚是一位扮猪吃老虎的软萌病娇男。两人的互动，充满了甜腻的反差萌，让人啼笑皆非...
潘多拉
人类的存亡，终究要由女性的意志来决定。伊甸园领芳芳林德伯格伊甸园之战后，男性称霸了世界潘多拉病毒之后，人类却已经没有未来苏醒的科学助理失踪的女权党魁还有沉睡的铁血女帅是戴罪立功，还...