手机浏览器扫描二维码访问
第九十七章 灵气宇宙技术史的风格第二更（第1页）
王崎失魂落魄的说道：“想不到啊想不到……平素里，我居然也会产生如此严重的知见障……真是，一刻也放松不得……”
王崎如此说道。
怎么说呢……
地球的数学史上，形式主义与直觉主义的战争，确实是打得惨。
但是，打完之后的故事，就不是那么脍炙人口了。
往后一段，数学史大书特书的就是布尔巴基学派，就是掌握了数学半壁江山的教皇格罗滕迪克，就是朗兰茨纲领。
至于形式主义和直觉主义……准确来说是新形式主义和直觉主义，倒是也是有人在搞。
但终归是边缘了，在历史上也就不那么耀眼了。
嗯，怎么形容呢……
历史系研究清代史的，总比研究南明史的要多一些不是？
明朝在如何“天子守国门，君王死社稷”，南明也只是一条丢了祖上基业的咸鱼，连逐鹿的资格都没有。
史爱好者看到崇祯这儿，也就算了，有多少人还会专门研究南明这条咸鱼呢？
大概就是这样了。
说实话，直觉主义和形式主义的徒子徒孙，在后续也不是没有成就的。
比如后面的递归论，可以算是典型的“离宗成就”了。
但无论是离宗特征明显的递归论，还是连宗特征明显的类型论，它们都有一个共同的特点——那就是属于计算机科学的一部分。
或者说，干脆就是依附于计算机科学而活的。
换言之，都是计算机科学麾下的打工仔。
这也确实称得上是凄凄惨惨戚戚了。
在亨利·庞加莱晚年的时候，初出现的直觉主义，就好像西周王朝一样，乃是天下共主。
而大卫·希尔伯特时代的直觉主义，就好像是东周王朝一样，空有一个“正统”名号，却没人在乎它了。
——如果考虑到形式主义、直觉主义和逻辑主义三方混战的场面，或许用“蜀汉”和“东汉”来比喻更为合适？
而到了更后面，直觉主义就越发弱势了，几乎就是个弟弟。这就好比是战国时代的周王室后裔，说出去吧，也算是个身份。
但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫六合，虎视何雄哉”了，谁还在乎你区区“周王室后裔”来着？
到了那个时候，形式主义和直觉主义，也就只能搞搞应用了。
“数学根基”这种涉及九鼎的正统之争，他们掺和不了。
这也是王崎从歌庭派抽身而退的原因。歌庭派传承有序，就算当初何外尔真的愿意给他一定的权限，他也没法扭转歌庭派那种风气，来复刻布尔巴基学派的成就的。
就算算主不再，何外尔，艾若澈，都是相当强大的算学家。
他没法一下子就建立起自己的影响力来。
但是，不管怎么说，布尔巴基学派，按照这个世界的分法，都算是离宗学派了。
他是断然没想到，“类型论”这个典型的连宗成就，会诞生在一个基派成员手里。
尤其是这个成员还是他老婆。
“世界观都要受到挑战了啊……”王崎捂住自己的脑袋：“妈耶，妈耶……”
赵清潭也是僵住了：“这怎么可能……”
“是啊……这怎么可能？”
什么？奥特曼是终身制的？ 巫妖生存指南 巨树领主 谭笑风声里，灼灼桃之夭 运河之韵 穿进语文书，从刺猹开始 敛财心 网游航海之王 先婚后爱：娇妻拒婚101次 我的修真小米三 大明：开局剧透崇祯，重振河山 月薪十万，女总裁她果然不只是让我当司机 盛世花都 道化九界 灵异直播，女主她不想吓人 万苍天穹 建立帝国从骑士次子开始 西游：六岁熊孩子，开局怒怼观世音 舌尖天下 我，地球唯一超能力者
你为救我赴死，我许你一生一世
为了帮三皇子争储，林谨豪伙同穆云歌的堂妹，在成亲当天，来了一招偷天换日。目的达成，他不再装深情，狞笑着挥鞭执剑。我从头到尾想娶的，只有雪儿一人。要不是当初我表哥势弱，需要你将军府手里的兵权造势，我会再三求娶你？穆云歌被虐杀弥留之际，他来了。不怕，黄泉路上，有我陪着你！他陪着她，死在了她成亲当天，死在了歹...
病美人师尊不想洗白
本书简介码字不易，感谢支持正版！封面为君寻人设，大图战损图指路wb漠霜，我寻哥绝美tvt君寻又穿越了，这次是扮演主角的恶毒反派师尊。这位师尊看着病病歪歪，却有力气对主角处处贬低虐待，硬生生将人逼至黑化，最后反被主角囚禁折磨，魂飞魄散而亡。而系统告诉君寻，他这次的任务是洗白恶毒师尊，救赎主角成神。专注搞事任务从未成功过的君反派专业户寻，直接撕掉了剧本为什么要帮别人，自己做神明不香吗？成神血赚，玩死不亏）于是，修界凭空冒出个特立独行的狂傲美人。今日单挑魔尊，抢了人家视若珍宝的佩刀明日调戏圣人，掀了对方从不离身的面具后日后日他拽着徒弟跳了无人生还的魔渊，两人还全须全尾地回来了！世人惊愕之余，心动不已，以为这妖孽必定人人喊打，然而魔尊懂什么？此乃吾与仙君定情之物。圣人世间万物，不及仙君一眼。除此之外，仙门天骄正道宗师反派boss也一个个拥上前来，当众向他剖白心意。而那位本该被他虐待的主角，却在狂蜂浪蝶追上门时，将他堵在了角落。他俯身轻吻君寻薄情的唇角，低语道师尊，玩够了吗？当事人君寻老子是个反派啊，你们有什么毛病？？？不约，告辞，莫挨我）容华每每见到自己那位便宜师尊，都在暗自盘算如何欺师灭祖，让他得到应有的报应。可有一日起，他发现师尊变了。不再刁难他，甚至不再在意他。烈烈红衣张扬肆意，活像个勾人心魄的妖精，一人一剑便将修界搅了个天翻地覆。世间万物落在那双眼中，仿佛都只是随时可以丢弃的玩物。容华糟糕，有点心动。他发现自己还是想欺师，只不过是那种心里烈焰焚原的欺师想与那人抵死缠绵的大逆不道。归来吧，我的神明。排雷指南1我流仙侠，私设如山，攻受相爱相杀，1v1，he2受是疯批，桀骜不驯恃美行凶，前期标准反派boss思想，转变需要时间3」∠3作者颜狗，主角都是美人。幼儿园逻辑，写来爽爽同类型下一本求预收笑面虎黑莲花疯批受x前期阴暗偏执后期腹黑深情攻疯批配对，相爱相杀，天作之合万人嫌替身不干了温雪夜穿书了，成了一名工具人替身。为了回家，他兢兢业业走剧情，受尽渣攻折辱，世人唾弃，最终被收为弟子的主角一剑穿心，打入十方魔狱。可就在温雪夜躺平等死，准备脱离世界时系统恭喜完成所有任务，请您接收特别奖励永生不灭温雪夜？你敢再说一遍？？？系统耍诈，温雪夜不干了。他拖着病骨残躯拼死爬出魔狱，又手刃反派夺其命格，在等待剧情杀的同时，奔波于玩死自己脱离世界的路上。结果一不小心就成了修界传说。路人甲天魔出世，无人能敌，殊华圣君只身迎战，一剑惊天！温雪夜？我只想回家。路人乙归墟将倾，修界覆灭在即，殊华圣君舍生取义，力挽狂澜！温雪夜？？我只想脱离世界。路人丙妖龙祸世，天道倾颓，殊华圣君以身饲龙，可歌可泣！温雪夜？？？我只想你从我身上滚下去！墨逐圣君，昨夜在榻上，您可不是这么说的。（笑）温雪夜求死不得，却发现这个世界变了。当众断绝关系的主角将他弃如敝履的渣攻甚至对他避之不及的仙妖魔族，一个个找上门来，执念深重追悔莫及。他们跪在温雪夜面前，求他原谅，盼他垂怜，恨不得将心剖给他看，甚至愿意为他去死。温雪夜冷眼旁观，微笑拔剑。想死？好啊，成全你们）成全你们死远点，别脏了本座回家的路。墨逐生来便被恶意包围，眼中唯有尸山血海。只要清醒，就有个声音不断在脑海循环毁灭世界吧世间万物皆负你，让他们得到应有的下场。直到某日，他眼前闯入一袭白衣。那人救下他，却禁锢他感化他，又利用他表里不一，道貌岸然。墨逐愤恨戒备，想着终有一日要将之手刃，却又在那人旧疾复发时，无法控制地倾身，轻轻舔舐他沾染鲜血的薄唇。怦然心动，妄念横生。病美人师尊不想洗白全文免费阅读由旧笔记小说网提供，如果您喜欢病美人师尊不想洗白漠霜最新章节，请分享给您的好友一起来旧笔记小说网免费阅读。魔蝎小说...
小师妹说还有亿种破坏剧情的方法
关于小师妹说还有亿种破坏剧情的方法姜鸢穿进一个杂糅多种特色的混合修仙小说中。在这里，龙傲天，对照组，万人迷，真假少爷等等，应有尽有。好消息她不在其中的任何一个剧情中。坏消息师门里的其他人在剧情里当牛做马。但是这能难住她？大师兄被未婚妻退婚羞辱，好，上去就是横飞五米远吐血重伤，主打一个讹诈！二师兄为了白月光不仅自己割肉放血，还要对别人掏心掏肺，好，倾情奉献性转丹一枚，让他也感受一下来自白月光深沉的爱！三师兄重生依旧失智，四师兄童子鸡喜提好大儿，五师姐被迫恋爱脑，六师兄被做成寻宝罗盘还有师尊好像也有点人格分裂！嘶姜鸢人都麻了。好好好！背着我你们都玩的这么炸裂是吧？不行，我也要！但是实力好像跟不上大家的步伐啊，可这是事吗？压根不是！谁说凡是都需要用武力解决？她就信奉和平交流，但你要是不想和平的话，在下也略懂一些阵法，灵符什么的。但这就凶残了不是吗？所以还是关门放师兄吧，虽然他们之前都被玩坏了，但是修一修还是很好用的呀！...
都市异能：天命主宰
关于都市异能天命主宰在繁华都市的喧嚣背后，隐藏着异能的神秘力量。平凡青年林尘，在一次意外中觉醒了多种异能，从此命运的齿轮开始飞速转动。他被神秘老者引导，逐渐发掘自身的巨大潜力，却也因此被卷入了异能世界的纷争。神秘组织对他虎视眈眈，而异能家族之间的明争暗斗更是让他深陷漩涡。在叶氏家族，林尘遭遇了内部的权力纷争与阴谋背叛。是在这混乱中迷失自我，还是凭借异能与坚毅的意志冲破黑暗，掌控自己的命运？林尘的每一次抉择都关乎生死，每一场战斗都惊心动魄。在这个充满异能与危险的都市中，他能否成为主宰风云的传奇存在？...
穿越王储：打造最强帝国，鹰酱急哭了
王储神豪科技文化权利争斗。穿越来到蓝星太平洋的一贫瘠海岛上当王储。接手后发现，整个国家已经是达到千疮百孔的地步。为了不让自己的王国太早覆灭，景逸尘只能是努力搞经济，增加百姓的收入。凭借着自己狠辣的决策以及系统的帮助，他很快便让自己国家经济提升。旅游经济的快速发展，使得王国成为天府之国。科技的快速崛起，让王国拥有顶尖的科研水平。军功的高速发达，更是让王国在太平洋上，拥有绝对的话语权。咳咳，我加入联大，谁赞成，谁反对？五常，我看，要不变六常吧！...
开局天道气运，小师妹喝兽奶躺赢
胎穿成刚出生被抱错，被虐待而死的天才？谢星凰开局自救，拜强者为师，打脸重生真千金的七姐，穿越的八姐她悟性惊人，体质强悍，一岁能报仇，三岁能引气入体突破炼气极境，最重要的是，师尊强大，师兄个个护短，还有她的帅气纨绔爹，漂亮温柔娘竟然都在扮猪吃老虎谢星凰输给爹娘？靠师尊，师兄们带飞，那我岂不是很没有面子？...