第387章 不是迭代，是推翻 (第1/3页)

    “清河，我真不是故意跟他吵的，我只是看不惯他那个语气。”

    跟上叶清河之后，苏妙儿赶紧解释道。

    “又不是多熟的关系，就是刚认识，听她那口气，颐指气使的。

    还有那嫌弃我们吃的东西的样子。

    就她有钱，我们谁没钱？”

    苏妙儿是真的挺怕叶清河因为这个事情对她有什么不好看法的。

    “行了，我知道，我没有生气，就是觉得在大庭广众之下，不太好。”

    叶清河淡淡的回了一句。

    两个人都是大小姐的脾气，苏妙儿还好一点，平时基本上没有这种感觉，黄雅琴那就是快把大小姐三个字写在脸上了，两个人呛起来，叶清河是一点都不觉得奇怪。

    他只是不喜欢这种在公众场合吵起来的行为。

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

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

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

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

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

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

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

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

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

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

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

    叶清河需要针对这个问题做一些基础的奠基工作，才能继续接下来的工作。

    

    （本章未完，请点击下一页继续阅读）