笔趣阁

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

第1253章(第2页)

“还是说结构好了。我们的‘结构’,还是一个新生的概念,但是,还不够有力量——我认为它是有力量的。它应该可以改变所有万法门弟子的思考方式。”

王崎当初提出不完备定理,几乎毁了半个万法门。

但是,为什么只是半个?为什么在算主如日中天、离宗多于连宗的情况下,依旧只有“半个”?

因为,逻辑,其实和算学的整体,不是那么密切。

或者说,只有逻辑学家,才会关系逻辑本身。更多的算家,其实并不关心逻辑。逻辑有矛盾就有矛盾,也并不影响任何算学的实际证明。

之所以有很多修士道心失守,还是因为算主那“寻找到算学统一根基”的美丽图景太过诱人,导致很多人都坚信这一点罢了。

就好像原子理论并不会影响正常人对宏观事物的感知一下,万法门弟子在数数的时候,也不会将自然数想象成“等势集合的类”。

甚至还有很多算学家觉得,不完备,不相容,都只是“逻辑”与“集合”本身问题,而不是算学的问题。

算君就是这种思想的代表。算主践行他的理想时,算君就完全不在意,似乎成与不成都没关系。

不完备与不相容本身也有这种倾向——问题只是逻辑的问题,而不是算学本身的问题。

它们看上去更像是算主道路上的拦路虎。

集合论带个万法门的好处,似乎只有“统一的、方便表述各种抽象概念的语言”这一类。

而“结构”这是另一个层面的事情了。

布尔巴基学派宣称“结构”是“数学家使用的数学基础”【而非“逻辑学家使用的数学基础”】他们从另一条路上出发,去统一整个数学领域。

在布尔巴基学派之前,“结构”这个概念就已经存在。他们只不过是像希尔伯特希望用康托尔的集合论统治数学世界一样,指出“结构”这个概念可以用作“统合”。这个方法取得了巨大的成功,因为在地球,只需要极少数的“母结构”,就能讨论大量典型有有趣的例子。

布尔巴基学派甚至影响了数学的学科划分。数学不再像古典时期那样,分成算术、代数、几何、分析几个大类,而是出现了“拓扑代数”、“代数几何”这样的分类。

这个基础是能够改变世界的。

而“结构”这个概念的进一步升华,就是“范畴”。

某一类型的结构的所有有可能的例子的类,再加上保持这种结构的所有函数,就是“范畴”。

范畴是一个比结构更加灵活的概念。

范畴可以认定为结构概念的一个特殊情形,而另一反面,集合及其函数有可以视作为范畴的一个特殊情形。

集合及其函数、结构及其射态,都可以构成范畴。

它同样具有“成为整个算学基础”的潜力。

这也是布尔巴基学派的另一个重要补充。

而另一方面……

这玩意总算是比前面的诸多理论接地气了一点了。

至少,范畴论是可以应用到计算机科学里面的——虽然王崎已经忘了具体是怎么回事。

毕竟这在地球也算是比较高端大气上档次的技巧了,一般的程序猿未必懂。

另外,就神州这与地球完全不同的技术史……

确实很让人心里没底。

但王崎却只有硬着头皮上了。

基派理论,已经成为他修法不可分割的一部分。

而若是他出现功法冲突的话,那么很有可能就是源自于算君的虚相修法,和这一部分的冲突。

穿成大佬假妹妹  富婆的快乐你不懂[神豪]  穿成流放文的极品小姑(穿书)  风刃之芒  穿越千年,只为遇见你!  雄虫他只想苟命[虫族]  妻调令  孤手握三十万重兵,你让孤自裁?  重回86:大哥死前托妻给我  [原神]为了磕cp我连天理都能推翻  震惊!这个男人能点化智械  我靠拾荒称霸三界  怪厨  是你攻略不下的女主  七零夜校女教师  再见,我亲爱的封先生  魂穿七零,这个世界我要做大女主  十二鬼月横滨结仇日常  开局被女土匪看中,我占山为王  夫君热衷于给我捧场  

热门小说推荐
龙符

龙符

苍茫大地,未来变革,混乱之中,龙蛇并起,谁是真龙,谁又是蟒蛇?或是天地众生,皆可成龙?朝廷,江湖门派,世外仙道,千年世家,蛮族,魔神,妖族,上古巫道,千百势力,相互纠缠,因缘际会。...

抢救大明朝

抢救大明朝

朱慈烺此贼比汉奸还奸,比额李自成还能蛊惑人心!闯王李自成立马虎牙山,遥望东南,感慨万千。慈烺此子忤逆不孝,奸诈凶残,简直是曹操再世,司马复生,让他当了皇帝,全天下的逆贼奸臣刁民一定会想念朕的!大明崇祯皇帝于明孝陵前,痛哭流涕。我冤枉啊!我洪承畴真的不是朱贼慈烺的内应,我对大清可是一片忠心啊!大清兵部...

凌天至尊

凌天至尊

最强系统,我就是最强!还有谁?叶风看着众多的天骄,脸色淡定无比!获得最强系统,经验可复制对方的功法神通,可升级功法神通品阶无所不能,唯有最强!碾压苍穹,打爆世间一切不服者!...

每日热搜小说推荐