手机浏览器扫描二维码访问
第1278章（第2页）
毕竟，冯·诺依曼、阿兰·图灵等计算机研究先驱的同位体，在这个世界，确实都是旗帜鲜明的离宗算家。
但是，地球计算机理论的后续发展，跟这个世界，完全不是一路。
除了诞生得更晚，只能说是“偏向连宗”的逼近论外……
计算机科学三大支柱之中的直觉主义、类型论……
按照这个世界的分法，全部都是……
连宗的算理……
没错，虽然形式主义和直觉主义水火不容，而计算机是形式主义数学家鼓捣出来的。
但是，后来计算机发展，却是仰仗了亨利·庞加莱的一干徒子徒孙！
第九十七章灵气宇宙技术史的风格
王崎失魂落魄的说道：“想不到啊想不到……平素里，我居然也会产生如此严重的知见障……真是，一刻也放松不得……”
王崎如此说道。
怎么说呢……
地球的数学史上，形式主义与直觉主义的战争，确实是打得惨。
但是，打完之后的故事，就不是那么脍炙人口了。
往后一段，数学史大书特书的就是布尔巴基学派，就是掌握了数学半壁江山的教皇格罗滕迪克，就是朗兰茨纲领。
至于形式主义和直觉主义……准确来说是新形式主义和直觉主义，倒是也是有人在搞。
但终归是边缘了，在历史上也就不那么耀眼了。
嗯，怎么形容呢……
历史系研究清代史的，总比研究南明史的要多一些不是？
明朝在如何“天子守国门，君王死社稷”，南明也只是一条丢了祖上基业的咸鱼，连逐鹿的资格都没有。
史爱好者看到崇祯这儿，也就算了，有多少人还会专门研究南明这条咸鱼呢？
大概就是这样了。
说实话，直觉主义和形式主义的徒子徒孙，在后续也不是没有成就的。
比如后面的递归论，可以算是典型的“离宗成就”了。
但无论是离宗特征明显的递归论，还是连宗特征明显的类型论，它们都有一个共同的特点——那就是属于计算机科学的一部分。
或者说，干脆就是依附于计算机科学而活的。
换言之，都是计算机科学麾下的打工仔。
这也确实称得上是凄凄惨惨戚戚了。
在亨利·庞加莱晚年的时候，初出现的直觉主义，就好像西周王朝一样，乃是天下共主。
而大卫·希尔伯特时代的直觉主义，就好像是东周王朝一样，空有一个“正统”名号，却没人在乎它了。
——如果考虑到形式主义、直觉主义和逻辑主义三方混战的场面，或许用“蜀汉”和“东汉”来比喻更为合适？
而到了更后面，直觉主义就越发弱势了，几乎就是个弟弟。这就好比是战国时代的周王室后裔，说出去吧，也算是个身份。
但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫六合，虎视何雄哉”了，谁还在乎你区区“周王室后裔”来着？
穿成大佬假妹妹 就想和你在一起 封先生的宠爱 替嫁给病弱佛修太子后他破戒了姜南枝容司璟全文免费完结版 神道丹帝叶尘苏傲雪全本免费阅读 武裂苍穹秦天青儿百度云 武裂苍穹秦天青儿全集免费阅读 替嫁给病弱佛修太子后他破戒了姜南枝容司璟后续 穿书之末世娇宠 周一见 唐老太的种田生活 九子登云的作品武裂苍穹 人人都爱马文才 替嫁给病弱佛修太子后他破戒了姜南枝容司璟更新 玄学大佬在现代 贵门妾 七零空间小娇女 天才高手 一觉醒来怀了崽 替嫁给病弱佛修太子后他破戒了姜南枝容司璟番外
仙界微信群
仙界微信群简介emspemsp仙界微信群是樱火的经典都市言情类作品，仙界微信群主要讲述了无意中进了一个微信群，里面居然全是天界的人物那叫一个牛逼，和樱火最新鼎力大作，年度必看都市言情。海棠屋（haitangshuwucom）提供仙界微信群最新章节全文免费阅读！。...
那年，同桌少年
两个性格迥异同桌，插科打诨的校园日常。一个阳光开朗，犬系，运动型的痞子一个内冷外热，猫系，嘴欠型的闷子。歪歪腻腻，欢乐搞笑。...
不知道起什么名的科幻小说
一章也许代表一个小故事。一章两千字左右，一章有两个版本。有时可能会有开篇玄幻故事。短篇的也有，本人不想写新的书，大可能只有这一本书，要么一直更新，要么断更，请读者手下手下留情不要举报我的书。这只是作者本人想赚点零花钱。...
民国草根
那年，雪下得极大。邵家死的只剩下一人，一个叫做邵满囤的少年。为了活下去，他敲开了村子里院墙最高的那户人家。初家。当邵满囤迈入那扇涂着红漆的角门时，他从没想过，他推开的不仅仅是一扇能让他活命的门。在那扇门后，有他的新的名字邵年时。有他为之奋斗了一辈子的道路行商。有他敬了一辈子的人物初家老爷。还有他疼爱了一辈子的女人初雪这是一个小长工的民国飘摇路哪怕风吹雨打，我自坚如磐石。如果您喜欢民国草根，别忘记分享给朋友...
幻符
肖柏的父亲肖大牛是个疯疯癫癫的人，总说自己来自另一个世界，时常给肖柏讲那些光怪陆离却又精彩纷呈的奇妙故事又时常哀怨道我为什么就没有主角模板？我为什么就做不成龙傲天？后来父亲去世了，肖柏打算做点什么。他要去试着寻找一下所谓的主角模板，试着成为一名父亲做不成的龙傲天。于是带着父亲给他制订的升级攻略，踏上了一条精彩纷呈的奇妙之旅。如果您喜欢幻符，别忘记分享给朋友...
君少心头宝，夫人哪里跑
君少心头宝，夫人哪里跑简介emspemsp女主是猫妖族小公主从我身上下去。男人的声音透着几分无奈和隐忍。我不。少女摇头，双手死死抱住身下的男人。听话，你这样我没法睡。以前我都是趴你身上睡的。那不一样…你现在是人。京城大当家...