此前他并不是只等着解决第一问题再解决这个问题。
他也尝试过跳过前面的问题,先研究这个问题。
但是他始终无法实现离散证明空间到连续黎曼流形的平衡延拓。
局部紧致性与局部可缩性的适配问题、无限维空间下内射半径的界定、同伦群与几何结构的耦合关系,成了无法突破的瓶颈。
他始终无法构建起稳定的无限维证明空间几何模型。
好在叶清河与其他人不同,开挂的他每次都会有所收获,并且将其转化为自己的知识体系。
再加上他花大量时间吃透相关内容,因此在解决第一个逻辑根基问题后,再看这个问题时,思路比之前清晰不少。
“只能是从微分几何入手,从最基础的度量空间定义出发,把黎曼流形的构造规则一步步推演出来,然后以不变量理论的核心思想,尝试用梯度流模拟逻辑证明的推演路径,再用测地线界定证明结构的最短关联路径。”
在意识空间里历经上千次的模型崩塌与重构后,叶清河终于找到了正确的路子。
他摒弃传统有限维几何的思维定式,专注于无限维空间下结构的光滑化处理,不断修正离散结构与连续几何的转换逻辑,最终,让他实现了离散逻辑证明空间向无限维黎曼流形的连续化延拓。
The content is not finished, continue reading on the next page