手机浏览器扫描二维码访问
第一百零一章 爆发第二更（第2页）
王崎在与美神遭遇之后，便也有了这种倾向。
他甚至都在形式语言学的序言之中表示，这种争论，纯粹就是自然语言混沌不堪，非得分出“发现”和“发明”两个完全不同的概念。
但不管怎么说，在算学领域，一个不可证明也不可证伪的理论，是允许存在的。
但它就好像是神学一样，在自己的逻辑里自成一体。
就算想要将之摧毁，也很难下手。
对于普通人来说，这就是一个“不知道到底有什么”的未知区域。
但冯落衣巧就巧在，他一开始，就直接证明了另一点。
无限公理是安全的。
“不知道里面有什么”，但是是“安全的”。
这也从侧面说明了，连宗对“无穷”概念的批判，实在是没有什么意义。
而陈由嘉的论文，也是紧随其后放出了。
这一下，却让所有离宗修士难受了一阵。
甚至有人当场大骂：“叛徒！”
离宗叛徒！
在过去的时光里，几乎所有修士，都将基派理所当然的视作了离宗。王崎也旗帜鲜明的表示过自己离宗的立场。
而现在，身为离宗修士的陈由嘉，发表了带有明显连宗倾向的论文。
这又让他们怎么不怒？怎能不怒？
但比他们更怒的，却是千机阁的众多基层弟子。
类型论直接删掉了图灵完备，删掉了循环。
图灵真人本人倒是觉得挺有趣的，甚至将之当做一个课题布置离了下去。
但千机阁弟子发现这一点之后，就立刻沸腾了。
对于他们来说，没有图灵完备、没有循环的算器体系，是不可想象的。
他们感觉自己的圣域受到了侵犯。
过去的“自由飞翔”，如今就变成了“带着镣铐跳舞”。
陈由嘉“离宗叛徒”的呼声，也在千机阁闹得沸反盈天。
对此，图灵真人也只有苦笑：“这却是……好似是我对不住那姑娘了。”
冯落衣摇了摇头：“由得他们闹去。对于这些无心算理的家伙来说，那丫头的理论有怎么的作用，他们未来总会知道的。”
“你是说将‘类型论’纳入‘图灵完备’吗？”图灵真人笑了：“涡这几天想过了，或许会产生恶性不谐的。”
“但王崎跟我说，这却能极大的降低算器之术的门槛。”冯落衣说道。
由于有了万象卦文的推广，他对自己弟子在这方面的眼光，还是信任的。
“就怕这两不沾的，关键时候误了事。”图灵真人有些犹豫。与类型论伴生的语言，是稍有错处，就会直接停机，算得上安全。而往日所用的法子虽然会输出未知结果，然是由于修士对这一领域已经熟稔，所以也很少在关键时刻掉链子。
但若是真的两者结合……
打到关键的时候算器宕机了怎么办？
道化九界 建立帝国从骑士次子开始 巨树领主 灵异直播，女主她不想吓人 万苍天穹 月薪十万，女总裁她果然不只是让我当司机 巫妖生存指南 什么？奥特曼是终身制的？ 我，地球唯一超能力者 谭笑风声里，灼灼桃之夭 我的修真小米三 舌尖天下 西游：六岁熊孩子，开局怒怼观世音 运河之韵 敛财心 先婚后爱：娇妻拒婚101次 大明：开局剧透崇祯，重振河山 网游航海之王 穿进语文书，从刺猹开始 盛世花都
老登，看！咱家的散装宗门
一条鱼？一只狐狸？一个阿飘？外加一位魔族！徒儿啊！你是一个人都不给为师收啊？！！扶山子额头青筋突跳，扭头看向自己的开山大弟子，只见他的大弟子躺在躺椅上，蒲扇轻轻摇动，好不快哉，悠然道师父，这话徒儿不爱听，不爱听啊！怎么没给你收人，那不就是随即手中蒲扇往远方一指，扶山子顺势看去，只觉吾命休矣，那可是人族修士...
重生七零，末世女带着异能杀疯了
「年代双洁穿越虐渣打脸异能空间忠犬甜宠搞钱」在末世不幸丧生的徐娇娇一睁眼竟发现自己穿回了华夏国五百年前的七十年代，还是开局就遇上渣男一家前来退婚的狗血画面。经历过末世逃亡的徐娇娇冷冷一笑，很好，她最喜欢以拳服人了。刚考上县里的临时工就看不起我了是吧，没关系，想退婚可以，先挨本小姐一顿揍再说。你以为这就...
传奇，从继承校花老婆开始
周波，你个死肥猪，还在睡，赶紧给老娘滚下来！一个身穿大红嫁衣的绝美女子站在床前大声呵斥。迷迷糊糊的周波看到这个女子心中一跳开玩笑，老夫今天结婚？这么漂亮的女人是我未婚妻？我咋一点印象都没有？...
嫡女惨死后，重回赐婚前，不嫁了
关于嫡女惨死后，重回赐婚前，不嫁了疯批嫡女重生后，虐渣男斗庶妹嫁死对头，狗咬她她都要咬回去！上一世，相府嫡女颜云姝身负恶名，倾尽外祖家财力和权势，助大皇子许景烨得太子位得皇位。可登基当日，他却抄了她外祖满门，将她打入死牢，迎娶了她的庶妹颜书瑶。数月后，他亲自带着她的庶妹颜书瑶来到死牢，一壶毒酒将她活活灌死。死后她才发现，这个世界是一本书。她是书中恶毒女配，庶妹颜书瑶是穿书女主，手握预知未来的金手指肆意夺取她的气运，踩她上位。一朝重生，竟回到了圣上赐婚前，坚决不嫁了。但上一世那个处处和她作对的死对头，原本的皇位继承者，却成了她的这一世的准夫君。人人都道二皇子许景槐冷酷残暴不近女色，只有他自己知道，他心里只有她。...
校园青春之混的那些年
关于校园青春之混的那些年我叫陈庆，因为校园霸凌，走上了这条不归路，而踏进这泥潭后，却越陷越深，直到淹没，永远的消失给大家讲讲我曾混过的那些年吧，或许当时很快乐，或许当时没有那么多的烦恼，或许也因为那几年改变了一生，又或许正是那些年毁了我的一生！（特此声明本故事纯属虚构无不良引导切勿代入现实请勿模仿）注作者写本书目的只是告诫大家，不要踏足这泥泞之地，出来混，没有什么好下场，也不会有那么多的叱咤风云，常在河边走哪有不湿鞋，当你遇到背叛出卖欺骗家人分离时，那种痛苦无法想象，你以为你得到尊严了，但你却早已失去了尊严。相信各位读者都会感同身受，远离这片是非之地。珍惜眼前，活在当下，简单平淡也是幸福，感谢大家。...
称霸诸天：从娶女弟子开始
关于称霸诸天从娶女弟子开始大弟子天狐女帝师傅，人家怕冷，求暖被窝二弟子九幽魔帝师傅，你若不嫁给我，我就砍你了哦三弟子绝情女帝师傅，缺对象吗？咱俩处处。萧三斤乖徒儿们别闹，我忙着独断万古呢...