手机浏览器扫描二维码访问
第九十七章 灵气宇宙技术史的风格第二更（第1页）
王崎失魂落魄的说道：“想不到啊想不到……平素里，我居然也会产生如此严重的知见障……真是，一刻也放松不得……”
王崎如此说道。
怎么说呢……
地球的数学史上，形式主义与直觉主义的战争，确实是打得惨。
但是，打完之后的故事，就不是那么脍炙人口了。
往后一段，数学史大书特书的就是布尔巴基学派，就是掌握了数学半壁江山的教皇格罗滕迪克，就是朗兰茨纲领。
至于形式主义和直觉主义……准确来说是新形式主义和直觉主义，倒是也是有人在搞。
但终归是边缘了，在历史上也就不那么耀眼了。
嗯，怎么形容呢……
历史系研究清代史的，总比研究南明史的要多一些不是？
明朝在如何“天子守国门，君王死社稷”，南明也只是一条丢了祖上基业的咸鱼，连逐鹿的资格都没有。
史爱好者看到崇祯这儿，也就算了，有多少人还会专门研究南明这条咸鱼呢？
大概就是这样了。
说实话，直觉主义和形式主义的徒子徒孙，在后续也不是没有成就的。
比如后面的递归论，可以算是典型的“离宗成就”了。
但无论是离宗特征明显的递归论，还是连宗特征明显的类型论，它们都有一个共同的特点——那就是属于计算机科学的一部分。
或者说，干脆就是依附于计算机科学而活的。
换言之，都是计算机科学麾下的打工仔。
这也确实称得上是凄凄惨惨戚戚了。
在亨利·庞加莱晚年的时候，初出现的直觉主义，就好像西周王朝一样，乃是天下共主。
而大卫·希尔伯特时代的直觉主义，就好像是东周王朝一样，空有一个“正统”名号，却没人在乎它了。
——如果考虑到形式主义、直觉主义和逻辑主义三方混战的场面，或许用“蜀汉”和“东汉”来比喻更为合适？
而到了更后面，直觉主义就越发弱势了，几乎就是个弟弟。这就好比是战国时代的周王室后裔，说出去吧，也算是个身份。
但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫六合，虎视何雄哉”了，谁还在乎你区区“周王室后裔”来着？
到了那个时候，形式主义和直觉主义，也就只能搞搞应用了。
“数学根基”这种涉及九鼎的正统之争，他们掺和不了。
这也是王崎从歌庭派抽身而退的原因。歌庭派传承有序，就算当初何外尔真的愿意给他一定的权限，他也没法扭转歌庭派那种风气，来复刻布尔巴基学派的成就的。
就算算主不再，何外尔，艾若澈，都是相当强大的算学家。
他没法一下子就建立起自己的影响力来。
但是，不管怎么说，布尔巴基学派，按照这个世界的分法，都算是离宗学派了。
他是断然没想到，“类型论”这个典型的连宗成就，会诞生在一个基派成员手里。
尤其是这个成员还是他老婆。
“世界观都要受到挑战了啊……”王崎捂住自己的脑袋：“妈耶，妈耶……”
赵清潭也是僵住了：“这怎么可能……”
“是啊……这怎么可能？”
建立帝国从骑士次子开始 西游：六岁熊孩子，开局怒怼观世音 巨树领主 运河之韵 穿进语文书，从刺猹开始 什么？奥特曼是终身制的？ 巫妖生存指南 先婚后爱：娇妻拒婚101次 敛财心 月薪十万，女总裁她果然不只是让我当司机 舌尖天下 灵异直播，女主她不想吓人 道化九界 我的修真小米三 网游航海之王 我，地球唯一超能力者 谭笑风声里，灼灼桃之夭 万苍天穹 盛世花都 大明：开局剧透崇祯，重振河山
小妾金蝉脱壳，重逢王爷哭断肠
关于小妾金蝉脱壳，重逢王爷哭断肠沈若兰做梦都没有想到，自己那不会举的丈夫，竟然跟小三有个六岁的儿子，承受不住打击的她，挺着大肚子从楼梯上滚下来，导致她一尸两命。再次醒来，沈若兰竟然穿越到了古代，成为当朝赫赫有名战神将军的侍妾，正被未过门的正妻围殴，初到异世惶恐不安沈若兰四处求救，可因为身份低微，无人搭理，导致她腹中胎儿离她而去，这让一连遭受两次流产的沈若兰，身心倍受打击。好在，她很快逃离了那个让她厌恶的牢笼，只是外面的世界没有想象中那般美好，逃亡中十天有八天都遭山匪惦记，沈若兰一怒之下，带着一群流民上山，自己做起了山大王，从此，日子过得风生水起，一天，儿子突然跑来向她喊道娘亲，那男人又来求你回府了。沈若兰不见，不见，永远不见。某个不请自来的妖孽男人，他一进门就搂着沈若兰，满脸宠溺道娘子，你在外玩了几年，够啦，为夫来接你回家了。...
影视从复制傻妞开始
叶华意外获得复制系统，穿越到诸天影视世界中，复制别人的修为天赋以及各种法宝等等，从魔幻手机世界开始一路复制，号称诸天影视世界里的万宝真人，创建万宝阁，在诸天影视世界赚的盆满钵满。已完成世界魔幻手机12宝莲灯前传正传女娲传说之灵珠当前世界精卫填海PS前几个世界，主要按剧情走，因此主角存在感低，不过节奏...
股市绝学：从入门到精通
...
我在东京导演神话复苏
幕后黑手唯我独法第一击宣告我的到来，第二击宣告你的离开！吉良吉光意外来到平行世界的东京，开启阿卡夏系统。只要自己和下线搞事就可以获取情绪值，抽取凡能力！为了搜集情绪值，开局暗中将日服男枪设为下线！拿到第一桶金！两面宿傩复活圣主复苏大筒木辉夜降临不从之神现世右方之火灭世等事件在吉良吉光的设计下接踵而至幕后黑手是这样的，官方只需要全力以赴吃瘪就可以，吉良吉光要考虑的事情就很多了。多年后，吉良吉光看着已然化作地上神国的世界。没有人从一开始就站在天上的，无论你我，亦或是神明！但这天之神座令人难以忍受的空窗期也将要结束了。将从今以后，由我立于顶端...
恐怖片BOSS对我念念不忘
关于恐怖片BOSS对我念念不忘恐怖片类型有苏山是恐怖片世界的职业炮灰。演完一千个倒霉蛋后，他得到了重生的机会。虽然新世界也是恐怖片世界，但系统临走前已经告诉他如何避开死亡。苏山决定好好享受剩下的人生。但他的同学被杀了。据说他用苏山的女装照片，以苏珊这个名字在网上谈了一堆男朋友，所以他很可能死于情杀。现在的问题是，那些男朋友会相信苏山与这场网骗毫无关系吗？...
全球冰封：出国囤积亿万物资
关于全球冰封出国囤积亿万物资全球进入冰河末世。秩序崩坏，道德沦丧，人性，暴力在末世中疯狂滋生，人类沦为食物链的低端上一世，林北被女友伙同外人分而食之。重生归来的林北获得空间异能。开始疯狂囤积物资，各种零元购。待末世降临，先杀女友一家，再杀仇敌。收美女只为享乐，这一世他不会再被任何人左右，只为自己！...