手机浏览器扫描二维码访问
第一百零一章 爆发（第2页）
他甚至都在形式语言学的序言之中表示，这种争论，纯粹就是自然语言混沌不堪，非得分出“发现”和“发明”两个完全不同的概念。
但不管怎么说，在算学领域，一个不可证明也不可证伪的理论，是允许存在的。
但它就好像是神学一样，在自己的逻辑里自成一体。
就算想要将之摧毁，也很难下手。
对于普通人来说，这就是一个“不知道到底有什么”的未知区域。
但冯落衣巧就巧在，他一开始，就直接证明了另一点。
无限公理是安全的。
“不知道里面有什么”，但是是“安全的”。
这也从侧面说明了，连宗对“无穷”概念的批判，实在是没有什么意义。
而陈由嘉的论文，也是紧随其后放出了。
这一下，却让所有离宗修士难受了一阵。
甚至有人当场大骂：“叛徒！”
离宗叛徒！
在过去的时光里，几乎所有修士，都将基派理所当然的视了离宗。王崎也旗帜鲜明的表示过自己离宗的立场。
而现在，身为离宗修士的陈由嘉，发表了带有明显连宗倾向的论文。
这又让他们怎么不怒？怎能不怒？
但比他们更怒的，却是千机阁的众多基层弟子。
类型论直接删掉了图灵完备，删掉了循环。
图灵真人本人倒是觉得挺有趣的，甚至将之当做一个课题布置离了下去。
但千机阁弟子发现这一点之后，就立刻沸腾了。
对于他们来说，没有图灵完备、没有循环的算器体系，是不可想象的。
他们感觉自己的圣域受到了侵犯。
过去的“自由飞翔”，如今就变成了“带着镣铐跳舞”。
陈由嘉“离宗叛徒”的呼声，也在千机阁闹得沸反盈天。
对此，图灵真人也只有苦笑：“这却是……好似是我对不住那姑娘了。”
冯落衣摇了摇头：“由得他们闹去。对于这些无心算理的家伙来说，那丫头的理论有怎么的用，他们未来总会知道的。”
“你是说将‘类型论’纳入‘图灵完备’吗？”图灵真人笑了：“涡这几天想过了，或许会产生恶性不谐的。”
“但王崎跟我说，这却能极大的降低算器之术的门槛。”冯落衣说道。
由于有了万象卦文的推广，他对自己弟子在这方面的眼光，还是信任的。
“就怕这两不沾的，关键时候误了事。”图灵真人有些犹豫。与类型论伴生的语言，是稍有错处，就会直接停机，算得上安全。而往日所用的法子虽然会输出未知结果，然是由于修士对这一领域已经熟稔，所以也很少在关键时刻掉链子。
但若是真的两者结合……
打到关键的时候算器宕机了怎么办？
“若是主法器自然另说，但是修炼的时候，确实有优势的。”冯落衣说道。
图灵真人突然笑道：“月寒兄如今倒是一副事不关己的样子。你难道不知道吗？这一股‘离宗叛徒’的风，也吹到你身上了吧？”
冯落衣眼睑低垂：“不过是些顽固分子……食古不化的老东西罢了。一个不周之算，都没有让他们看清楚真相，那他们也就这样了。”
超级特警综合系统 霸隋 苍天霸业 重生之天生我才 兽王三国 玄玑图 与女精灵的地球生活 权柄大明 死亡神座 神捕乱宋 醉卧九天 我叫布里茨 纸醉江山 鼎天武帝 舞吧，傀儡 美女教师的鬼医高手 道梦之轮回 网游之零纪元 美女总裁老婆 黑暗剑圣
绑架全世界
罗宁做梦也没有想到，自己不过是一个普通的大学生，居然能有一天干出绑架全世界的壮举来。事情还要从他穿越的那天说起。没错，罗宁穿越了，魂穿，还是做梦的时候魂穿。穿越地点，天衍大陆，穿越人物，一个普通的杂役小厮因为犯了点小错结果被管家带人给打了个半死。这本来没什么，可是问题是，地球上的所有与他上下相差十岁以内的男人，一夜之间都受到了同样的伤害。医院瞬间满员，而这还不是最严重的。真正最严重的问题在于，如果罗宁在天衍大陆死亡的话，那么整个世界的男人，上到三十二下到十二岁，将会出现一个绝对的断层空间所有人都会跟着死亡。这一下问题就很严重了所以，如何才能在这个弱肉强食的玄幻世界里活下去，就是罗宁的第一奋斗目标。...
百亿神豪从送外卖开始
百亿神豪从送外卖开始...
末世机甲：开局签到错选充电宝
穿越到了未来的末世。生态破坏，一千座要塞拔地而起，作为人类最后能生存的家园。结果信峰开局就被人扔到了外界。辐射，毒气，身体只是一个普通人的信峰完全没有办法在环境中生存。还好签到选择的外挂还是在他快死的时候来了。二选一，一个改善体质让你可以活下去的药剂。还是一个超级厉害的充电宝。这还用选？结果脚下一伴。抓向药剂的手一不小心抓歪了。卧槽，选错了怎么办啊！？没关系，就在这个末世中，在所有人梦想身体进化适应环境的时代，掀起一场机甲狂潮吧！...
慕医生，你老婆又闯祸了
...
新三国策
生死无二志，丈夫何壮哉！腹内藏经史，胸中隐甲兵。真烈心无异，坚刚志更清。豪气贯长虹，成败复谁论高宠手语。也或狂喜，也或狷狂，高宠是怎样的一个人？没有人知道，即使是奋笔疾书的作者也不能完全的描述出来。在获得自由的那一刻起，年少的高宠如同一片纷飞飘落的叶子，时尔被命运的狂风吹落，时尔又被推到时世的风口浪尖。神亭岭上，当高宠拧矟刺向孙策的那一刻，他不会知道自己的生命还会延续多久，也不能预料孙策将会成为他最强悍的对手。江南，一段新的吴楚争霸故事娓娓展开。面对高宠这般顽强不弃的对手，曹操刘备孙策刘表袁绍这些纵横一时的诸侯不知又会作如何动作？柳絮桃花，自在飞莺，恰恰马蹄，浅草闲人，英雄多情无悔。当高宠第一次意识到男女之情时，他的生命也因为陆缇慕沙大乔等妙龄女子的出现而变得多姿多彩起来，而这才是高宠心中的三国。新书色相在新书榜打榜，大家多多支持，万分感谢！...
我老婆真的是仙女
万万没想到，当周然醒来的时候，枕边竟然多了一位仙女。嗯，一言不合就拔剑砍人的仙女...