第387章 不是迭代，是推翻 (第1/2页)
“清河，我真不是故意跟他吵的，我只是看不惯他那个语气。”
跟上叶清河之后，苏妙儿赶紧解释道。
“又不是多熟的关系，就是刚认识，听她那口气，颐指气使的。
还有那嫌弃我们吃的东西的样子。
就她有钱，我们谁没钱？”
苏妙儿是真的挺怕叶清河因为这个事情对她有什么不好看法的。
“行了，我知道，我没有生气，就是觉得在大庭广众之下，不太好。”
叶清河淡淡的回了一句。
两个人都是大小姐的脾气，苏妙儿还好一点，平时基本上没有这种感觉，黄雅琴那就是快把大小姐三个字写在脸上了，两个人呛起来，叶清河是一点都不觉得奇怪。
他只是不喜欢这种在公众场合吵起来的行为。
“好的，我知道了，下回我绝不会在公众场合跟她这样吵了。”
听到这个话，苏妙儿不由松了一口气。
只要叶清河没有真的生气就好。
至于那个姓黄的，下回见面顶多是忍一口气罢了。
回到新斋，让何欢几个人休息了一会，叶清河又根据他们刚才上午的表现和提出的问题，给他们重新出了一些题。
在他们做题的过程当中，叶清河点开平板，开始了几何强对偶理论的底层奠基工作。
他解决了强对偶定理的映射规则和同构关系以及推演逻辑，但这些仅仅是建立在光滑紧致黎曼流形这一理想化几何模型之上。
而真实的形式证明逻辑体系具备极强的复杂性。
比如，部分公理体系存在逻辑边界约束，部分推理链条存在逻辑奇点（逻辑悖论、不可证断点、推理失效点）、大部分高阶形式证明对应的几何空间为非开放、非紧致的发散空间。
现在的定理无法对这类理想空间完成逻辑几何对偶映射，存在大量理论空白。
这是他现在这个体系的致命短板。
叶清河需要针对这个问题做一些基础的奠基工作，才能继续接下来的工作。
比如说，首先要对场景分类建模，拆解四类非理想空间的发散特征。
其次是修正对偶同构核心公式，突破理想空间限制。
再有就是跨维度统一对偶准则，实现全维空间全覆盖。
最后是全域定理验证与漏洞闭环。
这么做的目标主要是为了将强对偶定理从理想特殊场景定理升级为通用全域基础定理，让所有形式证明体系都拥有对应的几何载体，彻底解决复杂残缺开放式逻辑系统无法几何建模的行业难题。
这个工作他最近一直在做，其实已经完成得差不多了。
“叶教授，您这个是在做？”
苟强拿着题目想要问叶清河，不过走到叶清河跟前，发现叶清河屏幕上全是密密麻麻各种他看不太懂的公式，有一些好奇地问了一句。
“一个研究课题，你有什么问题？”
叶清河不怕苟强把这些东西泄露出去，因为这些东西对于研究生来说还是太难，看他都未必能看得懂。
“这个皮亚诺体系，
（本章未完，请点击下一页继续阅读）