手机浏览器扫描二维码访问
第九十七章 灵气宇宙技术史的风格（第1页）
王崎失魂落魄的道：“想不到啊想不到……平素里，我居然也会产生如此严重的知见障……真是，一刻也放松不得……”
王崎如此道。
怎么呢……
地球的数学史上，形式主义与直觉主义的战争，确实是打得惨。
但是，打完之后的故事，就不是那么脍炙人口了。
往后一段，数学史大书特书的就是布尔巴基学派，就是掌握了数学半壁江山的教皇格罗滕迪克，就是朗兰茨纲领。
至于形式主义和直觉主义……准确来是新形式主义和直觉主义，倒是也是有人在搞。
但终归是边缘了，在历史上也就不那么耀眼了。
嗯，怎么形容呢……
历史系研究清代史的，总比研究南明史的要多一些不是？
明朝在如何“子守国门，君王死社稷”，南明也只是一条丢了祖上基业的咸鱼，连逐鹿的资格都没樱
史爱好者看到崇祯这儿，也就算了，有多少人还会专门研究南明这条咸鱼呢？
大概就是这样了。
实话，直觉主义和形式主义的徒子徒孙，在后续也不是没有成就的。
比如后面的递归论，可以算是典型的“离宗成就”了。
但无论是离宗特征明显的递归论，还是连宗特征明显的类型论，它们都有一个共同的特点——那就是属于计算机科学的一部分。
或者，干脆就是依附于计算机科学而活的。
换言之，都是计算机科学麾下的打工祝
这也确实称得上是凄凄惨惨戚戚了。
在亨利·庞加莱晚年的时候，初出现的直觉主义，就好像西周王朝一样，乃是下共主。
而大卫·希尔伯特时代的直觉主义，就好像是东周王朝一样，空有一个“正统”名号，却没人在乎它了。
——如果考虑到形式主义、直觉主义和逻辑主义三方混战的场面，或许用“蜀汉”和“东汉”来比喻更为合适？
而到了更后面，直觉主义就越发弱势了，几乎就是个弟弟。这就好比是战国时代的周王室后裔，出去吧，也算是个身份。
但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫六合，虎视何雄哉”了，谁还在乎你区区“周王室后裔”来着？
到了那个时候，形式主义和直觉主义，也就只能搞搞应用了。
“数学根基”这种涉及九鼎的正统之争，他们掺和不了。
这也是王崎从歌庭派抽身而湍原因。歌庭派传承有序，就算当初何外尔真的愿意给他一定的权限，他也没法扭转歌庭派那种风气，来复刻布尔巴基学派的成就的。
就算算主不再，何外尔，艾若澈，都是相当强大的算学家。
他没法一下子就建立起自己的影响力来。
但是，不管怎么，布尔巴基学派，按照这个世界的分法，都算是离宗学派了。
他是断然没想到，“类型论”这个典型的连宗成就，会诞生在一个基派成员手里。
尤其是这个成员还是他老婆。
“世界观都要受到挑战了啊……”王崎捂住自己的脑袋：“妈耶，妈耶……”
赵清潭也是僵住了：“这怎么可能……”
“是啊……这怎么可能？”
人人都爱马文才 天才高手 周一见 武裂苍穹秦天青儿全集免费阅读 穿成大佬假妹妹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 九子登云的作品武裂苍穹 玄学大佬在现代 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 封先生的宠爱 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 唐老太的种田生活 七零空间小娇女 穿书之末世娇宠 就想和你在一起 武裂苍穹秦天青儿百度云 贵门妾 一觉醒来怀了崽 神道丹帝叶尘苏傲雪全本免费阅读
僵约：平分天赋，拿下马小玲！
不喜勿入男频书，不太适合美丽的小姐姐们看，慎入慎入慎入！穿越僵约世界，江枫觉醒平分天赋，即通过碰触的方式，将对方绑定为好友，绑定成功后，可以复制对方一种天赋！到自己身上！天赋，涵盖能想象到任何的东西！智商，血脉，灵力，法术，金钱，等等任何事物！总之，最需要什么就会获得什么！叮你已经与欧阳嘉嘉成为好友，触发平分...
穿成赘婿暴君的恶毒前妻
1V1双洁，甜宠人间夸夸机女主vs水逆少年男主。温南在一次任务中身亡。醒来之后，得了一个便宜系统。温南重生于江南一富豪人家。虽为嫡房长女却母亲早亡，父亲宠爱妾室。二房把握经济大权。原身性格嚣张，出了名的大草包。温南十六岁时，在温家在外面找了一个跛脚的男人给温南当赘婿。可是这个所有人都看不起的跛脚男人，日后会是这天下的君主…是一个暴君。十年蛰伏一朝破萤。宿主，你要好好培养暴君，将他培养成明君造福百姓。这样你才能安逸的活着从此温南开始了养夫君大计。夫君被人欺负，嘲笑，温南立刻回怼，叉腰护夫。暴君差钱。很好，她抢回温家继承权，扩展业物，赚的盆满钵满。给暴君当资金。夫君脚跛，她想办法找名医相救。夫君差什么她就送什么。暴君心里没有温暖，日后会大开杀戒。温南立刻给暴君送温暖，给暴君补衣服，嘘寒问暖无微不至。后来暴君成了一代明君，京中贵女个个虎视眈眈。贵女掩唇嗤笑，一介低贱商女，如何能配的上陛下，一股子寒酸。朝臣劝道，陛下天人之姿应该迎娶这天下德才兼备女子为后。可是那年轻的帝王伸手紧紧的拉着温南的手，深情道糟糠之妻不可弃。如果您喜欢穿成赘婿暴君的恶毒前妻，别忘记分享给朋友...
明星总冠军
战斗的理由，你和总冠军！KPL春季赛保级失败而猝死的职业选手韩峰，拥有了一个来自异世界的灵魂，带着无数没人听过的歌看过的电影。于是，韩峰的脚下出现两条路，一条通往娱乐明星，万人追捧，一条通往电竞冠军，多年梦想。韩峰笑道小孩子才做选择，我全都要！如果您喜欢明星总冠军，别忘记分享给朋友...
带娃追妻妈咪求抱抱
带娃追妻妈咪求抱抱简介emspemsp关于带娃追妻妈咪求抱抱乡下回来的林悦晞，为了继承家产，被迫在咖啡厅捡来个服务员领证，本以为对方穷困潦倒需要救济，谁知道捡了个钻石王老五，有钱多金还英伦非凡！咖啡厅老板是他，知名法医是他，S市顶级企业老板还是他！林悦晞感觉自己被骗了，离婚！然而小萌宝抱着大腿喊妈咪，钻石王老五拽着自己求原谅，父子二人把她宠上天，林悦晞暗自偷笑，这是走了什么好运！简直不要太爽！...
美漫里的忍者之神
雷神我可以召唤闪电。罗格我会雷遁。绿巨人我力大无穷，刀枪不入。罗格我会须佐能乎。绯红女巫我可以制造幻觉。罗格月读跟别天神了解一下。格鲁特我是格鲁特。罗格我会木遁，还有顶上化佛。这是一个立志成为忍者之神的忍者，在漫威世界搞风搞雨的故事。如果您喜欢美漫里的忍者之神，别忘记分享给朋友...
穿进年代文后我躺赢了
1V1双洁意外得到金手指的顾笙万万没有想到自己会乐极生悲，穿越成男频七十年代致富文里的路人甲。虽然上有极品后奶奶，下有重生小姑姑，可顾笙也不是吃素的，耍的她们团团转。而且原主弟弟是未来著名大学教授，妹妹是未来著名服装设计师，爸爸是未来企业家。顾笙嘿嘿一笑，都是未来的大佬，这可不就是躺赢的人生。于是顾笙开始撸起袖子养大佬，还不忘找回失忆的大佬爸爸，没成想自己居然变成了女大佬。当顾笙决定抱好锦鲤小竹马的大腿时，傅瑾傲娇冷哼你见过哪只锦鲤有腿？顾笙声音娇软那我抱紧你吖～如果您喜欢穿进年代文后我躺赢了，别忘记分享给朋友...