《全身癱瘓,系統讓我每天五公里》第387章 不是迭代,是推翻(1)

作者:文字是毒·1個月前

“清河,我真不是故意跟他吵的,我只是看不慣他那個語氣。”

跟上葉清河之後,蘇妙兒趕緊解釋道。

“又不是多熟的關係,就是剛認識,聽她那口氣,頤指氣使的。

還有那嫌棄我們吃的東西的樣子。

就她有錢,我們誰沒錢?”

蘇妙兒是真的挺怕葉清河因為這個事情對她有什麼不好看法的。

“行了,我知道,我沒有生氣,就是覺得在大庭廣眾之下,不太好。”

葉清河淡淡的回了一句。

兩個人都是大小姐的脾氣,蘇妙兒還好一點,平時基本上沒有這種感覺,黃雅琴那就是快把大小姐三個字寫在臉上了,兩個人嗆起來,葉清河是一點都不覺得奇怪。

他只是不喜歡這種在公眾場合吵起來的行為。

“好的,我知道了,下回我絕不會在公眾場合跟她這樣吵了。”

聽到這個話,蘇妙兒不由鬆了一口氣。

只要葉清河沒有真的生氣就好。

至於那個姓黃的,下回見面頂多是忍一口氣罷了。

回到新齋,讓何歡幾個人休息了一會,葉清河又根據他們剛才上午的表現和提出的問題,給他們重新出了一些題。

在他們做題的過程當中,葉清河點開平板,開始了幾何強對偶理論的底層奠基工作。

他解決了強對偶定理的對映規則和同構關係以及推演邏輯,但這些僅僅是建立在光滑緊緻黎曼流形這一理想化幾何模型之上。

而真實的形式證明邏輯體系具備極強的複雜性。

比如,部分公理體系存在邏輯邊界約束,部分推理鏈條存在邏輯奇點(邏輯悖論、不可證斷點、推理失效點)、大部分高階形式證明對應的幾何空間為非開放、非緊緻的發散空間。

現在的定理無法對這類理想空間完成邏輯幾何對偶對映,存在大量理論空白。

這是他現在這個體系的致命短板。

葉清河需要針對這個問題做一些基礎的奠基工作,才能繼續接下來的工作。

比如說,首先要對場景分類建模,拆解西類非理想空間的發散特徵。

其次是修正對偶同構核心公式,突破理想空間限制。

再有就是跨維度統一對偶準則,實現全維空間全覆蓋。

最後是全域定理驗證與漏洞閉環。

這麼做的目標主要是為了將強對偶定理從理想特殊場景定理升級為通用全域基礎定理,讓所有形式證明體系都擁有對應的幾何載體,徹底解決複雜殘缺開放式邏輯系統無法幾何建模的行業難題。

這個工作他最近一首在做,其實己經完成得差不多了。

”?做在是個這您,授教葉“

。句一了問地奇好些一有,式公的懂太不看他種各麻麻是全上幕螢河清葉現發,前跟河清葉到走過不,河清葉問要想目題著拿強苟

”?題問麼什有你,題課究研個一“

。懂得看能必未都他看,難太是還說來生究研於對西東些這為因,去出洩西東些這把強苟怕不河清葉

猜你喜歡

同題材或同分類的其他作品。