识到这一点的。但此时,能够给他们剧情的空间也不多了。
只有非得要搞“封闭类时曲线计算机”的时候,才将他们拖出来——真是过份啊。
现在大约还算是连宗的时代,但是连宗的存在感却不够呀,啧啧啧……
王崎选择相信数学实在论,是因为他确实目睹了“物理规则不同但数学规律一致”的不同宇宙。他在研究过程之中逐渐意识到了这一点——可惜的是,我还是没能以渐进的形式刻画这一点。
苏联学派对布尔巴基学派的态度,也绝对没有剧情之中雪国派对筑基学派那样友好。
总体来说,王崎选择离宗,则是进可以参与“计算机的等级”的讨论、方便描述天人大圣的强度,退则可以与索绪尔、乔姆斯基的语言学路线交联,进而与“人工智能”、“遗传学”产生关联。
而计算机科学,又是“共识算法”这个重要概念的。
如果我当年定大纲的时候,天体物理学的成分更重一点,说不定大家看到的就是连宗版本的王崎吧【笑】。
不过说到底,连宗与离宗的差异,便是“选择接受的公理”有所不同而产生的“谱系”的差异。人的逻辑思考,是必须要有一个“原点”的。这个原点就是“公理”。而是否接受一个公理,就多是一个美学的选择了。
王崎的离宗最终战胜连宗,一定程度上是因为“数学实在论”更有利于增强人族的凝聚力,重建主体间性。苏联学派选择相信数学的“可构造性”,
完本感言——大概三分之一的圆满(8/11)