手机浏览器扫描二维码访问
第一百零一章 爆发（第3页）
实际上，冯落衣的论文，在离宗内部，也并非没有反对之声。
最开始也就是因为千机阁修士对陈由嘉的反对之声，才引发了另一股反对之声。
有一些离宗修士都觉得，冯落衣是疯了。
他居然剔除掉了“循环”这个概念！
循环，是广泛存在于自然界之中的概念。天地呼吸所代表的灵力循环，大气环流、水的循环，都是一种循环。
所以，循环这种东西，理应存在于算学之中——实际上，它甚至都是万法门功法的关键部分。
“循环是不能被剔除出逻辑的。”
那些离宗修士如此说道。
陈由嘉和冯落衣，都是走算主“两条路”之中的“断自指”的。
甚至两人也在一定程度上相互启发了。
只不过从根基上来说，冯落衣是最正统的离宗，而陈由嘉则从算君这里接受了不少连宗的思路。
但他们却是指向了同一个方向。
冯落衣从来就不在乎这点小事。他对图灵真人说道：“歌庭派内部没有反对之声，就足够了。接下来，就看他们的吧？”
图灵真人不置可否。谁都知道，歌庭派此时此刻，已经是置之死地而后生了。
在不周之算的碾压下，他们也顾不得许多了。
不过，图灵真人并没有想到，数日之后，歌庭派的背水一击，居然来得如此猛烈。
实际上，也就是冯落衣将连宗、离宗算理频繁转化的手段，引起了他们的注意。
他们由此，提炼出了一个无名的逻辑层面的函数。
“双重否定翻译”。【地球上称之为“哥德尔-根岑”翻译】
“假设排中律有矛盾，则可以构造出这个假设的否定证明”。
“而排中律，则可以等价于双重否定去除”。
这是两条已经存在浅显证明的论题。
而就在这个时候，歌庭派提出了一个更进一步的想法。
“如果从经典逻辑里面的证明里，添加双重否定，那么这个证明，是否可以等价于直觉主义的构造性证明？”
也就是说，如果将歌庭派算理之中属于“排中律”的部分祛除，那么，这东西，是否就等价于少黎派的构造性证明呢？
答案是，“是”。
它用反对排中律的连宗算理，确定了连宗反对的排中律，也是安全的。
和无穷公理一样安全。
换言之……
连宗算理并不比离宗算理安全到哪里去。8）
（大雁文学WwW.XiaoYanWenXue.CoM）
南少独宠：媳妇总在想爬墙
书海阁小说网免费提供作者止语的经典小说南少独宠媳妇总在想爬墙最新章节全文阅读服务本站更新及时无弹窗广告欢迎光临wwwshgtw观看小说她为夫替罪入狱，出狱后却惨遭背叛，但是狱中经历却让她的人生大变，悔恨报复成为她出狱之后的人生之路。...
我家娘子是欧皇
穿越成侯府千金，本以为是锦衣玉食自由飞翔的日子，结果坐拥两千亩地，二十个店铺的侯府却穷到已经吃到了大半年酱菜。真是拿着一手好牌打得稀烂！走开，让我来...
神医归来白术楚雪
入狱三年，归来后，却是发现自己已经一无所有！曾经的富家少爷，如今的劳改犯人，白术要用手中的医术，为自己夺回一切！...
以身骗婚，江少请自重
都说邮轮巨子江其琛是个完美男人，但身为小员工的陆知闲看见他只想逃。因为她深刻知道，这个男人白天有多高冷，晚上就有多炙热。一次醉酒，她误惹公司顶级boss，一夜情乱，肚里还有了小宝宝。一纸婚约，她成为全市最幸福的女人，一场阴谋，她瞬间被打进地狱。面对破碎的婚姻，她选择潇洒转身。若干年后摇身一变，她成为鼎鼎大名的邮轮设计师。在商场狭路相逢，对于他的连番纠缠，她淡然一笑...
终极神棍高扬
表舅口中的废物高扬，在一次机缘巧合之下，成为村里众人顶礼膜拜的天官，有人说他是骗人的神棍，有人说他是治病的神仙，但是高扬自己却摸着美女白皙的小手小姐姐，一看就知道你是命里缺我...
霸宠妻约：总裁请寻新欢
六年深爱，她却眼睁睁的看着盛寒深娶了另外一个女人。孟初夏以为所有的一切都结束了，忍痛放手，可是没有想到所有的一切才刚刚开始。被囚禁，被折磨，无论如何他都不肯放她走。你是我的女人，孟初夏，这辈子你躲不掉，也逃不掉。...