手机浏览器扫描二维码访问
循环,是广泛存在于自然界之中的概念。天地呼吸所代表的灵力循环,大气环流、水的循环,都是一种循环。
所以,循环这种东西,理应存在于算学之中——实际上,它甚至都是万法门功法的关键部分。
“循环是不能被剔除出逻辑的。”
那些离宗修士如此说道。
陈由嘉和冯落衣,都是走算主“两条路”之中的“断自指”的。
甚至两人也在一定程度上相互启发了。
只不过从根基上来说,冯落衣是最正统的离宗,而陈由嘉则从算君这里接受了不少连宗的思路。
但他们却是指向了同一个方向。
冯落衣从来就不在乎这点小事。他对图灵真人说道:“歌庭派内部没有反对之声,就足够了。接下来,就看他们的吧?”
图灵真人不置可否。谁都知道,歌庭派此时此刻,已经是置之死地而后生了。
在不周之算的碾压下,他们也顾不得许多了。
不过,图灵真人并没有想到,数日之后,歌庭派的背水一击,居然来得如此猛烈。
实际上,也就是冯落衣将连宗、离宗算理频繁转化的手段,引起了他们的注意。
他们由此,提炼出了一个无名的逻辑层面的函数。
“双重否定翻译”。【地球上称之为“哥德尔—根岑”翻译】
“假设排中律有矛盾,则可以构造出这个假设的否定证明”。
“而排中律,则可以等价于双重否定去除”。
这是两条已经存在浅显证明的论题。
而就在这个时候,歌庭派提出了一个更进一步的想法。
“如果从经典逻辑里面的证明里,添加双重否定,那么这个证明,是否可以等价于直觉主义的构造性证明?”
也就是说,如果将歌庭派算理之中属于“排中律”的部分祛除,那么,这东西,是否就等价于少黎派的构造性证明呢?
答案是,“是”。
它用反对排中律的连宗算理,确定了连宗反对的排中律,也是安全的。
和无穷公理一样安全。
换言之……
连宗算理并不比离宗算理安全到哪里去。
第一百零二章幕间
这一日,苍天痛哭。
——至少在连宗算家眼中是这样的。毕竟,神州这么大一个星球,总有块地方在下雨。
甚至有传闻说,远在星海彼岸的算君,在知道了这个消息之后,也忍不住吐了口血。
“‘我们已经得到了直觉派逻辑和歌庭派逻辑之间的理论翻译函数。事实上,直觉派的逻辑,只是歌庭派逻辑的真子集。对于这种具备真子集关系的两个算理,我们可以使用类似的手段,处理新加入了集合论公理’。”海霆真人大声读完这一段之后,不由得放声大哭。
他败了,一败涂地。
这是无可想象的“失败”。
一爱到底之顾少毒妻 捡到病娇太子之后(重生) 直播和男神同居的日子 废材重生:邪王独宠悍王妃 眼镜兄撞上恶魔王子 最强除妖师 我是狠人大帝的同乡 神偷长公主 悍妻[医道] 赌妃在上,王爷在下 时光请善待我的她 天地炼成 烈火燃情:高冷总裁滚远点 系统之娇宠孕妻 娱乐超级奶爸 断神 大明孤狼 穿越之弃子国师 天黑请开眼 扛着boss拼下限(末世)
一朝穿越,温言成了孩子娘!这孩子听话懂事不说,还天生的锦鲤好运,简直不要太好!有了他,他们一上山就捡野鸡野兔不说,一去镇上摆摊东西更是全部卖空。不仅如此。去读书他还秒杀众学子,记忆力超群,学啥啥会,妥妥的天道宠儿!直到某一天。温言忽然发现自己儿子今天,啥啥捡不到,卖东西卖不出去,运气霉得能气死人,说话好的不灵坏的灵,她才知道自己原来还有一个儿子!而这儿子竟然是那狗男人的孩子!如果您喜欢一胎两宝娘亲有点田,别忘记分享给朋友...
关于快穿宿主她一心求死快穿宿主她一心求死问题少女阮小离自杀了,莫名其妙绑定了一个自称是系统的东西。它说死多没意思啊,爷带你去三千世界当反派,毁天灭地,掀起腥风血雨。阮小离觉得挺有意思的,就同意了,但是喂喂喂!系统,不是说好我只是当反派的吗?毁天灭地最后玩腻了被世界男主杀死就好了,为什么世界男主一个个歪了,都来喜欢我这个大反派干什么?那个谁,你是男主,你跟着我干坏事干什么?那个谁,到底我是反派,还...
前世,她被自己的亲人当作换取粮食的筹码,极度失望之下她跳下城楼,带着满腔的恨意丧生于丧尸之口。再一次睁开眼睛,慕亦燃重生于末世来临前十日,慕亦燃对天发誓,一定要让伤害过自己的人付出惨痛的代价。只是上辈子才见过几面的继兄,怎么一副要‘吃’了自己的样子?看着距离自己越来越近的男人,慕亦燃皱眉哥哥,咱俩不熟!季褚唇角微扬,笑的邪魅惑人时间久了,自然就熟了。如果您喜欢末世重生黑化男神极致宠,别忘记分享给朋友...
如题正直的修士,不会夺取他人机缘功法,轻视钱财,改造灵地,养育道侣,建设成就道业。本书为轻小说风格,修仙类题材。若是,看多了杀伐果断的主人公,见多了仙神霸圣祖帝尊想试试不一样风格,这个故事,或许能提供一点新鲜感。如果您喜欢正士不夺缘法轻财造地育侣建成道,别忘记分享给朋友...
江山如画,支零破碎,金戈铁马,烽烟枭雄!这是一个繁花似锦的大隋盛世,这又是一个遍地烽烟的峥嵘时代。才子佳人,红袖游侠,诗词歌赋,剑胆琴心。杨素高颖裴矩虞世基宇文述李穆,朝堂暗斗,门阀漩涡李密窦建德杜伏威王世充刘武周梁师都萧铣,豪雄林立隋失天下,大争乱世,谁能定鼎乾坤,执掌社稷?白马银枪罗昭云,带你走入那波澜壮阔的隋末时代!江山争雄书友群469787524,欢迎跟读本书的朋友!如果您喜欢江山争雄,别忘记分享给朋友...
...