领域，注定是连宗的天下，你信不信？”王崎没头没脑的问了一句。赵清潭打了个哆嗦：“算君真的如此厉害？”“不，只是我一时被震惊了，胡言乱语而已。”王崎扶额。就在刚才，他突然意识到，自己好像产生了什么根本性的错误认知——也就是一重知见障。他刚刚想起来，地球上计算机科学的支柱，是直觉主义……直觉主义……居然是直觉主义啊！怎么说呢……由于这个世界，苍生国手冯落衣一直都在，机老图灵一直都在，算器理论算是蓬勃发展了。他也下意识的就认为，这个领域就是离宗的天下。嗯……这么想，也不是不对吧。毕竟，冯·诺依曼、阿兰·图灵等计算机研究先驱的同位体，在这个世界，确实都是旗帜鲜明的离宗算家。但是，地球计算机理论的后续发展，跟这个世界，完全不是一路。除了诞生得更晚，只能说是“偏向连宗”的逼近论外……计算机科学三大支柱之中的直觉主义、类型论……按照这个世界的分法，全部都是……连宗的算理……没错，虽然形式主义和直觉主义水火不容，而计算机是形式主义数学家鼓捣出来的。但是，后来计算机发展，却是仰仗了亨利·庞加莱的一干徒子徒孙！