第345章強對偶解決了什麼問題
第345章強對偶解決了什麼問題(第3/3頁)
局。
第四，建立形式證明空間的不變量體係基礎。
首次能用幾何不變量定義形式證明的複雜度、推理深度，公理依賴度，結束了形式證明隻能靠人工判定嚴謹性的曆史，為整個形式證明空間幾何建立了量化、可刻畫、可統一分析的底層基礎。
不過，這並不代表著葉清河就打通了形式證明空間幾何的路。
他還需要解決相當多的問題才能解決這個問題。
首先，他需要借助這個強對偶公理補全任意維數、帶邊界、含奇點、非緊致場景下的邏輯－幾何強對偶推廣，把目前僅適用於光滑緊致空間的定理，拓展到所有形式證明對應的幾何空間全覆蓋。
也就是完成基礎完備性攻堅。
這還是第一步！