Finite Ring Cosmology
Theoretical framework for reinterpretation of Mathematics, Physics and Cosmology over a finite holographic substrate whose cardinality is fixed by the de Sitter entropy. One succession of arguments from first principles to finite arithmetic, open problems of mathematics, and the physics of the Standard Model. Every claim tagged, sourced, formalised and, where it admits a finite check, machine-verified.
The papers, preprints and essays of the corpus, each linked to its predicate ledger and validation package where these exist.
| Key | Title | Status |    |
|---|
Nothing matches that filter.
Reading the status column
- Published
- Accepted and out at the named journal.
- Preprint
- Posted with a DOI.
- Essay
- Public writing, not a manuscript.
Reading the package column
The four glyphs in the header name the four columns; a paper on the schema shows its counts under them.
- checks
- The number of the paper's predicates the validation package checks — gold when every check passes, red when one fails; opens the notebook on Google Colab, one cell per predicate. The title of such a paper opens its predicate ledger.
- proofs
- The number of predicates proved in Lean; opens the paper's core module (no Mathlib, no axioms) as one executable file in Lean Live. Two counts where the paper has both libraries: green the predicates proved in the core (no axioms), violet those proved on Mathlib (classical), each opening its module's executable file; the two may overlap.
- ledger
- The paper's predicate ledger: every claim tagged, sourced and, where it admits a finite check, witnessed by a script.
- notebook
- The validation notebook, opened directly on Google Colab: the paper's scripts run in the browser, the ledger predicates they witness named.
- lab
- An interactive rendering of the paper's construction.