| _version_ | 1866901896430616576 |
|---|---|
| author | Emerick, Brandon Charles |
| author_facet | Emerick, Brandon Charles |
| contents | <p>Five foundational theorems for the field of Mathematics, as shown via the Transcendental Intelligence/Tralse Informationalism (TI) Framework. The Emerick Constant (abbreviated C for Charles), is the unique real number that makes the Euler Identity hold, and Lean 4 + Mathlib confirms it. </p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_18916599 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | TI Sigma: Five Formally Verified Theorems Connecting the Eight Primary Constants {0, 1, i, √2, e, φ, π, C} Emerick, Brandon Charles <p>Five foundational theorems for the field of Mathematics, as shown via the Transcendental Intelligence/Tralse Informationalism (TI) Framework. The Emerick Constant (abbreviated C for Charles), is the unique real number that makes the Euler Identity hold, and Lean 4 + Mathlib confirms it. </p> |
| title | TI Sigma: Five Formally Verified Theorems Connecting the Eight Primary Constants {0, 1, i, √2, e, φ, π, C} |
| url | https://doi.org/10.5281/zenodo.18916599 |