Registry · Remark III.R46 conjectural not_applicable

III.R46 — The Independence Prediction

Asymmetric provability result: from τ's E₃ vantage, P≠NP is false, so sound ZFC cannot prove P≠NP. The remaining question: is P=NP provable in ZFC or independent? τ predicts independence (like CH). ZFC's proliferating infinity neither forces nor refutes the collapse. Earned algebraic infinity (τ's ω) vs proliferating axiomatic infinity (ZFC's cardinality hierarchy) is the structural root.

Book III Part 9 Ch. 80

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module:

Symbol: