手机浏览器扫描二维码访问
循环,是广泛存在于自然界之中的概念。天地呼吸所代表的灵力循环,大气环流、水的循环,都是一种循环。
所以,循环这种东西,理应存在于算学之中——实际上,它甚至都是万法门功法的关键部分。
“循环是不能被剔除出逻辑的。”
那些离宗修士如此说道。
陈由嘉和冯落衣,都是走算主“两条路”之中的“断自指”的。
甚至两人也在一定程度上相互启发了。
只不过从根基上来说,冯落衣是最正统的离宗,而陈由嘉则从算君这里接受了不少连宗的思路。
但他们却是指向了同一个方向。
冯落衣从来就不在乎这点小事。他对图灵真人说道:“歌庭派内部没有反对之声,就足够了。接下来,就看他们的吧?”
图灵真人不置可否。谁都知道,歌庭派此时此刻,已经是置之死地而后生了。
在不周之算的碾压下,他们也顾不得许多了。
不过,图灵真人并没有想到,数日之后,歌庭派的背水一击,居然来得如此猛烈。
实际上,也就是冯落衣将连宗、离宗算理频繁转化的手段,引起了他们的注意。
他们由此,提炼出了一个无名的逻辑层面的函数。
“双重否定翻译”。【地球上称之为“哥德尔—根岑”翻译】
“假设排中律有矛盾,则可以构造出这个假设的否定证明”。
“而排中律,则可以等价于双重否定去除”。
这是两条已经存在浅显证明的论题。
而就在这个时候,歌庭派提出了一个更进一步的想法。
“如果从经典逻辑里面的证明里,添加双重否定,那么这个证明,是否可以等价于直觉主义的构造性证明?”
也就是说,如果将歌庭派算理之中属于“排中律”的部分祛除,那么,这东西,是否就等价于少黎派的构造性证明呢?
答案是,“是”。
它用反对排中律的连宗算理,确定了连宗反对的排中律,也是安全的。
和无穷公理一样安全。
换言之……
连宗算理并不比离宗算理安全到哪里去。
第一百零二章幕间
这一日,苍天痛哭。
——至少在连宗算家眼中是这样的。毕竟,神州这么大一个星球,总有块地方在下雨。
甚至有传闻说,远在星海彼岸的算君,在知道了这个消息之后,也忍不住吐了口血。
“‘我们已经得到了直觉派逻辑和歌庭派逻辑之间的理论翻译函数。事实上,直觉派的逻辑,只是歌庭派逻辑的真子集。对于这种具备真子集关系的两个算理,我们可以使用类似的手段,处理新加入了集合论公理’。”海霆真人大声读完这一段之后,不由得放声大哭。
他败了,一败涂地。
这是无可想象的“失败”。
眼镜兄撞上恶魔王子 时光请善待我的她 赌妃在上,王爷在下 悍妻[医道] 扛着boss拼下限(末世) 神偷长公主 天地炼成 最强除妖师 废材重生:邪王独宠悍王妃 直播和男神同居的日子 断神 穿越之弃子国师 天黑请开眼 系统之娇宠孕妻 烈火燃情:高冷总裁滚远点 大明孤狼 一爱到底之顾少毒妻 我是狠人大帝的同乡 娱乐超级奶爸 捡到病娇太子之后(重生)
重生前的洛离懦弱,学渣,小可怜。重生后的洛离高冷,学神,不好惹。别人眼中的洛离一夜之间打遍全校无敌手的大姐大。夙翊眼中的洛离我老婆,以上。洛离自己没爹没妈没兄弟姐妹,但我是人生赢家。你...
一夜之间,他的世界天翻地覆,掳走父母的仇人摇身一变成为他的养父。他没有发现,他一家三口遭遇的变故,仅仅是未来天翻地覆的开端。那个随这场祸劫一同出现的女子,突然闯入他的生活,又悄然离去。她亦正亦邪,身上似乎永远藏着他捉摸不透的秘密。他悄悄在名门长大,凭借聪慧过人的天资成为同辈之中的佼佼者。她踏上艰险的旅途,从复生到复仇,历经磨难,搅动着各族力量。再相遇时,竟是针锋相对的敌人?不,这不是这场缘分该有的样子。听从内心的声音,他决定带着自己的执拗,勇往直前如果您喜欢离离九生念,别忘记分享给朋友...
关于逆天赘婿一次见义勇为中我凄凉死去,老天不忍,让我成为了倒插门李家兴,感谢这个身体,从今以后我会活得像个人样!...
关于炮灰逆袭之攻略各路男神身为炮灰女配,唐惜知这些人,不过是她的攻略任务,可每一次的靠近,都让她控制不住身陷其中。深情男二程俊皓小惜,这辈子我都不会再放开你霸道腹黑皇叔这皇位本王帮你夺,这江山本王帮你守,但你必须是本王的!偏执魔尊你生是我的人,死是我的鬼,谁都不能将你从我身边带走!卑微柔情大少爷只要你能日日绽放笑颜,我可以放你走,但求你不要忘记我高冷学霸弟弟撩完不负责,你觉得你能逃得了?她以为一切不过是镜花水月,...
神胤大陆,生于华炎凤都丞相府的少女韩月昙,身世神秘,因母亲之故自小不受父亲待见,遭府中众人欺凌。拜师习武,不断突破,她只为逃离牢笼。紫瑞狐犹如兰似月,清逸无匹。璃冰国人称妙计无双的玉衡君,当朝国师义子。洛熙泽凰焰公子,华炎第一美男子,神胤最大商号凰宇的少当家,无天门少主。韩鸣舞华炎明珠,华炎凤都第一美人,拥有皇室血统,其母为华炎国君姐姐,韩月昙长姐。世事难料,韩月昙竟意外进入紫麒皇宫,一路向前,等待她的是自由?又或是更大的阴谋?如果您喜欢神胤风云之刹那昙华曲,别忘记分享给朋友...
陈梦瑶重生了。重生回到了10年前,那个时候她还是他的妻子,还是那个又高又胖的糟糠妻,想的第一反应就是要离婚。要离婚,可是这一世的王奕天怎么转性了呢?总是用那么深情脉脉的眼神看着自己。自己本来就是对他没有抵抗力,这样子,自己真的是要投降了,不行不行,自己可不想早早挂掉了,这婚必须离。你说什么,王奕天的声音有点大,我要离婚,梦瑶的声音很大,你说什么,他的声音不在温柔,阴深深的,我,我不不离婚了梦瑶第一时间就认怂了。看着吓得瑟瑟发抖的小妻子,勾了勾嘴角,乖,老公疼你男女主身心干净,一对一宠文推荐旧文重生之恶毒女配小萌妻,书友群625779442,欢迎小可爱加入!如果您喜欢重生女配,老公的小肉包,别忘记分享给朋友...