手机浏览器扫描二维码访问
第九十七章 灵气宇宙技术史的风格第二更（第1页）
王崎失魂落魄的说道：“想不到啊想不到……平素里，我居然也会产生如此严重的知见障……真是，一刻也放松不得……”
王崎如此说道。
怎么说呢……
地球的数学史上，形式主义与直觉主义的战争，确实是打得惨。
但是，打完之后的故事，就不是那么脍炙人口了。
往后一段，数学史大书特书的就是布尔巴基学派，就是掌握了数学半壁江山的教皇格罗滕迪克，就是朗兰茨纲领。
至于形式主义和直觉主义……准确来说是新形式主义和直觉主义，倒是也是有人在搞。
但终归是边缘了，在历史上也就不那么耀眼了。
嗯，怎么形容呢……
历史系研究清代史的，总比研究南明史的要多一些不是？
明朝在如何“天子守国门，君王死社稷”，南明也只是一条丢了祖上基业的咸鱼，连逐鹿的资格都没有。
史爱好者看到崇祯这儿，也就算了，有多少人还会专门研究南明这条咸鱼呢？
大概就是这样了。
说实话，直觉主义和形式主义的徒子徒孙，在后续也不是没有成就的。
比如后面的递归论，可以算是典型的“离宗成就”了。
但无论是离宗特征明显的递归论，还是连宗特征明显的类型论，它们都有一个共同的特点——那就是属于计算机科学的一部分。
或者说，干脆就是依附于计算机科学而活的。
换言之，都是计算机科学麾下的打工仔。
这也确实称得上是凄凄惨惨戚戚了。
在亨利·庞加莱晚年的时候，初出现的直觉主义，就好像西周王朝一样，乃是天下共主。
而大卫·希尔伯特时代的直觉主义，就好像是东周王朝一样，空有一个“正统”名号，却没人在乎它了。
——如果考虑到形式主义、直觉主义和逻辑主义三方混战的场面，或许用“蜀汉”和“东汉”来比喻更为合适？
而到了更后面，直觉主义就越发弱势了，几乎就是个弟弟。这就好比是战国时代的周王室后裔，说出去吧，也算是个身份。
但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫六合，虎视何雄哉”了，谁还在乎你区区“周王室后裔”来着？
到了那个时候，形式主义和直觉主义，也就只能搞搞应用了。
“数学根基”这种涉及九鼎的正统之争，他们掺和不了。
这也是王崎从歌庭派抽身而退的原因。歌庭派传承有序，就算当初何外尔真的愿意给他一定的权限，他也没法扭转歌庭派那种风气，来复刻布尔巴基学派的成就的。
就算算主不再，何外尔，艾若澈，都是相当强大的算学家。
他没法一下子就建立起自己的影响力来。
但是，不管怎么说，布尔巴基学派，按照这个世界的分法，都算是离宗学派了。
他是断然没想到，“类型论”这个典型的连宗成就，会诞生在一个基派成员手里。
尤其是这个成员还是他老婆。
“世界观都要受到挑战了啊……”王崎捂住自己的脑袋：“妈耶，妈耶……”
赵清潭也是僵住了：“这怎么可能……”
“是啊……这怎么可能？”
西游：六岁熊孩子，开局怒怼观世音 道化九界 巨树领主 什么？奥特曼是终身制的？ 网游航海之王 建立帝国从骑士次子开始 谭笑风声里，灼灼桃之夭 我的修真小米三 我，地球唯一超能力者 舌尖天下 盛世花都 灵异直播，女主她不想吓人 敛财心 先婚后爱：娇妻拒婚101次 巫妖生存指南 运河之韵 大明：开局剧透崇祯，重振河山 万苍天穹 月薪十万，女总裁她果然不只是让我当司机 穿进语文书，从刺猹开始
武侠：重生第一剑，先斩意中人！
关于武侠重生第一剑，先斩意中人！庄生一梦，三流职业玩家邱白，回到了十年前新婚后的清晨。在他恢复意识后，所做的第一件事情，不是买股票，也不是谢上帝。而是不顾一切地向一旁的新婚妻子，大喊出了两个字。离婚！重生第一剑，先斩意中人。心中无女人，拔剑自然神。这是一个兔子变老虎，咸鱼化蛟龙的故事。离婚只是开始，后续才是征途。那年虚拟游戏开服，一批批未来的亿万富豪，命运的齿轮才刚刚转动。那年志向仍犹在，孽障未缠身，一切皆有可能！那年青春正好，腰未弯，意气无限，斗酒敢为天下先！男儿负壮气，奋烈自有时。但得倚天剑，跨海斩长鲸。...
震惊！我有军火商系统
...
掉在地上的月亮
关于掉在地上的月亮简招娣十四岁以前，在乡下苦水里泡大。跟着父母进城后，十六岁嫁给一个老鳏夫，被家暴致死。重生归来，她想改变自己的命运。跪求过燕馨宁，上过吊，跳过井，撒泼打滚，爬床，她孤注一掷，却仍然没能挣脱背后掌控她命运的那双黑手。结局照旧重复上一世的轨迹，还落下忘恩负义，被人抓奸在床的骂名。第十六代毒医传人简月踏破虚空而来，接管了简招娣两世都没能翻盘的烂摊子求解怎么破局？姬云重小月儿，我愿陪你走遍万水千山。简月你一个混吃等死的纨绔，有游山玩水的资本吗？...
崛起于平凡
愿～所有的平凡都能够崛起，走向不平凡。这是一个普通人穿越到异界当神明的故事，这是一个从平凡走向崛起的故事。李良买菜回家，一开家门家变成了皇宫，身前，美丽的一国公主正破涕为笑的看着李良，在看了两秒后直接晕倒，倒向李良...
好爽！抢渣男遗产，当渣男舅妈
关于好爽！抢渣男遗产，当渣男舅妈沈禾爱了穆霆蕴四年，直到被剖心惨死，才知道她是男友小青梅的最佳供体！为调查长姐之死，替她伸冤，沈家四个弟弟也都惨遭毒手。大堂弟被活埋，封尸水泥坑天才二堂弟被构陷入狱，毒成痴傻重活一世，沈禾化身为腹黑绿茶。斗渣男，让他血债血偿！护兄弟，带领沈家成为名门！断情绝爱的沈禾，只想找个基因优良的男人，去父留子。她盯上了禁欲大佬，商界巨擘宋敬呈。哪知，对方竟也是重生的，还早早就做了接扎手术！梦想泡了汤，赶紧跑！男人却将她堵在墙角穆霆蕴辜负你太多，身为长辈是我管教不严，我应该给你一些补偿。沈禾给多少？有钱不要是傻子。男人将一份遗产公证拍到沈禾怀里这辈子，我都给你做牛做马。沈禾，你愿意做我的遗产继承人吗？后来。遗产继承人是她，孩子的妈妈是她，宋家主母也是她。...
重回年代赶海打猎
陈辉哥，你娶我吧！你看我们都这样了…陈辉没想到自己还能重生。更没想到上辈子无父无母无妻徒刑过了几十年，重生之后的第一件事居然是结婚。花花世界已经看遍。这一辈子，陈辉只想下海抓鱼，上山打猎，赶赶海，采采菇。就在这个小村里，跟白月光过你侬我侬没羞没臊的小日子。（年代上山下海日常宠妻家，家长里短，悠闲时光，不喜勿喷！）...