手机浏览器扫描二维码访问
第九十七章 灵气宇宙技术史的风格（第1页）
王崎失魂落魄的道：“想不到啊想不到……平素里，我居然也会产生如此严重的知见障……真是，一刻也放松不得……”
王崎如此道。
怎么呢……
地球的数学史上，形式主义与直觉主义的战争，确实是打得惨。
但是，打完之后的故事，就不是那么脍炙人口了。
往后一段，数学史大书特书的就是布尔巴基学派，就是掌握了数学半壁江山的教皇格罗滕迪克，就是朗兰茨纲领。
至于形式主义和直觉主义……准确来是新形式主义和直觉主义，倒是也是有人在搞。
但终归是边缘了，在历史上也就不那么耀眼了。
嗯，怎么形容呢……
历史系研究清代史的，总比研究南明史的要多一些不是？
明朝在如何“子守国门，君王死社稷”，南明也只是一条丢了祖上基业的咸鱼，连逐鹿的资格都没樱
史爱好者看到崇祯这儿，也就算了，有多少人还会专门研究南明这条咸鱼呢？
大概就是这样了。
实话，直觉主义和形式主义的徒子徒孙，在后续也不是没有成就的。
比如后面的递归论，可以算是典型的“离宗成就”了。
但无论是离宗特征明显的递归论，还是连宗特征明显的类型论，它们都有一个共同的特点——那就是属于计算机科学的一部分。
或者，干脆就是依附于计算机科学而活的。
换言之，都是计算机科学麾下的打工祝
这也确实称得上是凄凄惨惨戚戚了。
在亨利·庞加莱晚年的时候，初出现的直觉主义，就好像西周王朝一样，乃是下共主。
而大卫·希尔伯特时代的直觉主义，就好像是东周王朝一样，空有一个“正统”名号，却没人在乎它了。
——如果考虑到形式主义、直觉主义和逻辑主义三方混战的场面，或许用“蜀汉”和“东汉”来比喻更为合适？
而到了更后面，直觉主义就越发弱势了，几乎就是个弟弟。这就好比是战国时代的周王室后裔，出去吧，也算是个身份。
但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫六合，虎视何雄哉”了，谁还在乎你区区“周王室后裔”来着？
到了那个时候，形式主义和直觉主义，也就只能搞搞应用了。
“数学根基”这种涉及九鼎的正统之争，他们掺和不了。
这也是王崎从歌庭派抽身而湍原因。歌庭派传承有序，就算当初何外尔真的愿意给他一定的权限，他也没法扭转歌庭派那种风气，来复刻布尔巴基学派的成就的。
就算算主不再，何外尔，艾若澈，都是相当强大的算学家。
他没法一下子就建立起自己的影响力来。
但是，不管怎么，布尔巴基学派，按照这个世界的分法，都算是离宗学派了。
他是断然没想到，“类型论”这个典型的连宗成就，会诞生在一个基派成员手里。
尤其是这个成员还是他老婆。
“世界观都要受到挑战了啊……”王崎捂住自己的脑袋：“妈耶，妈耶……”
赵清潭也是僵住了：“这怎么可能……”
“是啊……这怎么可能？”
周一见 玄学大佬在现代 人人都爱马文才 武裂苍穹秦天青儿全集免费阅读 九子登云的作品武裂苍穹 天才高手 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 唐老太的种田生活 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 一觉醒来怀了崽 穿成大佬假妹妹 封先生的宠爱 贵门妾 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 穿书之末世娇宠 七零空间小娇女 神道丹帝叶尘苏傲雪全本免费阅读 就想和你在一起 武裂苍穹秦天青儿百度云
这本创世书超麻烦
在黑市里买到的小物件，居然和家里的破烂儿组成了一对。从能量蓝光中显现的黑猫说这是一本创世书。南星看着手中蛋形的物体，十分努力地想把它跟书联系在一起。黑猫说，只要寻回丢失的书页，就能成就一个新的世界。听起来似乎很简单，但这书页到底有多少？这任务什么时候才是个头？啊啊啊gtдlt，一定是被黑猫忽悠了。PS有CP单一男主第三个故事男主常驻如果您喜欢这本创世书超麻烦，别忘记分享给朋友...
厉总别追了，纪小姐已跳崖
1v1双洁先虐后甜～三年后的重逢，帝都的只手遮天的豪门贵公子将她按在怀中，冷漠而轻浮的称她为陪酒公主，酒局上的鄙夷随之而来，她抿唇微笑掠过所有的讥讽。再后来，纪晚雪甩了男人，与小鲜肉在夜店的亲密合照被爆，男人冷着脸去抓人揽入怀中，咬牙质问，一口一个厉总，你翻脸比翻书还快？男人终于一颗心吊在了她身上，她却一步...
春闺艳史：风流督公盛宠妻
春闺艳史风流督公盛宠妻简介emspemsp春闺艳史风流督公盛宠妻是薇薇安的经典其他类型类作品，春闺艳史风流督公盛宠妻主要讲述了21世纪的心理学女大学生，五年前穿越到大梁，成为大梁的皇长公薇薇安最新鼎力大作，年度必看其他类型。海棠屋（haitangshuwucom）提供春闺艳史风流督公盛宠妻最新章节全文免费阅读！。...
复仇公主：敌国皇子为她杀疯了
（原书名女主她又美又飒！）秦冉一朝穿成了昭国的九公主。开局就面临着刺杀，在得知原主身亡的原因后，秦冉表示当什么公主，摆烂它不香吗！在这场有预谋的刺杀行动中，昭国皇室为了掩藏刺杀带来的丑闻，抹去了她的消息。好消息是，她还活着，且无人寻她。但坏消息是，她摆烂失败了。突如其来的马匪，打乱了她的摆烂。杀她阿奶，掳她弟弟...
这就是无敌
这就是无敌简介emspemsp这就是无敌是王冠非锟的经典玄幻魔法类作品，这就是无敌主要讲述了白策在考虑一个事情，自己这是无敌了吗？可是，自己什么也没做，王冠非锟最新鼎力大作，年度必看玄幻魔法。海棠屋（haitangshuwucom）提供这就是无敌最新章节全文免费阅读！。...
血色万里
血色万里简介emspemsp血色万里是石海三侠的经典女频科幻类作品，血色万里主要讲述了行走在末世血色荒原中，幸存的人类所剩无几，聚集在某些地域苟延石海三侠最新鼎力大作，年度必看女频科幻。海棠屋（haitangshuwucom）提供血色万里最新章节全文免费阅读！。...