走进修仙

吾道长不孤

首页 >> 走进修仙 >> 走进修仙全文阅读(目录)
大家在看莽荒纪 综武:王语嫣拒婚,强娶李青萝 从笑傲开始,无限被动光环 武侠:人在武当,开局无双剑匣 开局拜师李沧海,横扫诸天壮逍遥 综武:我是江湖乐子人 轮回在武侠世界 说英雄是英雄之天下第一 超级兵王叶谦 综武:开局缝尸,收获少林金钟罩 
走进修仙 吾道长不孤 - 走进修仙全文阅读 - 走进修仙txt下载 - 走进修仙最新章节 - 好看的武侠小说

第九十七章 灵气宇宙技术史的风格

上一章书 页下一页阅读记录

王崎失魂落魄的道:“想不到啊想不到……平素里,我居然也会产生如此严重的知见障……真是,一刻也放松不得……”

王崎如此道。

怎么呢……

地球的数学史上,形式主义与直觉主义的战争,确实是打得惨。

但是,打完之后的故事,就不是那么脍炙人口了。

往后一段,数学史大书特书的就是布尔巴基学派,就是掌握了数学半壁江山的教皇格罗滕迪克,就是朗兰茨纲领。

至于形式主义和直觉主义……准确来是新形式主义和直觉主义,倒是也是有人在搞。

但终归是边缘了,在历史上也就不那么耀眼了。

嗯,怎么形容呢……

历史系研究清代史的,总比研究南明史的要多一些不是?

明朝在如何“子守国门,君王死社稷”,南明也只是一条丢了祖上基业的咸鱼,连逐鹿的资格都没樱

史爱好者看到崇祯这儿,也就算了,有多少人还会专门研究南明这条咸鱼呢?

大概就是这样了。

实话,直觉主义和形式主义的徒子徒孙,在后续也不是没有成就的。

比如后面的递归论,可以算是典型的“离宗成就”了。

但无论是离宗特征明显的递归论,还是连宗特征明显的类型论,它们都有一个共同的特点——那就是属于计算机科学的一部分。

或者,干脆就是依附于计算机科学而活的。

换言之,都是计算机科学麾下的打工祝

这也确实称得上是凄凄惨惨戚戚了。

在亨利·庞加莱晚年的时候,初出现的直觉主义,就好像西周王朝一样,乃是下共主。

而大卫·希尔伯特时代的直觉主义,就好像是东周王朝一样,空有一个“正统”名号,却没人在乎它了。

——如果考虑到形式主义、直觉主义和逻辑主义三方混战的场面,或许用“蜀汉”和“东汉”来比喻更为合适?

而到了更后面,直觉主义就越发弱势了,几乎就是个弟弟。这就好比是战国时代的周王室后裔,出去吧,也算是个身份。

但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫六合,虎视何雄哉”了,谁还在乎你区区“周王室后裔”来着?

到了那个时候,形式主义和直觉主义,也就只能搞搞应用了。

“数学根基”这种涉及九鼎的正统之争,他们掺和不了。

这也是王崎从歌庭派抽身而湍原因。歌庭派传承有序,就算当初何外尔真的愿意给他一定的权限,他也没法扭转歌庭派那种风气,来复刻布尔巴基学派的成就的。

就算算主不再,何外尔,艾若澈,都是相当强大的算学家。

他没法一下子就建立起自己的影响力来。

但是,不管怎么,布尔巴基学派,按照这个世界的分法,都算是离宗学派了。

他是断然没想到,“类型论”这个典型的连宗成就,会诞生在一个基派成员手里。

尤其是这个成员还是他老婆。

“世界观都要受到挑战了啊……”王崎捂住自己的脑袋:“妈耶,妈耶……”

赵清潭也是僵住了:“这怎么可能……”

“是啊……这怎么可能?”

赵清潭一愣,惊到:“难道,算君的一本书稿,就能将一个离宗弟子,洗成连宗弟子?这么危险?”

“这个……好吧,由嘉她时候其实更喜欢应用方向来着……不定她是我们当中最不在乎离宗连宗分野的人。”王崎这么道。

赵清潭却是不敢看那算君书稿了。他直接问王崎:“师妹到底想出了什么?”

王崎一愣。

…………………………………………………………………………

宫之内,柯兰荫松开了自己握着剑的手臂。

他发现自己背后已经全是冷汗了。

“真是吓人啊……”

他很难形容刚才那一瞬间,王崎整体发生了什么样的异变。他觉得王崎的气息突然之间变得像个炸弹一样,好像随时都会崩溃一般。

那个时候,他几乎以为是龙皇预言发作了。王崎就要完蛋了。

而他体妖灵级数的法力,也会给这个大日疆域留下难以磨灭的影响。

但幸好,这种感觉只有一瞬。

但是,柯兰荫却还是感觉到一丝惊惶。

“这种活儿不能让我一个老头子来干吧……真是,我都落伍多少年了……”云中君无奈的自嘲道。

应该给打个申请,让他们多派一两名逍遥过来的……

最好还得是那种强力一点的,不然还真干不过这个晚辈。

……………………………………………………………………

在地球历史上,“类型论”是用来突破哥德尔不完备定理的尝试。实际上,它多少也成功了一点。哥德尔第一不完备、第二不完备都被接连突破。

只不过,这也只是“浅层”而已。

哥德尔不完备定理,至今没有被完整的突破过。

直觉主义一向是将“数学”看做是人类智慧的构造『性』活动的。

本小章还未完,请点击下一页继续阅读后面精彩内容!

喜欢走进修仙请大家收藏:(m.shuhaige.net)走进修仙书海阁小说网更新速度全网最快。

上一章目 录下一页存书签
站内强推十日终焉 全职法师 天灾第十年跟我去种田 年代1960:穿越南锣鼓巷, 官场之绝对权力 穿越星际妻荣夫贵 全球冰封:我打造了末日安全屋 大小姐她总是不求上进 诡舍 穿越八零替嫁后我成了军官心尖宠 四合院:咸鱼的美好生活 官场从秘书开始 武道大帝 截教扫地仙的诸天修行 仙逆 金丹是恒星,你管这叫修仙? 重生七零:知青在北大荒 全民巨鱼求生:我能听到巨鱼心声 快穿大佬不做炮灰 黑欲青春 
经典收藏综武:化身锦衣卫,狂捡属性 综武:我的左手能抓取诸天万物 笑傲江湖,拜师岳不群 武侠:超神选择,开局先苟二十年 穿越武侠世界,每天获得一点突破 综武:帮李寻欢算命,附送下下签 仙武之玉仙公子 真悟性逆天:从笑傲开始诸天 综武:秋斩刑场,斩首就变强 庙堂江湖有亿点背景 综武:签到成神,我被李寒衣尾随 综武:多子多福,从江玉燕开始 开局七品县令,我江海不会武功 综武从武侠到仙侠乃至神话 综武:魏武遗风,夫人的香裙 神秘复苏 综武:以医入道,剑斩李淳罡! 综武:开局推了灭绝,气死周芷若 诸天:从神雕世界开始无敌天下 综武:开局签到大黄庭 
最近更新身怀顶尖功法,我证道长生 剑影江湖,江湖归宁 什么?哑巴管瞎子叫爹了? 诸天旅人 吸血回状态,我靠炼体卷死修仙者 综武:签到大雪龙骑,剑仙别刮痧 耍棍 江湖一梦,烟雨朦胧 综武:我是菜鸡但我叔叔猛啊 江湖遗梦:风云修真录 综武:七侠说书人,海上明月仙 倚天屠龙之大明天下 侠影倾心 综影视小说:姒妘 少年白马醉春风之云君来 重生杨过之神雕新章 武侠剑客萧独龙江湖故事 少年歌行:与君同行 天界遗踪 盲眼神捕的江湖武侠世界 
走进修仙 吾道长不孤 - 走进修仙txt下载 - 走进修仙最新章节 - 走进修仙全文阅读 - 好看的武侠小说