手机浏览器扫描二维码访问
第1283章（第1页）
无限公理是安全的。
“不知道里面有什么”，但是是“安全的”。
这也从侧面说明了，连宗对“无穷”概念的批判，实在是没有什么意义。
而陈由嘉的论文，也是紧随其后放出了。
这一下，却让所有离宗修士难受了一阵。
甚至有人当场大骂：“叛徒！”
离宗叛徒！
在过去的时光里，几乎所有修士，都将基派理所当然的视作了离宗。王崎也旗帜鲜明的表示过自己离宗的立场。
而现在，身为离宗修士的陈由嘉，发表了带有明显连宗倾向的论文。
这又让他们怎么不怒？怎能不怒？
但比他们更怒的，却是千机阁的众多基层弟子。
类型论直接删掉了图灵完备，删掉了循环。
图灵真人本人倒是觉得挺有趣的，甚至将之当做一个课题布置离了下去。
但千机阁弟子发现这一点之后，就立刻沸腾了。
对于他们来说，没有图灵完备、没有循环的算器体系，是不可想象的。
他们感觉自己的圣域受到了侵犯。
过去的“自由飞翔”，如今就变成了“带着镣铐跳舞”。
陈由嘉“离宗叛徒”的呼声，也在千机阁闹得沸反盈天。
对此，图灵真人也只有苦笑：“这却是……好似是我对不住那姑娘了。”
冯落衣摇了摇头：“由得他们闹去。对于这些无心算理的家伙来说，那丫头的理论有怎么的作用，他们未来总会知道的。”
“你是说将‘类型论’纳入‘图灵完备’吗？”图灵真人笑了：“涡这几天想过了，或许会产生恶性不谐的。”
“但王崎跟我说，这却能极大的降低算器之术的门槛。”冯落衣说道。
由于有了万象卦文的推广，他对自己弟子在这方面的眼光，还是信任的。
“就怕这两不沾的，关键时候误了事。”图灵真人有些犹豫。与类型论伴生的语言，是稍有错处，就会直接停机，算得上安全。而往日所用的法子虽然会输出未知结果，然是由于修士对这一领域已经熟稔，所以也很少在关键时刻掉链子。
但若是真的两者结合……
打到关键的时候算器宕机了怎么办？
“若是主法器自然另说，但是修炼的时候，确实有优势的。”冯落衣说道。
图灵真人突然笑道：“月寒兄如今倒是一副事不关己的样子。你难道不知道吗？这一股‘离宗叛徒’的风，也吹到你身上了吧？”
冯落衣眼睑低垂：“不过是些顽固分子……食古不化的老东西罢了。一个不周之算，都没有让他们看清楚真相，那他们也就这样了。”
实际上，冯落衣的论文，在离宗内部，也并非没有反对之声。
最开始也就是因为千机阁修士对陈由嘉的反对之声，才引发了另一股反对之声。
有一些离宗修士都觉得，冯落衣是疯了。
他居然剔除掉了“循环”这个概念！
系统之娇宠孕妻 悍妻[医道] 娱乐超级奶爸 最强除妖师 大明孤狼 捡到病娇太子之后（重生） 时光请善待我的她 神偷长公主 天地炼成 断神 扛着boss拼下限（末世） 直播和男神同居的日子 废材重生：邪王独宠悍王妃 穿越之弃子国师 天黑请开眼 赌妃在上，王爷在下 烈火燃情：高冷总裁滚远点 眼镜兄撞上恶魔王子 我是狠人大帝的同乡 一爱到底之顾少毒妻
神医倾城：魔帝大人轻点撩
异世大陆，身世的扑朔迷离，想要挣扎活下去的决心，到底什么才是真正的自己，揭开真相的那一刻，是向命运屈服，还是努力走向更高处无邪我记得我是谁，唯一的目标只是想活着，上天不公，那我便冲破这天，大地不仁，那我便创造我自己的大地。容墨这世界上我想要守护的唯她一人而已，若她不在，这万里江山又有什么意义，就算是堕魔毁了它又何妨。卫颜初次相见她便镌刻在我心上，那时却不觉，站在正邪对立面时，我又该何去何从。男女绝对1v1宠文，欢迎大家收藏哦如果您喜欢神医倾城魔帝大人轻点撩，别忘记分享给朋友...
龙图腾II
主人公夏海当过兵，却得罪了人，落个退役的下场，夏海人很热心，可是却也坏在热心上面。一次偶然的见义勇为却不想成了穿越大军的一员，来到了远古时代，但是，夏海却发现，这里并不原始。这里有着大大小小的部落。这里已经有了大的部落联盟，或者称呼为诸侯国也不错。这里是一个实力为尊的世界，这个世界的个体力量几乎异常的强大。夏海该如...
旅行青蛙：在漫威世界混日子
梅，如果我死了，请把我的骨灰洒在大海里里。为什么？因为我就算是死了，也要接着浪。这是一个注入了正能量的故事。如果您喜欢旅行青蛙在漫威世界混日子，别忘记分享给朋友...
大话水浒之武大郎传奇
关于大话水浒之武大郎传奇历史不是镜子，历史是精子，牺牲亿万，才有一个活到今天人生不是故事，人生是事故，摸爬滚打，才不辜负功名尘土。作为一名宅男，穿越，是我一直以来梦寐以求的事情，可穿越到武大...
校花的近身武神
自幼被家族遗弃的林凡，大学期间偶得奇遇，拥有了纯阳脉和至阴脉并存的阴阳双脉体质，得以修炼天级功法乾坤阴阳诀，此后奇遇不断，武修路上精彩纷呈，各色美女接踵而至，林凡的身世也渐渐揭晓，曾经的弃儿竟藏着惊天秘密...
祁少宠妻甜腻腻
你再也不是那个掌上明珠了，醒醒吧！这段话在杨纯晴里不断浮现，被闺蜜所害，就连姐姐和父母都离她而去。她后悔，伤害的都是自己本应该珍惜的人。不行，这不是她想要的！重来一世，她要擦亮眼睛，手撕渣男贱女，好好对待真心为自己付出的家人，伤害她的那些人，她一个也不会放过！当然，最重要的是，她要把自己伤过的那颗心，再重新追回来，小心珍藏。只是这追夫之路，漫漫无期啊～如果您喜欢祁少宠妻甜腻腻，别忘记分享给朋友...