手机浏览器扫描二维码访问
宇历三年的时候,离宗和连宗很罕见的达成了全新的共识。
一个公式,在离宗算理和连宗算理之中,具备完全一致的内蕴的话,那么,就可以说,这个公式,具备“绝对性”。
这种“绝对性”,毫无疑问,给予了离宗某种“希望”。
对于他们来说,这简直就是不周之算的灭世一击下,所能找到的最后救赎与唯一福音。
“绝对性”的存在,或许就是在表明,数学实体是在不同的数学公理系统里面普遍存在的。
而如果是这样的话,这个数学实体本身,或许就具有“实际完备”的性质。
这是他们最后的希望了。
或许他们需要寻找到一条新的道路,来探索出这个数学实体的性质。
在这一点上,冯落衣与歌庭派的目的是出奇的一致。
他们甚至暂且放下了些许分歧,共同探索这一领域。
而在这一过程之中,海霆真人也终于崭露头角。
自从连宗证明直觉主义逻辑不比歌庭派的经典逻辑安全之后,他就好像变了个人一样,沉默而寡言。
而在黎京首创之中,他自闭的倾向就更严重了。
但是,这并不妨碍他作为一个算学家,继续发光发热。
他从苏君宇的连续统研究之中受到启发,引入了冯落衣在无限公理中研究良基集合的成果,创立了全新的流派——构造主义。
在某个理论内,以有穷个符号,所定义之一切实体,直到反射序列的高度遍历“所有序数的序数”,便是一个可构造类。
而可构造公理,便是宣告,良基序列下合法集合所构成的总体,与“可构造性集合”,是相等的。
他继承了算君“算学是被构造产物”的思想,却容纳了算君所厌恶的集合论,并且在冯落衣良基集合的基础上完成了初步的安全性证明。
定义即构造,构造即证明,证明即路秩。
也正是因为如此,他在算器理论也小有突破,进入千机阁的视野之中。
歌庭派对此有些惊恐。
冯落衣与图灵的存在【或许还可以算上王崎】,使得千机阁这个万法门分支门派,一直都是离宗的后花园。
也曾有连宗修士走入过那里,甚至有算君这种连宗总头目开发出了平行的算器理论。
但是,海霆真人是正式走入其中了。
他甚至有向离宗示好的倾向。海霆真人甚至证明,直觉主义和其他逻辑流派的关键差异,就在于“使用有穷个符号,是否就能操纵无穷乃至超穷的实体”。
但海霆真人的出现,对于基派来说,也不完全是坏事。
海霆真人崛起的同时,也提出了许多与离宗过去理论相对应的东西,使得歌庭派得以返照自身,发现许多过去未必能发现的东西。
他们发现,许多相同的数学结构在不同的公理系统之中广泛存在。公理系统的选择,只影响可以证见的数学结构的多寡。
而对公理的选择和分析,实际上就是判断以哪些基础原则作为算学的“起始点”与“基准”。
众多的公设存在,不是出于对算学根基的评判而设立,而是万法门修士们研究活动本身需要这些公设才设立的【比如加法的定义,减法的定义】。
这些更进一步的加强了离宗对“算学实体”的信心。
也就是在这个背景之下,苏君宇通过海霆真人的思路,提出了名为“传递模型”的骚操作。
如果存在一个数学公理系统甲,其自身具有一致性,那么就存在这个系统的模型。
将“系统甲是一致”的这个公理,加入原来的系统,就得到了“系统甲是一致的加入系统甲之后的系统”。然后,就有“系统甲是一致的加入系统甲之后的系统是一致的”。再将“系统甲是一致的加入系统甲之后的系统是一致的”,加入“系统甲是一致的加入系统甲之后的系统”……如此反复,直到无穷。
穿进语文书,从刺猹开始 大明:开局剧透崇祯,重振河山 敛财心 万苍天穹 运河之韵 舌尖天下 西游:六岁熊孩子,开局怒怼观世音 巫妖生存指南 道化九界 什么?奥特曼是终身制的? 先婚后爱:娇妻拒婚101次 建立帝国从骑士次子开始 月薪十万,女总裁她果然不只是让我当司机 我,地球唯一超能力者 网游航海之王 我的修真小米三 巨树领主 谭笑风声里,灼灼桃之夭 灵异直播,女主她不想吓人 盛世花都
一条鱼?一只狐狸?一个阿飘?外加一位魔族!徒儿啊!你是一个人都不给为师收啊?!!扶山子额头青筋突跳,扭头看向自己的开山大弟子,只见他的大弟子躺在躺椅上,蒲扇轻轻摇动,好不快哉,悠然道师父,这话徒儿不爱听,不爱听啊!怎么没给你收人,那不就是随即手中蒲扇往远方一指,扶山子顺势看去,只觉吾命休矣,那可是人族修士...
「年代双洁穿越虐渣打脸异能空间忠犬甜宠搞钱」在末世不幸丧生的徐娇娇一睁眼竟发现自己穿回了华夏国五百年前的七十年代,还是开局就遇上渣男一家前来退婚的狗血画面。经历过末世逃亡的徐娇娇冷冷一笑,很好,她最喜欢以拳服人了。刚考上县里的临时工就看不起我了是吧,没关系,想退婚可以,先挨本小姐一顿揍再说。你以为这就...
周波,你个死肥猪,还在睡,赶紧给老娘滚下来!一个身穿大红嫁衣的绝美女子站在床前大声呵斥。迷迷糊糊的周波看到这个女子心中一跳开玩笑,老夫今天结婚?这么漂亮的女人是我未婚妻?我咋一点印象都没有?...
关于嫡女惨死后,重回赐婚前,不嫁了疯批嫡女重生后,虐渣男斗庶妹嫁死对头,狗咬她她都要咬回去!上一世,相府嫡女颜云姝身负恶名,倾尽外祖家财力和权势,助大皇子许景烨得太子位得皇位。可登基当日,他却抄了她外祖满门,将她打入死牢,迎娶了她的庶妹颜书瑶。数月后,他亲自带着她的庶妹颜书瑶来到死牢,一壶毒酒将她活活灌死。死后她才发现,这个世界是一本书。她是书中恶毒女配,庶妹颜书瑶是穿书女主,手握预知未来的金手指肆意夺取她的气运,踩她上位。一朝重生,竟回到了圣上赐婚前,坚决不嫁了。但上一世那个处处和她作对的死对头,原本的皇位继承者,却成了她的这一世的准夫君。人人都道二皇子许景槐冷酷残暴不近女色,只有他自己知道,他心里只有她。...
关于校园青春之混的那些年我叫陈庆,因为校园霸凌,走上了这条不归路,而踏进这泥潭后,却越陷越深,直到淹没,永远的消失给大家讲讲我曾混过的那些年吧,或许当时很快乐,或许当时没有那么多的烦恼,或许也因为那几年改变了一生,又或许正是那些年毁了我的一生!(特此声明本故事纯属虚构无不良引导切勿代入现实请勿模仿)注作者写本书目的只是告诫大家,不要踏足这泥泞之地,出来混,没有什么好下场,也不会有那么多的叱咤风云,常在河边走哪有不湿鞋,当你遇到背叛出卖欺骗家人分离时,那种痛苦无法想象,你以为你得到尊严了,但你却早已失去了尊严。相信各位读者都会感同身受,远离这片是非之地。珍惜眼前,活在当下,简单平淡也是幸福,感谢大家。...
关于称霸诸天从娶女弟子开始大弟子天狐女帝师傅,人家怕冷,求暖被窝二弟子九幽魔帝师傅,你若不嫁给我,我就砍你了哦三弟子绝情女帝师傅,缺对象吗?咱俩处处。萧三斤乖徒儿们别闹,我忙着独断万古呢...