Introductory Essay
- The End of Final Theories: How Fixed Laws Produce Inexhaustible Explanation — an accessible introduction to Novelty Theory and the self-transcending generators result
C. Novelty Theory
Novelty Theory is a separate research program — independent of Reflexive Reality — that investigates a different kind of structural constraint: the impossibility of final explanatory closure under fixed deterministic laws.
The central result (Self-Transcending Generators: Fixed Causal Laws Without Final Explanatory Closure) proves, in a machine-checked sense, that there exist finitely specified lawful generators whose infinite phase tower lies in one causal trace, yet fixed admissible explanatory closure for the full tower is impossible within the relevant reducer class. At the crown, upward explanatory necessity holds — later regimes become required for structural truths about the generator itself. This is not Gödelian incompleteness, not computational irreducibility, and not Kuhnian history: it is explanatory anti-closure under exact generation. The companion Lean 4 library (novelty-theory-lean) machine-checks the core results with zero sorry.
Self-Transcending Generators: Fixed Causal Laws Without Final Explanatory Closure
Proves explanatory anti-closure: fixed lawful generators whose phase tower cannot be covered by any fixed admissible reducer.
Lean archive: Zenodo — novelty-theory-lean · GitHub
↑ Back to top