手机浏览器扫描二维码访问
第1283章（第2页）
循环，是广泛存在于自然界之中的概念。天地呼吸所代表的灵力循环，大气环流、水的循环，都是一种循环。
所以，循环这种东西，理应存在于算学之中——实际上，它甚至都是万法门功法的关键部分。
“循环是不能被剔除出逻辑的。”
那些离宗修士如此说道。
陈由嘉和冯落衣，都是走算主“两条路”之中的“断自指”的。
甚至两人也在一定程度上相互启发了。
只不过从根基上来说，冯落衣是最正统的离宗，而陈由嘉则从算君这里接受了不少连宗的思路。
但他们却是指向了同一个方向。
冯落衣从来就不在乎这点小事。他对图灵真人说道：“歌庭派内部没有反对之声，就足够了。接下来，就看他们的吧？”
图灵真人不置可否。谁都知道，歌庭派此时此刻，已经是置之死地而后生了。
在不周之算的碾压下，他们也顾不得许多了。
不过，图灵真人并没有想到，数日之后，歌庭派的背水一击，居然来得如此猛烈。
实际上，也就是冯落衣将连宗、离宗算理频繁转化的手段，引起了他们的注意。
他们由此，提炼出了一个无名的逻辑层面的函数。
“双重否定翻译”。【地球上称之为“哥德尔—根岑”翻译】
“假设排中律有矛盾，则可以构造出这个假设的否定证明”。
“而排中律，则可以等价于双重否定去除”。
这是两条已经存在浅显证明的论题。
而就在这个时候，歌庭派提出了一个更进一步的想法。
“如果从经典逻辑里面的证明里，添加双重否定，那么这个证明，是否可以等价于直觉主义的构造性证明？”
也就是说，如果将歌庭派算理之中属于“排中律”的部分祛除，那么，这东西，是否就等价于少黎派的构造性证明呢？
答案是，“是”。
它用反对排中律的连宗算理，确定了连宗反对的排中律，也是安全的。
和无穷公理一样安全。
换言之……
连宗算理并不比离宗算理安全到哪里去。
第一百零二章幕间
这一日，苍天痛哭。
——至少在连宗算家眼中是这样的。毕竟，神州这么大一个星球，总有块地方在下雨。
甚至有传闻说，远在星海彼岸的算君，在知道了这个消息之后，也忍不住吐了口血。
“‘我们已经得到了直觉派逻辑和歌庭派逻辑之间的理论翻译函数。事实上，直觉派的逻辑，只是歌庭派逻辑的真子集。对于这种具备真子集关系的两个算理，我们可以使用类似的手段，处理新加入了集合论公理’。”海霆真人大声读完这一段之后，不由得放声大哭。
他败了，一败涂地。
这是无可想象的“失败”。
九子登云的作品武裂苍穹 一觉醒来怀了崽 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 武裂苍穹秦天青儿百度云 天才高手 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 神道丹帝叶尘苏傲雪全本免费阅读 贵门妾 玄学大佬在现代 唐老太的种田生活 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 周一见 七零空间小娇女 封先生的宠爱 穿书之末世娇宠 就想和你在一起 穿成大佬假妹妹 人人都爱马文才 武裂苍穹秦天青儿全集免费阅读
惹我
惹我简介emspemsp关于惹我秦愿不仅是个学渣，还是个惹事精，结交的都是不务正业的不良少年。江书意是班长，集温柔阳光积极向上于一身的正面教材，拿奖拿到手软，身边围绕的也是学习优秀的团体，乃一班的骄傲。每次秦愿被老师教育，指定有一句你学学人家江书意！秦愿不学。老师？秦愿太装了，累。有人问江书意秦愿最近好像找你挺勤，是不是喜欢你？江书意没可能。我这辈子都不跟学渣玩！后来，他两成了同桌。画风就逐渐变了，有人看见—...
和女神的荒岛求生
和女神的荒岛求生简介emspemsp和女神的荒岛求生是于耳的经典其他类型类作品，和女神的荒岛求生主要讲述了和女神的荒岛求生于耳最新鼎力大作，年度必看其他类型。禁忌书屋提供和女神的荒岛求生最新章节全文免费阅读！。...
振南明
振南明简介emspemsp关于振南明（书友群三零九四二九一五九）崇祯十七年闯贼攻破京师，天子自缢殉国。内有贼酋流匪窃玺，外有鞑虏胡儿嚣衅，国破山河在举国同哀之际，一个现代灵魂附身在太子朱慈烺身上。值此危急存亡之际，朱慈烺发出振聋发聩的疾呼我大明不和亲不赔款不割地不纳贡天子守国门，君王死社稷！汉贼不两立，皇明不偏安！...
三界老司机
三界老司机简介emspemsp三界老司机是南渡的经典都市言情类作品，三界老司机主要讲述了仙临大学屌丝男因为一张神秘的手机膜，导致微信变异，能和神话世南渡最新鼎力大作，年度必看都市言情。海棠屋（haitangshuwucom）提供三界老司机最新章节全文免费阅读！。...
医武小农民
医武小农民简介emspemsp关于医武小农民小农民，强势回归，会医术，会法术。金钱，美女，应有尽有。首发rourouwuinωoо1⒏υip...
躺赢捞钱玩转世界
这是一个热血青年用1000元炒国际黄金变巨富，吃喝玩乐玩转世界的传奇故事。20岁的罗丞，家里破产，被迫辍学挣钱，全身上下不到1000元，他落魄不堪，穷困潦倒，为温饱发愁，连美女正视一眼的资格都没有。半个月后，他大鱼大肉，山珍海味，吃喝玩乐享受美好人生。半年后，罗丞14亿美元的小目标已经完成。1年后，罗丞的事业突飞猛进。2年后，天啊，同学们刚刚毕业谋求入职世界500强的时候，22岁的罗丞已经成为了世界500强老板。如果您喜欢躺赢捞钱玩转世界，别忘记分享给朋友...