手机浏览器扫描二维码访问
第1283章（第2页）
循环，是广泛存在于自然界之中的概念。天地呼吸所代表的灵力循环，大气环流、水的循环，都是一种循环。
所以，循环这种东西，理应存在于算学之中——实际上，它甚至都是万法门功法的关键部分。
“循环是不能被剔除出逻辑的。”
那些离宗修士如此说道。
陈由嘉和冯落衣，都是走算主“两条路”之中的“断自指”的。
甚至两人也在一定程度上相互启发了。
只不过从根基上来说，冯落衣是最正统的离宗，而陈由嘉则从算君这里接受了不少连宗的思路。
但他们却是指向了同一个方向。
冯落衣从来就不在乎这点小事。他对图灵真人说道：“歌庭派内部没有反对之声，就足够了。接下来，就看他们的吧？”
图灵真人不置可否。谁都知道，歌庭派此时此刻，已经是置之死地而后生了。
在不周之算的碾压下，他们也顾不得许多了。
不过，图灵真人并没有想到，数日之后，歌庭派的背水一击，居然来得如此猛烈。
实际上，也就是冯落衣将连宗、离宗算理频繁转化的手段，引起了他们的注意。
他们由此，提炼出了一个无名的逻辑层面的函数。
“双重否定翻译”。【地球上称之为“哥德尔—根岑”翻译】
“假设排中律有矛盾，则可以构造出这个假设的否定证明”。
“而排中律，则可以等价于双重否定去除”。
这是两条已经存在浅显证明的论题。
而就在这个时候，歌庭派提出了一个更进一步的想法。
“如果从经典逻辑里面的证明里，添加双重否定，那么这个证明，是否可以等价于直觉主义的构造性证明？”
也就是说，如果将歌庭派算理之中属于“排中律”的部分祛除，那么，这东西，是否就等价于少黎派的构造性证明呢？
答案是，“是”。
它用反对排中律的连宗算理，确定了连宗反对的排中律，也是安全的。
和无穷公理一样安全。
换言之……
连宗算理并不比离宗算理安全到哪里去。
第一百零二章幕间
这一日，苍天痛哭。
——至少在连宗算家眼中是这样的。毕竟，神州这么大一个星球，总有块地方在下雨。
甚至有传闻说，远在星海彼岸的算君，在知道了这个消息之后，也忍不住吐了口血。
“‘我们已经得到了直觉派逻辑和歌庭派逻辑之间的理论翻译函数。事实上，直觉派的逻辑，只是歌庭派逻辑的真子集。对于这种具备真子集关系的两个算理，我们可以使用类似的手段，处理新加入了集合论公理’。”海霆真人大声读完这一段之后，不由得放声大哭。
他败了，一败涂地。
这是无可想象的“失败”。
天蚕土豆的作品万相之王 杨东苏沐芸 我在三十年前与现在来回穿梭 武动乾坤之淫符林动 杨东苏沐芸开局停职我转投市纪委调查组免费阅读全文 救命霍医生破戒后太狂了姜怡霍燃的全文免费阅读无弹窗 开局停职我转投市纪委调查组 万相之王李洛百度云 开局停职我转投市纪委调查组 姜怡霍燃全文免费阅读无弹窗 开局停职我转投市纪委调查组杨东苏沐芸免费阅读 觉醒鉴宝读心术，我捡漏狂赚百亿 开局停职我转投市纪委调查组杨东苏沐芸的全文免费阅读无弹窗 开局停职我转投市纪委调查组杨东苏沐芸全文免费阅读完整版 什么金盆洗手，我又不是龙头大佬 双生神级武魂，震惊妖帝老婆！ 救命霍医生破戒后太狂了 暮雪与穆雪 救命霍医生破戒后太狂了姜怡霍燃 万相之王李洛全集免费阅读
抗战之血肉丛林
关于抗战之血肉丛林岛寇荼毒，痛及滇西，谁无血气，忍弃边陲，桓桓将士，不顾艰危，十荡十决，甘死如饴，座中有圹，名勒丰碑，檩檩大义，昭示来兹。谨以此文献给曾经为了保卫国家出国在缅甸与倭寇决一死战的远征军将士们！历史不会忘记，中国人不会忘记，虽然你们曾经被记忆尘封，但是时间也绝不会让你们永远蒙尘！...
万人迷C总想暴走【无限】
这是一朵表面白莲内心食人花受与疯批切片老攻相爱相杀的故事。演员楚时意外进入了无限世界，与新人玩家不同就算了，居然让他玩起了角色扮演！副本一顺序已调整任劳任怨捞起自己的老本，尽职尽责扮演着娇柔做作的人设。BOSS想他想他想NPC好漂亮的小东西～玩家他好娇，我好喜欢。副本二已完工凝视着和上个副本毫无差...
太古剑尊
并指青云，气吞幽冥。大道交错，剑者独尊。这是一个人和一把剑的故事！红尘三千丈，琉璃染天香。群雄共逐鹿，剑尊掌苍黄。剑的真谛，万年之秘，以血海无涯重铸登天之路，以亿万枯骨再炼剑道经书。一切尽在太古剑尊。...
漂亮小哑巴被阴鸷大佬盯上了
看似心狠手辣阴鸷疯批实则心地柔软温润护妻攻×柔弱漂亮纯洁小白花哑巴受小哑巴被逼勾引大佬，盗取商业机密，之后不告而别，再没脸去见他。四年后，大佬回国逮到他。很缺钱？要跑到这种地方来卖？聂北弦眼神冰冷。小哑巴小脸羞红，用力摇头。抖什么？背叛我的时候，不是挺有勇气吗？小哑巴欲哭无泪，有口难言。放心，我不会弄死...
超神宠兽店
万订爆款，火爆爽文有一刀斩杀黄金巨龙的低等骷髅种有身怀十大宠兽秘技的看门土狗更有自称为神的打工妹这是一个得到系统开店，在破碎远古培育宠兽的故事。当荣光覆灭，血脉逆流，昔日的存在将再度回归，一切都是毁灭！...
三胞胎死后，我嫁给了渣前夫他小叔
老公小青梅养的狗害两岁女儿得了狂犬病送医。渣老公却为了救他的小青梅和三只狗，延误了救女儿的黄金时间最终惨死医院。同一时间，婆婆的不看管，致使家里的大宝小宝溺死游泳池中。安抒抒痛失三个孩子，一夜白了头。从此，她褪下过去无用的温婉懂事，将自己磨炼成锋利见血的利刃，一刀一刀将恶人凌迟。葬礼上，缺失父爱的孩子们，到死也没等...