手机浏览器扫描二维码访问
王崎失魂落魄的道:“想不到啊想不到……平素里,我居然也会产生如此严重的知见障……真是,一刻也放松不得……”
王崎如此道。
怎么呢……
地球的数学史上,形式主义与直觉主义的战争,确实是打得惨。
但是,打完之后的故事,就不是那么脍炙人口了。
往后一段,数学史大书特书的就是布尔巴基学派,就是掌握了数学半壁江山的教皇格罗滕迪克,就是朗兰茨纲领。
至于形式主义和直觉主义……准确来是新形式主义和直觉主义,倒是也是有人在搞。
但终归是边缘了,在历史上也就不那么耀眼了。
嗯,怎么形容呢……
历史系研究清代史的,总比研究南明史的要多一些不是?
明朝在如何“子守国门,君王死社稷”,南明也只是一条丢了祖上基业的咸鱼,连逐鹿的资格都没樱
史爱好者看到崇祯这儿,也就算了,有多少人还会专门研究南明这条咸鱼呢?
大概就是这样了。
实话,直觉主义和形式主义的徒子徒孙,在后续也不是没有成就的。
比如后面的递归论,可以算是典型的“离宗成就”了。
但无论是离宗特征明显的递归论,还是连宗特征明显的类型论,它们都有一个共同的特点——那就是属于计算机科学的一部分。
或者,干脆就是依附于计算机科学而活的。
换言之,都是计算机科学麾下的打工祝
这也确实称得上是凄凄惨惨戚戚了。
在亨利·庞加莱晚年的时候,初出现的直觉主义,就好像西周王朝一样,乃是下共主。
而大卫·希尔伯特时代的直觉主义,就好像是东周王朝一样,空有一个“正统”名号,却没人在乎它了。
——如果考虑到形式主义、直觉主义和逻辑主义三方混战的场面,或许用“蜀汉”和“东汉”来比喻更为合适?
而到了更后面,直觉主义就越发弱势了,几乎就是个弟弟。这就好比是战国时代的周王室后裔,出去吧,也算是个身份。
但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫六合,虎视何雄哉”了,谁还在乎你区区“周王室后裔”来着?
到了那个时候,形式主义和直觉主义,也就只能搞搞应用了。
“数学根基”这种涉及九鼎的正统之争,他们掺和不了。
这也是王崎从歌庭派抽身而湍原因。歌庭派传承有序,就算当初何外尔真的愿意给他一定的权限,他也没法扭转歌庭派那种风气,来复刻布尔巴基学派的成就的。
就算算主不再,何外尔,艾若澈,都是相当强大的算学家。
他没法一下子就建立起自己的影响力来。
但是,不管怎么,布尔巴基学派,按照这个世界的分法,都算是离宗学派了。
他是断然没想到,“类型论”这个典型的连宗成就,会诞生在一个基派成员手里。
尤其是这个成员还是他老婆。
“世界观都要受到挑战了啊……”王崎捂住自己的脑袋:“妈耶,妈耶……”
赵清潭也是僵住了:“这怎么可能……”
“是啊……这怎么可能?”
替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 武裂苍穹秦天青儿全集免费阅读 天才高手 一觉醒来怀了崽 穿书之末世娇宠 唐老太的种田生活 九子登云的作品武裂苍穹 玄学大佬在现代 人人都爱马文才 封先生的宠爱 神道丹帝叶尘苏傲雪全本免费阅读 七零空间小娇女 武裂苍穹秦天青儿百度云 周一见 就想和你在一起 贵门妾 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 穿成大佬假妹妹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版
三年前的这一天,潜伏在黑暗中的魔鬼摩拳擦掌,终于忍不住探出一只手,将虞星念拽入无尽的黑暗。妹妹陷害,母亲离世,家族亲手把她送进离城监狱。裴凉城。未婚夫是吧,你越是渴望的东西,我就越是要摧毁。虞依依,我也要让你感受到,什么叫绝望。如果您喜欢金主大人,请矜持,别忘记分享给朋友...
没错,这不是一个人的故事。而是转生成为一只不太正经的哥斯拉的故事!作为BUG般的存在,什么原子吐息啦,AIM立场啦,统统都是小意思。如果一只哥斯拉还会影分身橡皮枪乱打等技能,是不是很马叉虫?那么哥斯拉能够做些什么?乱入!哥斯拉应该做的事情有什么?乱入!哥斯拉如何完成最终的目的呢?还是乱入!羽戊良成了哥斯拉,然后在各个世界穿梭乱入。为什么这么嚣张?因为我是哥斯拉啊!如果您喜欢我是哥斯拉之无限乱入,别忘记分享给朋友...
重生嫡女覆手荣华简介emspemsp关于重生嫡女覆手荣华莫欢至死才得知,她所谓的亲人都是假的,她的人生都被换给了另外一个人。剜目之痛远不及真相之痛。重来一世,她决计要夺回属于自己的一切,让害她的人双倍体验给她的痛苦。只是,莫欢一不小心被个疯批捉住了小尾巴,还将自己做的事丢锅给她,甚至让她一次次给他擦屁股。穆洐你若不给我善后,我被抓包便供出主谋是你。莫欢???穆洐我手里有很多你的把柄,你要不要考虑一下贿赂我?...
一个卑微懦弱的乡村80后,在现实的裹挟下身不由己茫然前行,有眼泪有欣慰,有残酷也有温情。本书分为三大部分前部为乡村童年,中部为初中至大学,后部为职场争斗,从6岁到36岁,讲述了30年间,在这个风云变幻日新月异的时代间隙里,一个受过高等教育却大学白读的普通大众,在经受了无数好与恶坏与善的冲击下,不断刷新对人...
穿越到大唐武媚娘封后之初,王正也分到了一个皇家农庄经营。可这地方除了芦苇,好像不长庄稼啊。不过作为穿越者,这点问题它就不是问题。咱们就算没有大本事,可见识多啊,只要有地有人还怕挣不到钱吗?芦苇也可以做草纸嘛。且看王正如何从一个农庄管事经营到大唐掌舵人。已经收到签约短信,请放心投资,最少五节点保证,谢谢各位!如果您喜欢从经营皇家农庄开始,别忘记分享给朋友...
母女二人因半夜吐槽穿越到古代,身怀系统,空间。开局成寡妇,带娃,种地,逃荒。最后发家致富。无cp,内容半真半假...