手机浏览器扫描二维码访问
第十七章 语言与数学（第2页）
“你不能不管我！”
维利尖叫：“我们把那个小孩子骗出来吧！不管是碾碎了还是拆成零件卖了……”
“嘿！你疯了！”
以诺吓了一跳。他可是真的打算要和尤利娅在一起的。以诺知道自己的性格，他守不住秘密。他要是动了尤基，就没法和尤利娅在一起了。
以诺本来就被这个家伙纠缠得有点烦了。但他又觉得让这个家伙就这样行动，尤基出了事，说不定会牵连到自己。以诺便说道：“多大点事……这样吧，我今天本来就打算到城里乐一乐。这样，我请你看点好看的，怎么样？”
“好看的？”
维利有些迷惘：“是什么？竞技会？还是新游戏？”
“比那个刺激多了……来来，上车！”
以诺身上没有驾驶位。他将货斗略略倾斜，让维利自己扒上去。
尘土飞扬。
…………………………………………………………………………
“一个真正的程序员，他的编程从裸机开始!”
“一个真正的程序员，不存在面向对象与面向过程之分，也不存在强类型与类型不安全之别，从机器语言到汇编器到编译器到无数高级应用程序，他无所不通！”
某些回忆闪闪光。向山已经记不清这是什么人对他说的了。不过，某些“知识”
成分的东西却在提醒他，那个人是历史上有名的程序员，是曾经决定了历史面貌的人。
向山和“这个人”
有很深的交情，所以他学到了关于编程的“一切”
。
这东西的本质是“数学”
。
编程，是语言学，也是数学。
或者说，语言学就是一种数学。
二战结束的前后，数学家们开辟出了一个被称作“字问题”
的全新领域。在这个领域中，一些数学概念被套上“文字”
的外衣，用代数结构产生的形式自然的表明着它们自身。数学家们尝试使用语言学的规则玩弄数学。
1944年，美国逻辑学家，人工智能先驱埃米尔·波斯特就证明了字问题具备不可判定性。
而在1947年，安德烈·马尔可夫之子，阿纳托利·马尔可夫也不知晓波斯特工作的前提下，做出了一样的证明。
“语言”
之中，存在“不可判定性问题”
。这是第一个并非由人类提出、并非出现在计算科学领域的不可判定性问题。
而与此同时，语言学家也沿着相反的方向，抵达了相同的境界。
我有一本万世书
穿越后，许升脑海中带着一本‘万世书’。其功能是如果许升死掉可以转生投胎到自己的最优质的后代身上一万次。并且，可以带着前世的记忆技能修为。许升一开始的目标是充分散播自身血脉，保证自己万世不灭。后来，他才知道这个世界原来有仙人...
(穿书)秦臻的幸福生活手札
秦臻因为同事打架，莫名被一个马克杯砸进书中世界，还没等她回神，已经被自己新出炉没多久的便宜父亲用一颗破障丹嫁给了那本书的主角他爹齐修远在儿子的满月玉佩里轮回了足足百世，经历了无数腥风血雨，终于换...
禽兽宝宝一岁半：兽人老公好凶猛
她是共认的小吃货，穿越到异世，被凶残的禽兽男拖进山洞，神马一夜七次弱爆了人家是一夜只一次，但一次一整夜一直到她肚子里被强行塞进一个蛋宝宝强大腹黑，带着妈咪全世界的找美食。结果现禽兽爹地遗...
穿成作精老太，别人逃荒我开荒
番茄2024515完结已完结种田古代言情穿越穿书无CP1096万字作品简介（无空间，无系统，无CP，乡土温馨向。每个人都说自己穿越乱世活不过三集，看过这本书，你能多活十集！）穿书了，还是穿成男频文里虐待主角的反派舅母，还要被噶。江枝没有抱大腿，直接丢开男主，凭借自己丰富的草药知识度过兵荒马乱，开荒种田养头野猪当宠物。采药制药当村长没有王权富贵，只有家长里短！...
我上我真行
来到平行世界的张鸿本想继续当一名平凡的普通上班族。但一睁眼，他就现自己成了小鲜肉演的三流苦情电视剧导演。前世身为一名键盘强者，他经常跟人对喷说就这种垃圾剧情？我上我也行！这次他真的上了ps群9o8776453各位书友要是觉得我上我真行还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！...
斗罗：武魂诸葛连弩，射穿一切！
穿越斗罗，我光羽手持一弩，唤名诸葛，觉醒射魂宗，四十灭魂帝，七十破封号，封号可屠神！去他喵的唐三，去他喵的史莱克，武魂殿万岁！斗一同人，大脑洞剧情！给你不一样的阅读体验！ps主角身份武魂殿五供奉光翎斗罗孙子，主角团敌对！...