手机浏览器扫描二维码访问
第1283章（第2页）
循环，是广泛存在于自然界之中的概念。天地呼吸所代表的灵力循环，大气环流、水的循环，都是一种循环。
所以，循环这种东西，理应存在于算学之中——实际上，它甚至都是万法门功法的关键部分。
“循环是不能被剔除出逻辑的。”
那些离宗修士如此说道。
陈由嘉和冯落衣，都是走算主“两条路”之中的“断自指”的。
甚至两人也在一定程度上相互启发了。
只不过从根基上来说，冯落衣是最正统的离宗，而陈由嘉则从算君这里接受了不少连宗的思路。
但他们却是指向了同一个方向。
冯落衣从来就不在乎这点小事。他对图灵真人说道：“歌庭派内部没有反对之声，就足够了。接下来，就看他们的吧？”
图灵真人不置可否。谁都知道，歌庭派此时此刻，已经是置之死地而后生了。
在不周之算的碾压下，他们也顾不得许多了。
不过，图灵真人并没有想到，数日之后，歌庭派的背水一击，居然来得如此猛烈。
实际上，也就是冯落衣将连宗、离宗算理频繁转化的手段，引起了他们的注意。
他们由此，提炼出了一个无名的逻辑层面的函数。
“双重否定翻译”。【地球上称之为“哥德尔—根岑”翻译】
“假设排中律有矛盾，则可以构造出这个假设的否定证明”。
“而排中律，则可以等价于双重否定去除”。
这是两条已经存在浅显证明的论题。
而就在这个时候，歌庭派提出了一个更进一步的想法。
“如果从经典逻辑里面的证明里，添加双重否定，那么这个证明，是否可以等价于直觉主义的构造性证明？”
也就是说，如果将歌庭派算理之中属于“排中律”的部分祛除，那么，这东西，是否就等价于少黎派的构造性证明呢？
答案是，“是”。
它用反对排中律的连宗算理，确定了连宗反对的排中律，也是安全的。
和无穷公理一样安全。
换言之……
连宗算理并不比离宗算理安全到哪里去。
第一百零二章幕间
这一日，苍天痛哭。
——至少在连宗算家眼中是这样的。毕竟，神州这么大一个星球，总有块地方在下雨。
甚至有传闻说，远在星海彼岸的算君，在知道了这个消息之后，也忍不住吐了口血。
“‘我们已经得到了直觉派逻辑和歌庭派逻辑之间的理论翻译函数。事实上，直觉派的逻辑，只是歌庭派逻辑的真子集。对于这种具备真子集关系的两个算理，我们可以使用类似的手段，处理新加入了集合论公理’。”海霆真人大声读完这一段之后，不由得放声大哭。
他败了，一败涂地。
这是无可想象的“失败”。
系统之娇宠孕妻 穿越之弃子国师 直播和男神同居的日子 烈火燃情：高冷总裁滚远点 娱乐超级奶爸 最强除妖师 捡到病娇太子之后（重生） 神偷长公主 断神 一爱到底之顾少毒妻 天黑请开眼 悍妻[医道] 废材重生：邪王独宠悍王妃 扛着boss拼下限（末世） 赌妃在上，王爷在下 眼镜兄撞上恶魔王子 天地炼成 我是狠人大帝的同乡 时光请善待我的她 大明孤狼
神医倾城：魔帝大人轻点撩
异世大陆，身世的扑朔迷离，想要挣扎活下去的决心，到底什么才是真正的自己，揭开真相的那一刻，是向命运屈服，还是努力走向更高处无邪我记得我是谁，唯一的目标只是想活着，上天不公，那我便冲破这天，大地不仁，那我便创造我自己的大地。容墨这世界上我想要守护的唯她一人而已，若她不在，这万里江山又有什么意义，就算是堕魔毁了它又何妨。卫颜初次相见她便镌刻在我心上，那时却不觉，站在正邪对立面时，我又该何去何从。男女绝对1v1宠文，欢迎大家收藏哦如果您喜欢神医倾城魔帝大人轻点撩，别忘记分享给朋友...
龙图腾II
主人公夏海当过兵，却得罪了人，落个退役的下场，夏海人很热心，可是却也坏在热心上面。一次偶然的见义勇为却不想成了穿越大军的一员，来到了远古时代，但是，夏海却发现，这里并不原始。这里有着大大小小的部落。这里已经有了大的部落联盟，或者称呼为诸侯国也不错。这里是一个实力为尊的世界，这个世界的个体力量几乎异常的强大。夏海该如...
旅行青蛙：在漫威世界混日子
梅，如果我死了，请把我的骨灰洒在大海里里。为什么？因为我就算是死了，也要接着浪。这是一个注入了正能量的故事。如果您喜欢旅行青蛙在漫威世界混日子，别忘记分享给朋友...
大话水浒之武大郎传奇
关于大话水浒之武大郎传奇历史不是镜子，历史是精子，牺牲亿万，才有一个活到今天人生不是故事，人生是事故，摸爬滚打，才不辜负功名尘土。作为一名宅男，穿越，是我一直以来梦寐以求的事情，可穿越到武大...
校花的近身武神
自幼被家族遗弃的林凡，大学期间偶得奇遇，拥有了纯阳脉和至阴脉并存的阴阳双脉体质，得以修炼天级功法乾坤阴阳诀，此后奇遇不断，武修路上精彩纷呈，各色美女接踵而至，林凡的身世也渐渐揭晓，曾经的弃儿竟藏着惊天秘密...
祁少宠妻甜腻腻
你再也不是那个掌上明珠了，醒醒吧！这段话在杨纯晴里不断浮现，被闺蜜所害，就连姐姐和父母都离她而去。她后悔，伤害的都是自己本应该珍惜的人。不行，这不是她想要的！重来一世，她要擦亮眼睛，手撕渣男贱女，好好对待真心为自己付出的家人，伤害她的那些人，她一个也不会放过！当然，最重要的是，她要把自己伤过的那颗心，再重新追回来，小心珍藏。只是这追夫之路，漫漫无期啊～如果您喜欢祁少宠妻甜腻腻，别忘记分享给朋友...