Ontodynamics — Formal axiomatic system (Lean 4, 621 theorems, 0 sorry) with cross-domain empirical programme. Two axioms → operational closure, compositional gradient, subjectivity, normativity.
-
Updated
Apr 20, 2026 - Lean
Ontodynamics — Formal axiomatic system (Lean 4, 621 theorems, 0 sorry) with cross-domain empirical programme. Two axioms → operational closure, compositional gradient, subjectivity, normativity.
FDE Reality Check: detect AI deployment pseudo-closure before demos fail in real operations.
Add a description, image, and links to the operational-closure topic page so that developers can more easily learn about it.
To associate your repository with the operational-closure topic, visit your repo's landing page and select "manage topics."