手机浏览器扫描二维码访问
第一百零一章 爆发（第3页）
实际上，冯落衣的论文，在离宗内部，也并非没有反对之声。
最开始也就是因为千机阁修士对陈由嘉的反对之声，才引发了另一股反对之声。
有一些离宗修士都觉得，冯落衣是疯了。
他居然剔除掉了“循环”这个概念！
循环，是广泛存在于自然界之中的概念。天地呼吸所代表的灵力循环，大气环流、水的循环，都是一种循环。
所以，循环这种东西，理应存在于算学之中——实际上，它甚至都是万法门功法的关键部分。
“循环是不能被剔除出逻辑的。”
那些离宗修士如此说道。
陈由嘉和冯落衣，都是走算主“两条路”之中的“断自指”的。
甚至两人也在一定程度上相互启发了。
只不过从根基上来说，冯落衣是最正统的离宗，而陈由嘉则从算君这里接受了不少连宗的思路。
但他们却是指向了同一个方向。
冯落衣从来就不在乎这点小事。他对图灵真人说道：“歌庭派内部没有反对之声，就足够了。接下来，就看他们的吧？”
图灵真人不置可否。谁都知道，歌庭派此时此刻，已经是置之死地而后生了。
在不周之算的碾压下，他们也顾不得许多了。
不过，图灵真人并没有想到，数日之后，歌庭派的背水一击，居然来得如此猛烈。
实际上，也就是冯落衣将连宗、离宗算理频繁转化的手段，引起了他们的注意。
他们由此，提炼出了一个无名的逻辑层面的函数。
“双重否定翻译”。【地球上称之为“哥德尔-根岑”翻译】
“假设排中律有矛盾，则可以构造出这个假设的否定证明”。
“而排中律，则可以等价于双重否定去除”。
这是两条已经存在浅显证明的论题。
而就在这个时候，歌庭派提出了一个更进一步的想法。
“如果从经典逻辑里面的证明里，添加双重否定，那么这个证明，是否可以等价于直觉主义的构造性证明？”
也就是说，如果将歌庭派算理之中属于“排中律”的部分祛除，那么，这东西，是否就等价于少黎派的构造性证明呢？
答案是，“是”。
它用反对排中律的连宗算理，确定了连宗反对的排中律，也是安全的。
和无穷公理一样安全。
换言之……
连宗算理并不比离宗算理安全到哪里去。8）
（大雁文学WwW.XiaoYanWenXue.CoM）
重生之天生我才 醉卧九天 美女教师的鬼医高手 兽王三国 霸隋 权柄大明 舞吧，傀儡 玄玑图 我叫布里茨 死亡神座 苍天霸业 鼎天武帝 神捕乱宋 道梦之轮回 超级特警综合系统 网游之零纪元 纸醉江山 黑暗剑圣 美女总裁老婆 与女精灵的地球生活
绑架全世界
罗宁做梦也没有想到，自己不过是一个普通的大学生，居然能有一天干出绑架全世界的壮举来。事情还要从他穿越的那天说起。没错，罗宁穿越了，魂穿，还是做梦的时候魂穿。穿越地点，天衍大陆，穿越人物，一个普通的杂役小厮因为犯了点小错结果被管家带人给打了个半死。这本来没什么，可是问题是，地球上的所有与他上下相差十岁以内的男人，一夜之间都受到了同样的伤害。医院瞬间满员，而这还不是最严重的。真正最严重的问题在于，如果罗宁在天衍大陆死亡的话，那么整个世界的男人，上到三十二下到十二岁，将会出现一个绝对的断层空间所有人都会跟着死亡。这一下问题就很严重了所以，如何才能在这个弱肉强食的玄幻世界里活下去，就是罗宁的第一奋斗目标。...
百亿神豪从送外卖开始
百亿神豪从送外卖开始...
末世机甲：开局签到错选充电宝
穿越到了未来的末世。生态破坏，一千座要塞拔地而起，作为人类最后能生存的家园。结果信峰开局就被人扔到了外界。辐射，毒气，身体只是一个普通人的信峰完全没有办法在环境中生存。还好签到选择的外挂还是在他快死的时候来了。二选一，一个改善体质让你可以活下去的药剂。还是一个超级厉害的充电宝。这还用选？结果脚下一伴。抓向药剂的手一不小心抓歪了。卧槽，选错了怎么办啊！？没关系，就在这个末世中，在所有人梦想身体进化适应环境的时代，掀起一场机甲狂潮吧！...
慕医生，你老婆又闯祸了
...
新三国策
生死无二志，丈夫何壮哉！腹内藏经史，胸中隐甲兵。真烈心无异，坚刚志更清。豪气贯长虹，成败复谁论高宠手语。也或狂喜，也或狷狂，高宠是怎样的一个人？没有人知道，即使是奋笔疾书的作者也不能完全的描述出来。在获得自由的那一刻起，年少的高宠如同一片纷飞飘落的叶子，时尔被命运的狂风吹落，时尔又被推到时世的风口浪尖。神亭岭上，当高宠拧矟刺向孙策的那一刻，他不会知道自己的生命还会延续多久，也不能预料孙策将会成为他最强悍的对手。江南，一段新的吴楚争霸故事娓娓展开。面对高宠这般顽强不弃的对手，曹操刘备孙策刘表袁绍这些纵横一时的诸侯不知又会作如何动作？柳絮桃花，自在飞莺，恰恰马蹄，浅草闲人，英雄多情无悔。当高宠第一次意识到男女之情时，他的生命也因为陆缇慕沙大乔等妙龄女子的出现而变得多姿多彩起来，而这才是高宠心中的三国。新书色相在新书榜打榜，大家多多支持，万分感谢！...
我老婆真的是仙女
万万没想到，当周然醒来的时候，枕边竟然多了一位仙女。嗯，一言不合就拔剑砍人的仙女...