第345章 强对偶解决了什么问题(2/3)
觉得这个苏雨柔比较单纯，经过这次这个事情，他发现苏雨柔身上好像藏着很多解释不清的秘密。
按理说，这件事她本该最能帮到自己，可她拿了好处却一点忙也不帮。
这跟她之前口口声声说的喜欢自己，愿意为自己做任何事情完全不符！
“好！”
虽然对于苏雨柔有了各种怀疑，但是这个时候，他却不能得罪苏雨柔。
就像家里说的，苏雨柔虽然不能帮到自己，但是要想坏事，却是一句话的事情。
“太好了，那我订位子了！”
电话另一边的苏雨柔开心地道。
她也察觉出顾晏舟因为她不帮忙后，对她态度的变化，特别是最近几天，连理都不怎么好好理了，于是就想到用音乐会这个办法拉近一下关系。
现在顾晏舟不拒绝，说明这个事情还在可控范围。
要是还不行，那就只能想办法动用一下家里的关系，从苏控股那边弄点内部消息出来了。
想到苏向北，她还是想先在顾晏舟这边试试。
...........................................
房子看完，苏妙儿就去婉妙音乐了，叶清河则是跟桃子还有周婉儿去了新斋。
有了周婉儿，桃子没有再上去，而是坐到了前台位置上。
周婉儿跟着叶清河上到了二楼，找了个沙发就自己坐下看手机了，叶清河则是坐到办公桌前，开始思考自己解决完逻辑－几何强对偶后，给形式证明空间几何带来的核心进度。
首先，是打通两大底层架构壁垒。
原本形式证明系统（句法、推理规则、证明树）和高维空间几何（拓扑、流形、几何不变量、构型空间）是两套孤立体系，无法互相映射、互相推演。
强对偶定理解决后，直接建立形式证明空间与抽象几何空间的同构对偶关系。
每一条形式化推演，每一套公理体系都对应唯一高维几何构型。
每一个空间几何命题，都能等价转化为逻辑可证命题。
第二，解决了形式证明的空间建模空白。
以往形式证明只能靠符号字符串逐层推演，由于没有几何空间载体，复杂几何命题的形式化极易出现步骤爆炸、隐含逻辑漏洞，且无法机械化校验。
现在有了强对偶定理，就可把所有形式证明过程嵌入高维几何空间，用几何连通性、奇点、曲率、同伦不变量，直接判定形式证明的相容性、完备性、有无矛盾、是否可证。
第
本章还未完，请点击下一页继续阅读>>>
