手机浏览器扫描二维码访问
实际上,冯落衣的论文,在离宗内部,也并非没有反对之声。
最开始也就是因为千机阁修士对陈由嘉的反对之声,才引发了另一股反对之声。
有一些离宗修士都觉得,冯落衣是疯了。
他居然剔除掉了“循环”这个概念!
循环,是广泛存在于自然界之中的概念。天地呼吸所代表的灵力循环,大气环流、水的循环,都是一种循环。
所以,循环这种东西,理应存在于算学之中——实际上,它甚至都是万法门功法的关键部分。
“循环是不能被剔除出逻辑的。”
那些离宗修士如此说道。
陈由嘉和冯落衣,都是走算主“两条路”之中的“断自指”的。
甚至两人也在一定程度上相互启发了。
只不过从根基上来说,冯落衣是最正统的离宗,而陈由嘉则从算君这里接受了不少连宗的思路。
但他们却是指向了同一个方向。
冯落衣从来就不在乎这点小事。他对图灵真人说道:“歌庭派内部没有反对之声,就足够了。接下来,就看他们的吧?”
图灵真人不置可否。谁都知道,歌庭派此时此刻,已经是置之死地而后生了。
在不周之算的碾压下,他们也顾不得许多了。
不过,图灵真人并没有想到,数日之后,歌庭派的背水一击,居然来得如此猛烈。
实际上,也就是冯落衣将连宗、离宗算理频繁转化的手段,引起了他们的注意。
他们由此,提炼出了一个无名的逻辑层面的函数。
“双重否定翻译”。【地球上称之为“哥德尔-根岑”翻译】
“假设排中律有矛盾,则可以构造出这个假设的否定证明”。
“而排中律,则可以等价于双重否定去除”。
这是两条已经存在浅显证明的论题。
而就在这个时候,歌庭派提出了一个更进一步的想法。
“如果从经典逻辑里面的证明里,添加双重否定,那么这个证明,是否可以等价于直觉主义的构造性证明?”
也就是说,如果将歌庭派算理之中属于“排中律”的部分祛除,那么,这东西,是否就等价于少黎派的构造性证明呢?
答案是,“是”。
它用反对排中律的连宗算理,确定了连宗反对的排中律,也是安全的。
和无穷公理一样安全。
换言之……
连宗算理并不比离宗算理安全到哪里去。8)
(大雁文学WwW.XiaoYanWenXue.CoM)
叶辰是普通高中生,意外使他获得一本名为医神宝典的奇书和传说级的仙器...
龙腾大陆是个纯召唤的世界,无魔法无斗气。穿越男岳阳来到之后,惊讶地发现,自己变换了另一个身份,岳家三少爷,一个被美人退婚后投河自杀的淹死鬼。原来的岳家三少爷是个杯具男,是四大家族中公认最废柴的废物,用了十五年时间还无法契约召唤宝典,穿越男岳阳则不,他只需要一天当别人为契约战兽头疼的时候,无数的神兽圣兽却跑...
...
本书在中国移动手机阅读基地已更名为太极皇帝,请大家搜索阅读。!!!!!!lt太极第一人gt还原给您一个真实的国术世界。一人是古代对皇帝的称呼,太极一人即是太极皇帝,是指在太极拳领域成就登峰造极的人林成现代社会一个山村少年,昆嵛山奇遇,与各地高手过招,一步步踏上武术的最高境界从不名一文,到富可敌国从籍籍无名,到名扬天下这是一部少年不屈的奋斗史,阐述拳术人生至理。喜欢的朋友们请加群11675472,希望支持国术的朋友们支持lt太极第一人gt。...
我在火葬场工作,有一天来了一具女尸,我缝补了她的尸体,从此之后,我每天晚上都会梦到她...
进化液的排斥,导致天才少年凌寒,无缘机师职业。一次垃圾星的淘宝中,凌寒和老麦克从废弃的地下基地,发现了珍贵的栽培液。紧接而来的联邦幻影骑士,在强行征收走栽培液后,竟然动手攻击两人,激烈的交火中,老麦克因为掩护凌寒而惨死。凌寒也在驾驶老式机甲,击杀多名幻影骑士后,终于力竭,被幻影骑士大队长刺穿了心脏。因栽培液死而复生的凌寒,身体回到了幼年状态,同时拥有了异形转生的神秘力量异形转生,始祖降临,且看凌寒如何制霸星空,叱咤众祖!PS已完成百万字全本魔都降临,纵横书号3823,买断作品,信誉保证~...