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