“好的，我知道了，下回我绝不会在公众场合跟她这样吵了。”

        听到这个话，苏妙儿不由松了一口气。

        只要叶清河没有真的生气就好。

        至于那个姓黄的，下回见面顶多是忍一口气罢了。

        回到新斋，让何欢几个人休息了一会，叶清河又根据他们刚才上午的表现和提出的问题，给他们重新出了一些题。

        在他们做题的过程当中，叶清河点开平板，开始了几何强对偶理论的底层奠基工作。

        他解决了强对偶定理的映射规则和同构关系以及推演逻辑，但这些仅仅是建立在光滑紧致黎曼流形这一理想化几何模型之上。

        而真实的形式证明逻辑体系具备极强的复杂性。

        比如，部分公理体系存在逻辑边界约束，部分推理链条存在逻辑奇点（逻辑悖论、不可证断点、推理失效点）、大部分高阶形式证明对应的几何空间为非开放、非紧致的发散空间。

        现在的定理无法对这类理想空间完成逻辑几何对偶映射，存在大量理论空白。

        这是他现在这个体系的致命短板。

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