手机浏览器扫描二维码访问
循环,是广泛存在于自然界之中的概念。天地呼吸所代表的灵力循环,大气环流、水的循环,都是一种循环。
所以,循环这种东西,理应存在于算学之中——实际上,它甚至都是万法门功法的关键部分。
“循环是不能被剔除出逻辑的。”
那些离宗修士如此说道。
陈由嘉和冯落衣,都是走算主“两条路”之中的“断自指”的。
甚至两人也在一定程度上相互启发了。
只不过从根基上来说,冯落衣是最正统的离宗,而陈由嘉则从算君这里接受了不少连宗的思路。
但他们却是指向了同一个方向。
冯落衣从来就不在乎这点小事。他对图灵真人说道:“歌庭派内部没有反对之声,就足够了。接下来,就看他们的吧?”
图灵真人不置可否。谁都知道,歌庭派此时此刻,已经是置之死地而后生了。
在不周之算的碾压下,他们也顾不得许多了。
不过,图灵真人并没有想到,数日之后,歌庭派的背水一击,居然来得如此猛烈。
实际上,也就是冯落衣将连宗、离宗算理频繁转化的手段,引起了他们的注意。
他们由此,提炼出了一个无名的逻辑层面的函数。
“双重否定翻译”。【地球上称之为“哥德尔—根岑”翻译】
“假设排中律有矛盾,则可以构造出这个假设的否定证明”。
“而排中律,则可以等价于双重否定去除”。
这是两条已经存在浅显证明的论题。
而就在这个时候,歌庭派提出了一个更进一步的想法。
“如果从经典逻辑里面的证明里,添加双重否定,那么这个证明,是否可以等价于直觉主义的构造性证明?”
也就是说,如果将歌庭派算理之中属于“排中律”的部分祛除,那么,这东西,是否就等价于少黎派的构造性证明呢?
答案是,“是”。
它用反对排中律的连宗算理,确定了连宗反对的排中律,也是安全的。
和无穷公理一样安全。
换言之……
连宗算理并不比离宗算理安全到哪里去。
第一百零二章幕间
这一日,苍天痛哭。
——至少在连宗算家眼中是这样的。毕竟,神州这么大一个星球,总有块地方在下雨。
甚至有传闻说,远在星海彼岸的算君,在知道了这个消息之后,也忍不住吐了口血。
“‘我们已经得到了直觉派逻辑和歌庭派逻辑之间的理论翻译函数。事实上,直觉派的逻辑,只是歌庭派逻辑的真子集。对于这种具备真子集关系的两个算理,我们可以使用类似的手段,处理新加入了集合论公理’。”海霆真人大声读完这一段之后,不由得放声大哭。
他败了,一败涂地。
这是无可想象的“失败”。
开局被女土匪看中,我占山为王 是你攻略不下的女主 重回86:大哥死前托妻给我 [原神]为了磕cp我连天理都能推翻 怪厨 再见,我亲爱的封先生 十二鬼月横滨结仇日常 七零夜校女教师 妻调令 魂穿七零,这个世界我要做大女主 穿成流放文的极品小姑(穿书) 震惊!这个男人能点化智械 富婆的快乐你不懂[神豪] 风刃之芒 穿越千年,只为遇见你! 穿成大佬假妹妹 我靠拾荒称霸三界 孤手握三十万重兵,你让孤自裁? 雄虫他只想苟命[虫族] 夫君热衷于给我捧场
...
关于抢救大明朝朱慈烺此贼比汉奸还奸,比鞑子还凶,比额李自成还能蛊惑人心!闯王李自成立马九宫山,遥望东南,感慨万千。慈烺此子忤逆不孝,奸诈凶残,简直是曹操再世,司马复生,让他当了皇帝,全天下的...
余庆阳一个搬砖二十年的老工程,梦回世纪之交,海河大学毕业,接老爸的班继续搬砖。用两辈子的行动告诉老师,搬砖不是因为我学习不好!是我命中注定要搬砖已有两本百万字完本书超级村主任最强退伍兵,可以放心入坑!大国工程书友群,群聊号码492691021新书重生之大国工匠...
玄幻爽文九天大陆,天穹之上有九条星河,亿万星辰,皆为武命星辰,武道之人,可沟通星辰,觉醒星魂,成武命修士。传说,九天大陆最为厉害的武修,每突破一个境界,便能开辟一扇星门,从而沟通一颗星辰,直至,让九重天上,都有自己的武命星辰,化身通天彻地的太古神王。亿万生灵诸天万界,秦问天笑看苍天,他要做天空,最亮的那颗星辰...
王虎穿越了,而且悲催的成了五指山下的一只老虎。我去,这是要做猴哥虎皮裙的节奏?王虎表示不服。作为一只21世纪穿越来的新时代老虎,怎么着也要和猴哥拜把子,做兄弟啊!此时此刻齐天大圣孙悟空被压五行山马上就满五百年,再有十年,波澜壮阔,影响三界格局的西天取经之旅就要开始,看王虎如何在其中搅动三界风云,与猴哥一起再掀万...
听说她在占卜,他捧着手眼巴巴的就过来了爱卿,你给本君算算,今晚是本君睡了国师呢?还是国师睡了本君?她哆嗦了一下,一脚就踹了过去谁都不睡!她今晚就阉了你!!重生前,她是惊才绝艳的大占卜师,重生后,她还是上知天文下知地理的一品国师,可是,她算了两世,却没算到自己这一世会犯桃花国师大人,不好了,帝君来了!卧槽!她一下子就从八卦盘里站了起来他来干什么?他不干什么!那就好那就好!她狂抹一把额头上的冷汗。小太监欲哭无泪可他说了,今晚他夜观星象,是个鸾凤和鸣...