笔趣阁

手机浏览器扫描二维码访问

第一百零一章 爆发(第3页)

实际上,冯落衣的论文,在离宗内部,也并非没有反对之声。

最开始也就是因为千机阁修士对陈由嘉的反对之声,才引发了另一股反对之声。

有一些离宗修士都觉得,冯落衣是疯了。

他居然剔除掉了“循环”这个概念!

循环,是广泛存在于自然界之中的概念。天地呼吸所代表的灵力循环,大气环流、水的循环,都是一种循环。

所以,循环这种东西,理应存在于算学之中——实际上,它甚至都是万法门功法的关键部分。

“循环是不能被剔除出逻辑的。”

那些离宗修士如此说道。

陈由嘉和冯落衣,都是走算主“两条路”之中的“断自指”的。

甚至两人也在一定程度上相互启发了。

只不过从根基上来说,冯落衣是最正统的离宗,而陈由嘉则从算君这里接受了不少连宗的思路。

但他们却是指向了同一个方向。

冯落衣从来就不在乎这点小事。他对图灵真人说道:“歌庭派内部没有反对之声,就足够了。接下来,就看他们的吧?”

图灵真人不置可否。谁都知道,歌庭派此时此刻,已经是置之死地而后生了。

在不周之算的碾压下,他们也顾不得许多了。

不过,图灵真人并没有想到,数日之后,歌庭派的背水一击,居然来得如此猛烈。

实际上,也就是冯落衣将连宗、离宗算理频繁转化的手段,引起了他们的注意。

他们由此,提炼出了一个无名的逻辑层面的函数。

“双重否定翻译”。【地球上称之为“哥德尔-根岑”翻译】

“假设排中律有矛盾,则可以构造出这个假设的否定证明”。

“而排中律,则可以等价于双重否定去除”。

这是两条已经存在浅显证明的论题。

而就在这个时候,歌庭派提出了一个更进一步的想法。

“如果从经典逻辑里面的证明里,添加双重否定,那么这个证明,是否可以等价于直觉主义的构造性证明?”

也就是说,如果将歌庭派算理之中属于“排中律”的部分祛除,那么,这东西,是否就等价于少黎派的构造性证明呢?

答案是,“是”。

它用反对排中律的连宗算理,确定了连宗反对的排中律,也是安全的。

和无穷公理一样安全。

换言之……

连宗算理并不比离宗算理安全到哪里去。8)

(大雁文学WwW.XiaoYanWenXue.CoM)

热门小说推荐
都市不死邪医

都市不死邪医

叶辰是普通高中生,意外使他获得一本名为医神宝典的奇书和传说级的仙器...

召唤万岁

召唤万岁

龙腾大陆是个纯召唤的世界,无魔法无斗气。穿越男岳阳来到之后,惊讶地发现,自己变换了另一个身份,岳家三少爷,一个被美人退婚后投河自杀的淹死鬼。原来的岳家三少爷是个杯具男,是四大家族中公认最废柴的废物,用了十五年时间还无法契约召唤宝典,穿越男岳阳则不,他只需要一天当别人为契约战兽头疼的时候,无数的神兽圣兽却跑...

太极第一人

太极第一人

本书在中国移动手机阅读基地已更名为太极皇帝,请大家搜索阅读。!!!!!!lt太极第一人gt还原给您一个真实的国术世界。一人是古代对皇帝的称呼,太极一人即是太极皇帝,是指在太极拳领域成就登峰造极的人林成现代社会一个山村少年,昆嵛山奇遇,与各地高手过招,一步步踏上武术的最高境界从不名一文,到富可敌国从籍籍无名,到名扬天下这是一部少年不屈的奋斗史,阐述拳术人生至理。喜欢的朋友们请加群11675472,希望支持国术的朋友们支持lt太极第一人gt。...

诡异女尸

诡异女尸

我在火葬场工作,有一天来了一具女尸,我缝补了她的尸体,从此之后,我每天晚上都会梦到她...

异形转生

异形转生

进化液的排斥,导致天才少年凌寒,无缘机师职业。一次垃圾星的淘宝中,凌寒和老麦克从废弃的地下基地,发现了珍贵的栽培液。紧接而来的联邦幻影骑士,在强行征收走栽培液后,竟然动手攻击两人,激烈的交火中,老麦克因为掩护凌寒而惨死。凌寒也在驾驶老式机甲,击杀多名幻影骑士后,终于力竭,被幻影骑士大队长刺穿了心脏。因栽培液死而复生的凌寒,身体回到了幼年状态,同时拥有了异形转生的神秘力量异形转生,始祖降临,且看凌寒如何制霸星空,叱咤众祖!PS已完成百万字全本魔都降临,纵横书号3823,买断作品,信誉保证~...

每日热搜小说推荐