Registry · Remark III.R43 tau-effective not_applicable

III.R43 — Actual vs Potential Infinity

The Five Forbidden Moves require actual infinity (ZFC's completed ω via Power Set and Replacement). τ has only potential infinity (primorial tower bounded at every level). This structural difference is the root of the P vs NP divergence between τ and ZFC. P≠NP is an artifact of actual infinity.

Book III Part 9 Ch. 79

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module:

Symbol: