手机浏览器扫描二维码访问
第1283章（第1页）
无限公理是安全的。
“不知道里面有什么”，但是是“安全的”。
这也从侧面说明了，连宗对“无穷”概念的批判，实在是没有什么意义。
而陈由嘉的论文，也是紧随其后放出了。
这一下，却让所有离宗修士难受了一阵。
甚至有人当场大骂：“叛徒！”
离宗叛徒！
在过去的时光里，几乎所有修士，都将基派理所当然的视作了离宗。王崎也旗帜鲜明的表示过自己离宗的立场。
而现在，身为离宗修士的陈由嘉，发表了带有明显连宗倾向的论文。
这又让他们怎么不怒？怎能不怒？
但比他们更怒的，却是千机阁的众多基层弟子。
类型论直接删掉了图灵完备，删掉了循环。
图灵真人本人倒是觉得挺有趣的，甚至将之当做一个课题布置离了下去。
但千机阁弟子发现这一点之后，就立刻沸腾了。
对于他们来说，没有图灵完备、没有循环的算器体系，是不可想象的。
他们感觉自己的圣域受到了侵犯。
过去的“自由飞翔”，如今就变成了“带着镣铐跳舞”。
陈由嘉“离宗叛徒”的呼声，也在千机阁闹得沸反盈天。
对此，图灵真人也只有苦笑：“这却是……好似是我对不住那姑娘了。”
冯落衣摇了摇头：“由得他们闹去。对于这些无心算理的家伙来说，那丫头的理论有怎么的作用，他们未来总会知道的。”
“你是说将‘类型论’纳入‘图灵完备’吗？”图灵真人笑了：“涡这几天想过了，或许会产生恶性不谐的。”
“但王崎跟我说，这却能极大的降低算器之术的门槛。”冯落衣说道。
由于有了万象卦文的推广，他对自己弟子在这方面的眼光，还是信任的。
“就怕这两不沾的，关键时候误了事。”图灵真人有些犹豫。与类型论伴生的语言，是稍有错处，就会直接停机，算得上安全。而往日所用的法子虽然会输出未知结果，然是由于修士对这一领域已经熟稔，所以也很少在关键时刻掉链子。
但若是真的两者结合……
打到关键的时候算器宕机了怎么办？
“若是主法器自然另说，但是修炼的时候，确实有优势的。”冯落衣说道。
图灵真人突然笑道：“月寒兄如今倒是一副事不关己的样子。你难道不知道吗？这一股‘离宗叛徒’的风，也吹到你身上了吧？”
冯落衣眼睑低垂：“不过是些顽固分子……食古不化的老东西罢了。一个不周之算，都没有让他们看清楚真相，那他们也就这样了。”
实际上，冯落衣的论文，在离宗内部，也并非没有反对之声。
最开始也就是因为千机阁修士对陈由嘉的反对之声，才引发了另一股反对之声。
有一些离宗修士都觉得，冯落衣是疯了。
他居然剔除掉了“循环”这个概念！
娱乐超级奶爸 时光请善待我的她 大明孤狼 一爱到底之顾少毒妻 最强除妖师 扛着boss拼下限（末世） 神偷长公主 捡到病娇太子之后（重生） 系统之娇宠孕妻 断神 赌妃在上，王爷在下 眼镜兄撞上恶魔王子 烈火燃情：高冷总裁滚远点 穿越之弃子国师 天地炼成 天黑请开眼 废材重生：邪王独宠悍王妃 直播和男神同居的日子 悍妻[医道] 我是狠人大帝的同乡
超强保镖
回国的强者本想安分守己的做个出租车小司机，没想到一次机缘巧合之下救了美女总裁，从此之后，小司机有了春天，做起了美女总裁的贴身保镖，一代超强保镖就此诞生。且看超强保镖林洋，穿梭在都市之中，面...
穿越武大郎从卖饼开始
我穿越成武大郎，刚来就遇到潘金莲。潘金莲嫁给我后感叹自己命苦，但她却发现这个大郎不一般，他的身高，容貌发生了惊人变化，且会厨艺，懂诗词，能武功。遇到西门庆，敢觊觎我娘子？爆锤。王干娘做的好事？弄她。赚钱？抱歉，我精通各种厨艺，席卷宋朝餐饮业。打仗？其实我精通孙子兵法，鬼谷子，三十六计，五经七书，六韬，三略，诸葛兵法论权力，他和当今官家称兄道弟，权倾朝野。遇到水浒好汉，将其统统收服，他能威慑辽国收回燕云十六州，且镇压西夏，金国，以及倭国，拂菻他还能现代化经济建设，改变历史。从此大宋出了个武大郎，他的名声广传天下，威震四海！莫能比也如果您喜欢穿越武大郎从卖饼开始，别忘记分享给朋友...
重生1982做顽主
玩主者顽主，把玩当成正经事，玩出花儿，玩出事业，玩出人生。而杜康精通古董修复，国宝修复需请他出手。精通古董辨识，收藏家想要请他鉴宝。精通玉器赌石，可从顽石中找到宝玉。更精通天下百工，随便一件作品都要数百上千万，有作品拍出过亿的价格。如果您喜欢重生1982做顽主，别忘记分享给朋友...
晚安小萌妻
关于晚安小萌妻雨夜逃婚，迷糊的她强上了未婚夫儿子的车，以为从此逃离魔掌。到头来，她却从一个坑跳进了另一个坑里，一张契约让她从后妈成了儿媳。人前，他对她万般宠爱，眉宇间的爱意如浓郁的巧克力怎么也化不开。她明知是戏，却还不可救药的深陷其中，伤身伤心。人后，他对她呼来喝去，却当关爱与依赖已刻入骨髓，他才后知后觉。...
男人三十
关于男人三十公司破产，妻子出轨，背负巨债，我该何去何从我记得一句话，要么在沉默中死亡，要么在沉默中爆发。我不甘被人戏耍于股掌之间，决心要复仇，要东山再起。对不起我的，我要让他们知道后果，背叛我的，要付出代价。亏欠我的，我将加倍讨回。男人三十，精彩人生才刚刚开始！...
世子妃又野又甜
传闻中恶行昭著不知礼数的草包小姐被退了婚！世人议论纷纷，皆大欢喜。殊不知陆南枝为了退婚干出多少丧心病狂的事儿。众人耻笑没多久，这位怀文候府庶出小姐引得皇城世家公子个个上门求娶。众人悴。后来有一日，陆南枝和那位举世无双温润如玉的世子爷走在一起。霎时，可谓山崩地裂！陆南枝一生都在苦苦追求，研权谋学武艺弃闺阁入朝堂！一双素手掌棋局，抬眸便可定乾坤抒情版文案我把我的心给她，哪怕她撕碎了，踩烂了，也是我愿意的，你管不了，任何人也管不了！沈容煦他们杀人放火也好，灭我家国也罢，哪怕是一寸寸敲断我骨头，我都不会有这般滔天恨意！为何死后扒皮抽筋？挂头颅于城墙之上暴晒！为何死前凌辱？于一介弱女子梳洗之刑？谁若拦我，我便杀死！你若拦我，我便杀你！陆南枝PS男强女强，双洁一对一，简介仅供参考，详情请戳正文。如果您喜欢世子妃又野又甜，别忘记分享给朋友...