手机浏览器扫描二维码访问
第一百零一章 爆发第二更（第2页）
王崎在与美神遭遇之后，便也有了这种倾向。
他甚至都在形式语言学的序言之中表示，这种争论，纯粹就是自然语言混沌不堪，非得分出“发现”和“发明”两个完全不同的概念。
但不管怎么说，在算学领域，一个不可证明也不可证伪的理论，是允许存在的。
但它就好像是神学一样，在自己的逻辑里自成一体。
就算想要将之摧毁，也很难下手。
对于普通人来说，这就是一个“不知道到底有什么”的未知区域。
但冯落衣巧就巧在，他一开始，就直接证明了另一点。
无限公理是安全的。
“不知道里面有什么”，但是是“安全的”。
这也从侧面说明了，连宗对“无穷”概念的批判，实在是没有什么意义。
而陈由嘉的论文，也是紧随其后放出了。
这一下，却让所有离宗修士难受了一阵。
甚至有人当场大骂：“叛徒！”
离宗叛徒！
在过去的时光里，几乎所有修士，都将基派理所当然的视作了离宗。王崎也旗帜鲜明的表示过自己离宗的立场。
而现在，身为离宗修士的陈由嘉，发表了带有明显连宗倾向的论文。
这又让他们怎么不怒？怎能不怒？
但比他们更怒的，却是千机阁的众多基层弟子。
类型论直接删掉了图灵完备，删掉了循环。
图灵真人本人倒是觉得挺有趣的，甚至将之当做一个课题布置离了下去。
但千机阁弟子发现这一点之后，就立刻沸腾了。
对于他们来说，没有图灵完备、没有循环的算器体系，是不可想象的。
他们感觉自己的圣域受到了侵犯。
过去的“自由飞翔”，如今就变成了“带着镣铐跳舞”。
陈由嘉“离宗叛徒”的呼声，也在千机阁闹得沸反盈天。
对此，图灵真人也只有苦笑：“这却是……好似是我对不住那姑娘了。”
冯落衣摇了摇头：“由得他们闹去。对于这些无心算理的家伙来说，那丫头的理论有怎么的作用，他们未来总会知道的。”
“你是说将‘类型论’纳入‘图灵完备’吗？”图灵真人笑了：“涡这几天想过了，或许会产生恶性不谐的。”
“但王崎跟我说，这却能极大的降低算器之术的门槛。”冯落衣说道。
由于有了万象卦文的推广，他对自己弟子在这方面的眼光，还是信任的。
“就怕这两不沾的，关键时候误了事。”图灵真人有些犹豫。与类型论伴生的语言，是稍有错处，就会直接停机，算得上安全。而往日所用的法子虽然会输出未知结果，然是由于修士对这一领域已经熟稔，所以也很少在关键时刻掉链子。
但若是真的两者结合……
打到关键的时候算器宕机了怎么办？
我的修真小米三 舌尖天下 月薪十万，女总裁她果然不只是让我当司机 巫妖生存指南 灵异直播，女主她不想吓人 西游：六岁熊孩子，开局怒怼观世音 运河之韵 建立帝国从骑士次子开始 巨树领主 我，地球唯一超能力者 万苍天穹 什么？奥特曼是终身制的？ 敛财心 道化九界 盛世花都 大明：开局剧透崇祯，重振河山 穿进语文书，从刺猹开始 网游航海之王 谭笑风声里，灼灼桃之夭 先婚后爱：娇妻拒婚101次
四合院：阎解旷的潇洒人生
关于四合院阎解旷的潇洒人生阎有矿无意中开启了空间穿越到了四合院世界，成为了三大爷阎埠贵的三儿子阎解旷。阎解旷到了四合院，先打断盗圣棒梗的腿，收了些利息。接着又给四合院的养老团添了一些堵。只要你不让我好过，我就不让你舒服。我不舒服了，你们也别想开心。在这四合院世界里，我阎解旷想怎么样就怎么样！...
她自淤泥而来
出了车祸后她才彻底死心了，这个家原来真的不爱她，十万！为了区区十万他们放弃了她。真是太可笑了。可她都打算放弃自己了，为何又被救了回来，既然这都死不了，那么，她是不是也可以拼一次呢！重来一次后赚钱反而成为了最简单的事情。什么？觉醒的超能力是家族遗传？亲生父母另有其人？她的人生从她出生起老天爷就跟她开了一场玩笑。重来一...
东北金渐层把我家当月子中心了
轻松日常动物互动赶山沈星从大城市辞职回村，自从救下一头被捕兽夹子夹住的金渐层幼崽后，他在村里就过上了顿顿吃肉，家门口捡山珍的美滋滋小日子不是，到底是谁在传村里有个两脚兽会帮忙带娃啊？我家真不是月子中心！虎妈，你看你还客气上了，这麂子肉我真不能收。随着沈星开启直播，网友们看到他家里堆积如山的野山参灵芝松茸网友主播，这些都是你赶山捡到的？沈星啊，赶山？我真没赶山啊，我对灵芝人参啥的一点儿都不感兴趣这时，直播间正好录到一头五百斤重的金渐层叼着人参来找沈星啊，虎妈你别往我家里塞娃了，真带不了什么，你带了1o根野山参？还是一百年份的！欢迎欢迎，请进请进。网友们全都看傻眼了东北虎送礼？那长白山不成了主播家菜园吗这主播真6，躺平让他玩明白了！央妈采访沈星请问你一个失业人士，怎么做到在魔都买下一套房的？...
我只想躺平，你休想让我继承皇位
关于我只想躺平，你休想让我继承皇位全能杀手云曦，跳伞时不幸卷入风暴之中，死后带着空间魂穿到了异世大熙王朝。再睁眼，就是鸡飞狗跳的场景。大伯母要卖掉原身给小儿子看病，大伯袖手旁观，瘦骨嶙峋的弟弟被大堂哥一脚踹飞，面黄肌瘦的母亲被大伯母拽倒在地云曦一看，这能忍？先打回去，然后分家！这个家有她，必须得分！可分个家也不太平，弄得吵闹不休，烦不胜烦。云曦快刀斩乱麻，东西不要了，直接断亲，反正那点东西她也看不上！断亲后，云曦家逐渐富裕起来，且她还带着村子里的人共同富裕。不仅如此，她的弟弟，考上了状元！她的母亲，成了一品诰命！她路边救的人，是个王爷！她的合作伙伴，是全国首富！她的徒弟，有神医，有神厨，有墨家巨子她的发明创造，让大熙至少进步了一千年！有一天，皇帝指着远方突然问她看，这都是你给朕打下的江山，所以你想不想当女帝？云曦满脸惊恐泥奏凯啊！女帝那么累人的差事，狗都不干！操了一辈子心，不该让她享受享受吗？...
大妖精
...
学霸女友也太宠了吧
轻松，日常，搞笑，单女主，狗粮文重生回高中时代就是来弥补遗憾的。这次我要当全能学霸，考第一当高考状元，以最高分进入名牌大学走上人生巅峰。在这段时间，我竟然发现了一个关于暗恋的秘密。她会在放学的时候小心翼翼的跟在我身后，在校运会举办期间时刻寻找我的踪影，在体育课自由活动时假装从我面前路过在车站故意多等一趟车就为了...