← RCHM × Hodge Research Round / RCHM · Methodology v0.1
RCHM replaces the bare operations 'intersection', 'infinite', 'finite' and 'exist' by a typed scheme — interface C, maps f/g, relation R, legality Γ, scope Σ, evolution and witness W — with a free-degree ledger and four 'mother propositions' (the first: effective finiteness can be generated by legal relations among unbounded domains). It is a method statement; no theorem is proved.
This is a full-text translation of the Chinese source, which remains authoritative for its research claims. Translation is not independent mathematical verification and does not upgrade the original evidence level.
Loading…