手机浏览器扫描二维码访问
循环,是广泛存在于自然界之中的概念。天地呼吸所代表的灵力循环,大气环流、水的循环,都是一种循环。
所以,循环这种东西,理应存在于算学之中——实际上,它甚至都是万法门功法的关键部分。
“循环是不能被剔除出逻辑的。”
那些离宗修士如此说道。
陈由嘉和冯落衣,都是走算主“两条路”之中的“断自指”的。
甚至两人也在一定程度上相互启发了。
只不过从根基上来说,冯落衣是最正统的离宗,而陈由嘉则从算君这里接受了不少连宗的思路。
但他们却是指向了同一个方向。
冯落衣从来就不在乎这点小事。他对图灵真人说道:“歌庭派内部没有反对之声,就足够了。接下来,就看他们的吧?”
图灵真人不置可否。谁都知道,歌庭派此时此刻,已经是置之死地而后生了。
在不周之算的碾压下,他们也顾不得许多了。
不过,图灵真人并没有想到,数日之后,歌庭派的背水一击,居然来得如此猛烈。
实际上,也就是冯落衣将连宗、离宗算理频繁转化的手段,引起了他们的注意。
他们由此,提炼出了一个无名的逻辑层面的函数。
“双重否定翻译”。【地球上称之为“哥德尔—根岑”翻译】
“假设排中律有矛盾,则可以构造出这个假设的否定证明”。
“而排中律,则可以等价于双重否定去除”。
这是两条已经存在浅显证明的论题。
而就在这个时候,歌庭派提出了一个更进一步的想法。
“如果从经典逻辑里面的证明里,添加双重否定,那么这个证明,是否可以等价于直觉主义的构造性证明?”
也就是说,如果将歌庭派算理之中属于“排中律”的部分祛除,那么,这东西,是否就等价于少黎派的构造性证明呢?
答案是,“是”。
它用反对排中律的连宗算理,确定了连宗反对的排中律,也是安全的。
和无穷公理一样安全。
换言之……
连宗算理并不比离宗算理安全到哪里去。
第一百零二章幕间
这一日,苍天痛哭。
——至少在连宗算家眼中是这样的。毕竟,神州这么大一个星球,总有块地方在下雨。
甚至有传闻说,远在星海彼岸的算君,在知道了这个消息之后,也忍不住吐了口血。
“‘我们已经得到了直觉派逻辑和歌庭派逻辑之间的理论翻译函数。事实上,直觉派的逻辑,只是歌庭派逻辑的真子集。对于这种具备真子集关系的两个算理,我们可以使用类似的手段,处理新加入了集合论公理’。”海霆真人大声读完这一段之后,不由得放声大哭。
他败了,一败涂地。
这是无可想象的“失败”。
重回86:大哥死前托妻给我 再见,我亲爱的封先生 魂穿七零,这个世界我要做大女主 穿成流放文的极品小姑(穿书) 开局被女土匪看中,我占山为王 十二鬼月横滨结仇日常 七零夜校女教师 穿越千年,只为遇见你! 富婆的快乐你不懂[神豪] 震惊!这个男人能点化智械 孤手握三十万重兵,你让孤自裁? 怪厨 穿成大佬假妹妹 妻调令 是你攻略不下的女主 风刃之芒 夫君热衷于给我捧场 雄虫他只想苟命[虫族] 我靠拾荒称霸三界 [原神]为了磕cp我连天理都能推翻
听说她在占卜,他捧着手眼巴巴的就过来了爱卿,你给本君算算,今晚是本君睡了国师呢?还是国师睡了本君?她哆嗦了一下,一脚就踹了过去谁都不睡!她今晚就阉了你!!重生前,她是惊才绝艳的大占卜师,重生后,她还是上知天文下知地理的一品国师,可是,她算了两世,却没算到自己这一世会犯桃花国师大人,不好了,帝君来了!卧槽!她一下子就从八卦盘里站了起来他来干什么?他不干什么!那就好那就好!她狂抹一把额头上的冷汗。小太监欲哭无泪可他说了,今晚他夜观星象,是个鸾凤和鸣...
...
玄幻爽文九天大陆,天穹之上有九条星河,亿万星辰,皆为武命星辰,武道之人,可沟通星辰,觉醒星魂,成武命修士。传说,九天大陆最为厉害的武修,每突破一个境界,便能开辟一扇星门,从而沟通一颗星辰,直至,让九重天上,都有自己的武命星辰,化身通天彻地的太古神王。亿万生灵诸天万界,秦问天笑看苍天,他要做天空,最亮的那颗星辰...
苍茫大地,未来变革,混乱之中,龙蛇并起,谁是真龙,谁又是蟒蛇?或是天地众生,皆可成龙?朝廷,江湖门派,世外仙道,千年世家,蛮族,魔神,妖族,上古巫道,千百势力,相互纠缠,因缘际会。...
...
一个集合口袋妖怪,数码宝贝等等游戏,动漫的游戏正式登陆全球,谁才是最强的训练家,谁才是游戏里最强的宠物,且看罗炎称霸漫兽竞技场,一步一步从无名小卒爬上神坛。...