手机浏览器扫描二维码访问
第1278章（第2页）
毕竟，冯·诺依曼、阿兰·图灵等计算机研究先驱的同位体，在这个世界，确实都是旗帜鲜明的离宗算家。
但是，地球计算机理论的后续发展，跟这个世界，完全不是一路。
除了诞生得更晚，只能说是“偏向连宗”的逼近论外……
计算机科学三大支柱之中的直觉主义、类型论……
按照这个世界的分法，全部都是……
连宗的算理……
没错，虽然形式主义和直觉主义水火不容，而计算机是形式主义数学家鼓捣出来的。
但是，后来计算机发展，却是仰仗了亨利·庞加莱的一干徒子徒孙！
第九十七章灵气宇宙技术史的风格
王崎失魂落魄的说道：“想不到啊想不到……平素里，我居然也会产生如此严重的知见障……真是，一刻也放松不得……”
王崎如此说道。
怎么说呢……
地球的数学史上，形式主义与直觉主义的战争，确实是打得惨。
但是，打完之后的故事，就不是那么脍炙人口了。
往后一段，数学史大书特书的就是布尔巴基学派，就是掌握了数学半壁江山的教皇格罗滕迪克，就是朗兰茨纲领。
至于形式主义和直觉主义……准确来说是新形式主义和直觉主义，倒是也是有人在搞。
但终归是边缘了，在历史上也就不那么耀眼了。
嗯，怎么形容呢……
历史系研究清代史的，总比研究南明史的要多一些不是？
明朝在如何“天子守国门，君王死社稷”，南明也只是一条丢了祖上基业的咸鱼，连逐鹿的资格都没有。
史爱好者看到崇祯这儿，也就算了，有多少人还会专门研究南明这条咸鱼呢？
大概就是这样了。
说实话，直觉主义和形式主义的徒子徒孙，在后续也不是没有成就的。
比如后面的递归论，可以算是典型的“离宗成就”了。
但无论是离宗特征明显的递归论，还是连宗特征明显的类型论，它们都有一个共同的特点——那就是属于计算机科学的一部分。
或者说，干脆就是依附于计算机科学而活的。
换言之，都是计算机科学麾下的打工仔。
这也确实称得上是凄凄惨惨戚戚了。
在亨利·庞加莱晚年的时候，初出现的直觉主义，就好像西周王朝一样，乃是天下共主。
而大卫·希尔伯特时代的直觉主义，就好像是东周王朝一样，空有一个“正统”名号，却没人在乎它了。
——如果考虑到形式主义、直觉主义和逻辑主义三方混战的场面，或许用“蜀汉”和“东汉”来比喻更为合适？
而到了更后面，直觉主义就越发弱势了，几乎就是个弟弟。这就好比是战国时代的周王室后裔，说出去吧，也算是个身份。
但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫六合，虎视何雄哉”了，谁还在乎你区区“周王室后裔”来着？
替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 七零空间小娇女 贵门妾 九子登云的作品武裂苍穹 封先生的宠爱 唐老太的种田生活 穿书之末世娇宠 穿成大佬假妹妹 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 武裂苍穹秦天青儿百度云 天才高手 人人都爱马文才 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外 就想和你在一起 玄学大佬在现代 武裂苍穹秦天青儿全集免费阅读 周一见 一觉醒来怀了崽 神道丹帝叶尘苏傲雪全本免费阅读
都市至强神医
都市至强神医简介emspemsp关于都市至强神医都市至强神医少年为了履行婚约而从深山走出，左手悬壶济世，右手飞针杀人。未婚妻脾气不太好怎么办？那是我宠出来的，我乐意我的兄弟都喜欢搞事情怎么办？再大的烂摊子，我也能一手撑起！尔等且记住，若我入世，天下无双！...
斗破之远方的团扇
斗破之远方的团扇简介emspemsp关于斗破之远方的团扇在人吃人的火影世界战国时代奋斗了二十六年的宇智波痕，最终成为了曾经战友，自己的堂兄宇智波斑万花筒写轮眼的牺牲品。不过当他睁开眼睛后，却发现自己来到了一个有些陌生的世界...
夫君，我才是你最大的金手指
乔苓在生命最后一刻自愿无偿捐献所有器官，功德无量感动上天，获得重生还附赠一个药田空间。然而，辛辛苦苦兢兢业业升级空间之后傻眼了。失传的古医书，不传秘方，针灸之术，这都是些啥。。。专业不对口啊！我不想学医啊！我只想种田啊！乔苓摸着下巴看向身姿笔挺坐在桌前低头写字的少年。公子，我看你骨骼精奇，是万中无一的医学奇才，拯救万民于水火的重任就靠你了，我这有几本医书…少年抬起头，目光沉静，你有病吧。乔苓重重点头，没错！我不仅有病，我还有药！如果您喜欢夫君，我才是你最大的金手指，别忘记分享给朋友...
神级承包商
小包工头秦始皇，意外得到一款超级承包商系统，从此开启不一样的人生。走上人生巅峰，迎娶白富美，已经不是他的终极目标。我，秦始皇，打钱。如果您喜欢神级承包商，别忘记分享给朋友...
贴身神医俏总裁
贴身神医俏总裁简介emspemsp关于贴身神医俏总裁因一场婚约，身怀神奇医术的万正踏入都市，不想各种麻烦立刻接踵而来，为了心中的道义，为了捍卫爱人的安全，为了不被人奴役压迫，他悍然选择了反抗。这一刻，他心中怒吼，我是济世救人的神医，但我照样能杀人！百转千回之后，万正从爷爷那里得知了一个真相，原来爷爷让他来到都市，并不单单只是让他来见见未婚妻那么简单！一个惊天阴谋，从他踏入都市的那一刻，就已悄然展开！...
娘子很剽悍
娘子很剽悍简介emspemsp前世她不甘寂寞违抗父命丢下婚约与那人私奔，本以为可以过上吃饱穿暖的幸福生活那知没两年天下大乱，为了一口吃的她被那人卖给了土匪。重生后为了能待在山窝窝里过这一生，她捋起袖子拳打勾引她男人的情敌，...