手机浏览器扫描二维码访问
第十七章 语言与数学（第2页）
“你不能不管我！”
维利尖叫：“我们把那个小孩子骗出来吧！不管是碾碎了还是拆成零件卖了……”
“嘿！你疯了！”
以诺吓了一跳。他可是真的打算要和尤利娅在一起的。以诺知道自己的性格，他守不住秘密。他要是动了尤基，就没法和尤利娅在一起了。
以诺本来就被这个家伙纠缠得有点烦了。但他又觉得让这个家伙就这样行动，尤基出了事，说不定会牵连到自己。以诺便说道：“多大点事……这样吧，我今天本来就打算到城里乐一乐。这样，我请你看点好看的，怎么样？”
“好看的？”
维利有些迷惘：“是什么？竞技会？还是新游戏？”
“比那个刺激多了……来来，上车！”
以诺身上没有驾驶位。他将货斗略略倾斜，让维利自己扒上去。
尘土飞扬。
…………………………………………………………………………
“一个真正的程序员，他的编程从裸机开始!”
“一个真正的程序员，不存在面向对象与面向过程之分，也不存在强类型与类型不安全之别，从机器语言到汇编器到编译器到无数高级应用程序，他无所不通！”
某些回忆闪闪光。向山已经记不清这是什么人对他说的了。不过，某些“知识”
成分的东西却在提醒他，那个人是历史上有名的程序员，是曾经决定了历史面貌的人。
向山和“这个人”
有很深的交情，所以他学到了关于编程的“一切”
。
这东西的本质是“数学”
。
编程，是语言学，也是数学。
或者说，语言学就是一种数学。
二战结束的前后，数学家们开辟出了一个被称作“字问题”
的全新领域。在这个领域中，一些数学概念被套上“文字”
的外衣，用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。
1944年，美国逻辑学家，人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年，安德烈·马尔可夫之子，阿纳托利·马尔可夫也不知晓波斯特工作的前提下，做出了一样的证明。
“语言”
之中，存在“不可判定性问题”
。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时，语言学家也沿着相反的方向，抵达了相同的境界。
明日之后：明日之子
当末世降临，丧尸肆虐，人类何去何从。我是寒露，一名普通的高中生。本书与没时间码字所着联动，有兴趣的书友一定要去看看。寒露在这里友情提醒，主角不一定会干主角应该干的事，这个故事没有多亮的主角光环，也没有多么正义，但明日之后明日之子...
我打造了救世组织
得到了一个末日救世系统，只要拯救世界就可以拥有一切。吸纳顶级人才，打造救世组织，以救世主的姿态降临于一个个末日世界中，让整个世界瞻仰他的身姿，将他奉若神明。究极天灾。变异狂潮。邪神低语。于是，一个横跨诸多世界，以守护万界为己任，于毁灭命运中拯救世界的庞大组织，逐渐在世人眼中显现。...
通幽大圣
诡秘江湖，妖异频出，朝堂腐朽，武林世家，群雄并起。这是一个没有神佛的世界武道术法玄修神通顾诚于幽暗中降临，踏平这纷乱世间。既然这世界没有神佛，那我，便是神佛！美人画皮难画骨，庙中妖僧饲修罗。桃花源内心慌惶，黑山老妖占幽冥。我叫顾诚，诚信的诚。VIP群63751643进群验证粉丝值（3000以上，进去发粉丝值截图）普通群460351422125313474...
家族修仙：从御兽开始崛起
凡人流，家族流，种田流，御兽流，无系统一个办公室职员忽然魂穿异界，成为了一个御兽修仙家族子弟。故事，从一个名为灵兽周家的修仙家族开始。...
咸鱼宿主总对反派一见钟情？！
身为一名品德兼优助人为乐的优秀好青年，周闲被反派改造系统绑定了但面前的宿主和资料里的好像不一样咸鱼宿主合上结局全灭的书做任务是不可能做任务的，这辈子都不可能！系统缓缓打出一串问号不是，说好的品德兼优助人为乐呢？为什么会是一条不死不活的咸鱼？为了业绩，系统只好威逼利诱宿主，如果不改造反派的话，你也会死哦！周闲没精打采这个世界已经没得救了，就这样结束吧！任你怎么说，反正他就是不肯动一下眼见着危险反派已经来到面前，系统还想劝一把宿主，这就是反派，你看一下不是，你怎么看直眼了！盯着面前温柔又漂亮的反派，刚才还没精打采的周闲一改常态他真诚发问话又说回来，这么温柔又漂亮的反派就不能是我的老婆吗？这简直就是他命中注定的老婆！不，这是反派，不是你老婆！ahrefhttpmmoxiexscomtargetblanka咸鱼宿主总对反派一见钟情？！...
我是仙尊的小猫咪
猫妖？开玩笑，人家明明是神兽好不好？你们说我是猫妖，我能忍，说我丑，我也能忍，可你们为什么要动我最心爱的阿玉！望着突然出现在眼前的男人，饭团有些回不过神你不是死了吗？傻瓜，我是仙尊，如何会死？我还要护你一世周全的。...