这些都是他这段时间快速用过目不忘技能记下来的，在意识空间中他将其具象化成了书籍。

        泛黄的是那些古籍，崭新的是最新刊印的前沿论文。

        别看他已经站在P＝NP的学术巅峰，但是对于逻辑－几何强对偶这一数学地基级难题，还是需要大量的时间。

        这道题没有技巧性解法，想要解开，只有打通数理逻辑、微分几何、范畴论三大领域的底层壁垒。

        需要的是探寻数学本质的同源性，稍有一点点偏差，就会满盘皆输。

        叶清河解这个问题的第一步，是重构数理逻辑证明论的底层根基。

        这是整个难题的逻辑起点。

        也是第一道难以逾越的天堑。

        他从零啃透一阶逻辑体系，深入钻研同伦类型论的核心内核，想要厘清形式证明的本质结构。

        事实上，很多前人的研究对他还是造成了一些干扰的。

  The content is not finished, continue reading on the next page