手机浏览器扫描二维码访问
第1278章（第2页）
毕竟，冯·诺依曼、阿兰·图灵等计算机研究先驱的同位体，在这个世界，确实都是旗帜鲜明的离宗算家。
但是，地球计算机理论的后续发展，跟这个世界，完全不是一路。
除了诞生得更晚，只能说是“偏向连宗”的逼近论外……
计算机科学三大支柱之中的直觉主义、类型论……
按照这个世界的分法，全部都是……
连宗的算理……
没错，虽然形式主义和直觉主义水火不容，而计算机是形式主义数学家鼓捣出来的。
但是，后来计算机发展，却是仰仗了亨利·庞加莱的一干徒子徒孙！
第九十七章灵气宇宙技术史的风格
王崎失魂落魄的说道：“想不到啊想不到……平素里，我居然也会产生如此严重的知见障……真是，一刻也放松不得……”
王崎如此说道。
怎么说呢……
地球的数学史上，形式主义与直觉主义的战争，确实是打得惨。
但是，打完之后的故事，就不是那么脍炙人口了。
往后一段，数学史大书特书的就是布尔巴基学派，就是掌握了数学半壁江山的教皇格罗滕迪克，就是朗兰茨纲领。
至于形式主义和直觉主义……准确来说是新形式主义和直觉主义，倒是也是有人在搞。
但终归是边缘了，在历史上也就不那么耀眼了。
嗯，怎么形容呢……
历史系研究清代史的，总比研究南明史的要多一些不是？
明朝在如何“天子守国门，君王死社稷”，南明也只是一条丢了祖上基业的咸鱼，连逐鹿的资格都没有。
史爱好者看到崇祯这儿，也就算了，有多少人还会专门研究南明这条咸鱼呢？
大概就是这样了。
说实话，直觉主义和形式主义的徒子徒孙，在后续也不是没有成就的。
比如后面的递归论，可以算是典型的“离宗成就”了。
但无论是离宗特征明显的递归论，还是连宗特征明显的类型论，它们都有一个共同的特点——那就是属于计算机科学的一部分。
或者说，干脆就是依附于计算机科学而活的。
换言之，都是计算机科学麾下的打工仔。
这也确实称得上是凄凄惨惨戚戚了。
在亨利·庞加莱晚年的时候，初出现的直觉主义，就好像西周王朝一样，乃是天下共主。
而大卫·希尔伯特时代的直觉主义，就好像是东周王朝一样，空有一个“正统”名号，却没人在乎它了。
——如果考虑到形式主义、直觉主义和逻辑主义三方混战的场面，或许用“蜀汉”和“东汉”来比喻更为合适？
而到了更后面，直觉主义就越发弱势了，几乎就是个弟弟。这就好比是战国时代的周王室后裔，说出去吧，也算是个身份。
但是那边的布尔巴基学派都要奋二世之余烈玩“秦王扫六合，虎视何雄哉”了，谁还在乎你区区“周王室后裔”来着？
捡到病娇太子之后（重生） 赌妃在上，王爷在下 娱乐超级奶爸 烈火燃情：高冷总裁滚远点 一爱到底之顾少毒妻 大明孤狼 神偷长公主 扛着boss拼下限（末世） 时光请善待我的她 我是狠人大帝的同乡 最强除妖师 废材重生：邪王独宠悍王妃 系统之娇宠孕妻 悍妻[医道] 眼镜兄撞上恶魔王子 天黑请开眼 断神 直播和男神同居的日子 天地炼成 穿越之弃子国师
杀倭
关于杀倭陆兵，三栖特种兵军官，意外回到大明嘉靖年间的浙东沿海地区杀倭抗敌，平定内乱，在功成名就之际，却不幸卷入宦海争斗，遭遇灭顶之灾，凭借着冷静的头脑和众多好友相助，时来运转，最终成为锦衣之王...
女王嫁到：老公，太凶了
一不小心绑定了个作死系统，墨抒开始了每天不作死就要死的生活。作为恶毒女配，她首先要让霸道总裁厌恶自己，还要撮合女主跟霸道总裁，必要时候伸出自己的脸让他们疯狂打一打，帮助他们结婚后就可以完美退位。于是墨抒为了活下去，每天都在战战兢兢花式作死，可一不小心居然把男神给作成了老公，每日每夜被他花式宠爱，这特喵是哪里出了错！！非快穿疯狂宠文爽文如果您喜欢女王嫁到老公，太凶了，别忘记分享给朋友...
穿书后我和摄政王HE了
当代神医少女夏云桐还没来得及在现代社会发光发热，就发现自己穿越到了一本权谋古言当中。剧情从太子男主遇害后展开，他一朝落难，魂穿农家子弟蛰伏待机，运筹千里庙堂隐忍克制，周身三尺霜寒步步为营，摄政锦绣江山肃清朝野，重现海晏河清。而夏云桐就穿成了这位太子重生后的未婚妻活不过三章的炮灰工具人。戏份少，结局惨，可欺可辱，是颗地里的小白菜。开局一分钟，咸鱼显本领农家炮灰女，初次显锋芒东南西北一条街，打听打听谁是爹。但是那位权倾天下的摄政王却始终不肯退亲。夏云桐勿cue，美女只想搞事业。如果您喜欢穿书后我和摄政王HE了，别忘记分享给朋友...
贴身兵王俏总裁
作为曾经的王者，夏天感到压力很大。因为他永远不知道那些纨绔恶少为什么总会有事没事挑衅，也不知道那些各色美女为什么哭着喊着喜欢自己。刚刚报得大仇，夏天低调归隐国内，一次莫名其妙的偶然，他成了俏总裁的同居男友。泡美女，斗阔少，打恶霸，踩纨绔，他披着人畜无害的外表，干着惊天动地的勾当。美女们很纠结，当她们决定深度揭开他的...
综艺上，我专戳主角团的肺管子
鱼慕慕穿书了，结果原主是大怨种，一把好牌打得稀烂？无所谓，她会出手！拿下最受欢迎小花奖的时候。主持人采访请问鱼小姐怎么看待自己频频上热搜的事情呢？鱼慕慕乖巧的回答用眼睛看啊，难不成用手看？黑子连她的罪名都数不清楚，娱乐圈活人鱼某叹气摇了摇头差评！吃瓜都没有她速度快，她还有更多的罪名呢。连她的底细都探查不清楚，还想要拉她下马，鱼慕慕连白眼都懒得翻了。对手太蠢，哎，这无敌寂寞的人生啊渣渣们，只能干瞪眼的看着她一路扶摇直上。至于原女主封杀她？开玩笑，她可是新晋最美包租婆呢，自然就是砸钱，砸钱，再砸钱咯。隔壁立志要修身养性，侍奉佛祖的某人，天天听到隔壁阳台传来鱼慕慕魔性的笑声。终于，在某天晚上十点，他坐了起来，破功了不是，大半夜不睡觉，这人是真有病吧！如果您喜欢综艺上，我专戳主角团的肺管子，别忘记分享给朋友...
溺宠农家小贤妻
前世家境富裕，丈夫背着她偷腥，小三找上门将她逼死。一朝穿越，成了打铁匠的媳妇，穷是穷了点儿，相公年纪大了点儿，但却是疼她入心，宠她入骨。十里八乡都拿他们当笑话看，他们却慢慢把日子过成了传奇。她拿出前世服装设计师的本领，誓要在这古代开出第一家服装店，眼看着就要发家致富，走上人生巅峰，结果日夜睡在枕旁，看着少言寡语，老实本分的相公却是腹黑极致的大尾巴狼，待他撕下脸上的易容面具，艾玛，她的相公真是俊得不得了！真实身份更是闪瞎众人眼，竟是开国以来第一位外姓王爷！一朝入了宫，相公初恋更是了紧跟着蹦出来，仗着公主的身份就来跟她抢男人，这是要上演宫斗吗？可惜小女子不奉陪，这男人我得不到，你也别想得到，拐了男人的种，拿走王府的全部家底，逃之夭夭。三年后，她开设的绣衣坊早已家喻户晓，分店遍布全国一百三十六家，此时绣衣坊总店门前，一三岁小娃奶声奶气的对着站在跟前的俊逸男人说道我娘说了，你王府还没有我家有钱，不嫁！...