← ACTM 代數組合超越生成方法論
/
ACTM R04 · 假想反例的結構分類
ACTM 代數組合超越生成方法論
ACTM R04 · 假想反例的結構分類
Neo.K / Aletheia
假想 MID = 2 狀態的結構分類:投影軌道避讓、秩分岔與精確三項冪鏈
假設存在四指數猜想的反例(「MID = 2 狀態」):a、b 與 e^{g(a)}、e^{g(b)}(g ∈ PGL₂(Q))皆超越、trdeg Q(λ, a, b) ≥ 2,且狀態屬於 Type P(b 是 a 的有理 Möbius 像;標準形 λ, tλ, t²λ ∈ L_alg 而 t³λ ∉ L_alg,trdeg 2)或 Type B(1, a, b, ab 在 Q̄ 上線性獨立)。
R04 是對一個假想反例的結構分類,全部以該反例存在為前提。
第 24 節方框中的「2^(π³) 必為超越數」以「2^π 與 2^(π²) 皆為代數」為前提;脫離上下文會像新的無條件結果(經典形式:2^π、2^(π²)、2^(π³) 中至少有一個超越)。R05 之後只追 Type P,再沒有回頭處理 Type B。