手机浏览器扫描二维码访问
第九十七章 灵气宇宙技术史的风格第二更（第1页）
王崎失魂落魄的说道：“想不到啊想不到……平素里，我居然也会产生如此严重的知见障……真是，一刻也放松不得……”
王崎如此说道。
怎么说呢……
地球的数学史上，形式主义与直觉主义的战争，确实是打得惨。
但是，打完之后的故事，就不是那么脍炙人口了。
往后一段，数学史大书特书的就是布尔巴基学派，就是掌握了数学半壁江山的教皇格罗滕迪克，就是朗兰茨纲领。
至于形式主义和直觉主义……准确来说是新形式主义和直觉主义，倒是也是有人在搞。
但终归是边缘了，在历史上也就不那么耀眼了。
嗯，怎么形容呢……
历史系研究清代史的，总比研究南明史的要多一些不是？
明朝在如何“天子守国门，君王死社稷”，南明也只是一条丢了祖上基业的咸鱼，连逐鹿的资格都没有。
史爱好者看到崇祯这儿，也就算了，有多少人还会专门研究南明这条咸鱼呢？
大概就是这样了。
说实话，直觉主义和形式主义的徒子徒孙，在后续也不是没有成就的。
比如后面的递归论，可以算是典型的“离宗成就”了。
但无论是离宗特征明显的递归论，还是连宗特征明显的类型论，它们都有一个共同的特点——那就是属于计算机科学的一部分。
或者说，干脆就是依附于计算机科学而活的。
换言之，都是计算机科学麾下的打工仔。
这也确实称得上是凄凄惨惨戚戚了。
在亨利·庞加莱晚年的时候，初出现的直觉主义，就好像西周王朝一样，乃是天下共主。
而大卫·希尔伯特时代的直觉主义，就好像是东周王朝一样，空有一个“正统”名号，却没人在乎它了。
——如果考虑到形式主义、直觉主义和逻辑主义三方混战的场面，或许用“蜀汉”和“东汉”来比喻更为合适？
而到了更后面，直觉主义就越发弱势了，几乎就是个弟弟。这就好比是战国时代的周王室后裔，说出去吧，也算是个身份。
但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫六合，虎视何雄哉”了，谁还在乎你区区“周王室后裔”来着？
到了那个时候，形式主义和直觉主义，也就只能搞搞应用了。
“数学根基”这种涉及九鼎的正统之争，他们掺和不了。
这也是王崎从歌庭派抽身而退的原因。歌庭派传承有序，就算当初何外尔真的愿意给他一定的权限，他也没法扭转歌庭派那种风气，来复刻布尔巴基学派的成就的。
就算算主不再，何外尔，艾若澈，都是相当强大的算学家。
他没法一下子就建立起自己的影响力来。
但是，不管怎么说，布尔巴基学派，按照这个世界的分法，都算是离宗学派了。
他是断然没想到，“类型论”这个典型的连宗成就，会诞生在一个基派成员手里。
尤其是这个成员还是他老婆。
“世界观都要受到挑战了啊……”王崎捂住自己的脑袋：“妈耶，妈耶……”
赵清潭也是僵住了：“这怎么可能……”
“是啊……这怎么可能？”
大明：开局剧透崇祯，重振河山 运河之韵 月薪十万，女总裁她果然不只是让我当司机 灵异直播，女主她不想吓人 巨树领主 网游航海之王 舌尖天下 我的修真小米三 西游：六岁熊孩子，开局怒怼观世音 我，地球唯一超能力者 建立帝国从骑士次子开始 道化九界 先婚后爱：娇妻拒婚101次 万苍天穹 巫妖生存指南 什么？奥特曼是终身制的？ 盛世花都 敛财心 穿进语文书，从刺猹开始 谭笑风声里，灼灼桃之夭
四合院：阎解旷的潇洒人生
关于四合院阎解旷的潇洒人生阎有矿无意中开启了空间穿越到了四合院世界，成为了三大爷阎埠贵的三儿子阎解旷。阎解旷到了四合院，先打断盗圣棒梗的腿，收了些利息。接着又给四合院的养老团添了一些堵。只要你不让我好过，我就不让你舒服。我不舒服了，你们也别想开心。在这四合院世界里，我阎解旷想怎么样就怎么样！...
她自淤泥而来
出了车祸后她才彻底死心了，这个家原来真的不爱她，十万！为了区区十万他们放弃了她。真是太可笑了。可她都打算放弃自己了，为何又被救了回来，既然这都死不了，那么，她是不是也可以拼一次呢！重来一次后赚钱反而成为了最简单的事情。什么？觉醒的超能力是家族遗传？亲生父母另有其人？她的人生从她出生起老天爷就跟她开了一场玩笑。重来一...
东北金渐层把我家当月子中心了
轻松日常动物互动赶山沈星从大城市辞职回村，自从救下一头被捕兽夹子夹住的金渐层幼崽后，他在村里就过上了顿顿吃肉，家门口捡山珍的美滋滋小日子不是，到底是谁在传村里有个两脚兽会帮忙带娃啊？我家真不是月子中心！虎妈，你看你还客气上了，这麂子肉我真不能收。随着沈星开启直播，网友们看到他家里堆积如山的野山参灵芝松茸网友主播，这些都是你赶山捡到的？沈星啊，赶山？我真没赶山啊，我对灵芝人参啥的一点儿都不感兴趣这时，直播间正好录到一头五百斤重的金渐层叼着人参来找沈星啊，虎妈你别往我家里塞娃了，真带不了什么，你带了1o根野山参？还是一百年份的！欢迎欢迎，请进请进。网友们全都看傻眼了东北虎送礼？那长白山不成了主播家菜园吗这主播真6，躺平让他玩明白了！央妈采访沈星请问你一个失业人士，怎么做到在魔都买下一套房的？...
我只想躺平，你休想让我继承皇位
关于我只想躺平，你休想让我继承皇位全能杀手云曦，跳伞时不幸卷入风暴之中，死后带着空间魂穿到了异世大熙王朝。再睁眼，就是鸡飞狗跳的场景。大伯母要卖掉原身给小儿子看病，大伯袖手旁观，瘦骨嶙峋的弟弟被大堂哥一脚踹飞，面黄肌瘦的母亲被大伯母拽倒在地云曦一看，这能忍？先打回去，然后分家！这个家有她，必须得分！可分个家也不太平，弄得吵闹不休，烦不胜烦。云曦快刀斩乱麻，东西不要了，直接断亲，反正那点东西她也看不上！断亲后，云曦家逐渐富裕起来，且她还带着村子里的人共同富裕。不仅如此，她的弟弟，考上了状元！她的母亲，成了一品诰命！她路边救的人，是个王爷！她的合作伙伴，是全国首富！她的徒弟，有神医，有神厨，有墨家巨子她的发明创造，让大熙至少进步了一千年！有一天，皇帝指着远方突然问她看，这都是你给朕打下的江山，所以你想不想当女帝？云曦满脸惊恐泥奏凯啊！女帝那么累人的差事，狗都不干！操了一辈子心，不该让她享受享受吗？...
大妖精
...
学霸女友也太宠了吧
轻松，日常，搞笑，单女主，狗粮文重生回高中时代就是来弥补遗憾的。这次我要当全能学霸，考第一当高考状元，以最高分进入名牌大学走上人生巅峰。在这段时间，我竟然发现了一个关于暗恋的秘密。她会在放学的时候小心翼翼的跟在我身后，在校运会举办期间时刻寻找我的踪影，在体育课自由活动时假装从我面前路过在车站故意多等一趟车就为了...