The Trinity Triangle Proof Paper
Fuente:
Zenodo
Saved in:
| Main Author: | Needham, Eric |
|---|---|
| Format: | Recurso digital |
| Published: |
Zenodo
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
What is Time? Phi = Time Universal '-Temporal Substrate. A Mathematical Discovery of Fundamental Physics Architecture
by: Needham, Eric
Published: (2025)
by: Needham, Eric
Published: (2025)
Four Fundamental Constants of Nature from a Gated Cubic Recursion with Zero Free Parameters
by: Lima, Eliseu Spiller de Barros
Published: (2026)
by: Lima, Eliseu Spiller de Barros
Published: (2026)
Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\)." — Proved
by: Proof Engine
Published: (2026)
by: Proof Engine
Published: (2026)
Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\). There exists a finite binary tree consisting solely of eml operations, whose 9 leaves are drawn from \(\{1, x, y\}\), such that the tree evaluates exactly to \(x \times y\). The tree has K = 17 tokens (8 eml operations and 9 leaves), and the identity holds for all complex \(x\) and \(y\) (in the algebraic setting where \(\ln \circ \exp\) is the identity)." — Proved
by: Proof Engine
Published: (2026)
by: Proof Engine
Published: (2026)
Mathematics and Computational Sciences
Published: (2024)
Published: (2024)
Forum of Mathematics, Sigma
Published: (2015)
Published: (2015)
Karpatsʹkì Matematičnì Publìkacìï
Published: (2013)
Published: (2013)
Contemporary Mathematics and Applications (ConMathA)
Published: (2024)
Published: (2024)
Vìsnik Dnìpropetrovsʹkogo Unìversitetu: Serìâ Matematika
Published: (2017)
Published: (2017)
Researches in Mathematics
Published: (2019)
Published: (2019)
Infinity Jurnal Matematika dan Aplikasinya
Published: (2021)
Published: (2021)
The Clock Doesn't Close: Euler-Mascheroni as Torus Non-Closure
by: David Jan Lowder, et al.
Published: (2026)
by: David Jan Lowder, et al.
Published: (2026)
Vestnik KRAUNC: Fiziko-Matematičeskie Nauki
Published: (2016)
Published: (2016)
Pascal's Pyramid and the Fibonacci Operator Framework: Complex Extensions, Potential Wells, Spectral Classification, and Rigorous Error Bounds
by: Betzer, David
Published: (2025)
by: Betzer, David
Published: (2025)
Cauchy: Jurnal Matematika Murni dan Aplikasi
Published: (2022)
Published: (2022)
Journal of Mahani Mathematical Research
Published: (2023)
Published: (2023)
Muthanna Journal of Pure Science
Published: (2023)
Published: (2023)
Jurnal Lebesgue
Published: (2022)
Published: (2022)
پژوهشهای ریاضی
Published: (2023)
Published: (2023)
Kubik
Published: (2022)
Published: (2022)
Selecciones Matemáticas
Published: (2018)
Published: (2018)
A Cube Root Approach to Integer Partition Approximation: Consistent Performance Across Practical Ranges
by: Naladiga Venkat, Arvind
Published: (2025)
by: Naladiga Venkat, Arvind
Published: (2025)
Вестник Самарского университета: Естественнонаучная серия
Published: (2025)
Published: (2025)
E-Journal of Analysis and Applied Mathematics
Published: (2025)
Published: (2025)
Electronic Journal of Mathematics
Published: (2022)
Published: (2022)
Educational Exploration of the Prime Number System: The Nueama Calculator
by: Needham, Eric
Published: (2025)
by: Needham, Eric
Published: (2025)
Dark Energy from Catalan's Constant within the NSk/ψ Program (archival conceptual version)
by: Nowak, Paweł
Published: (2025)
by: Nowak, Paweł
Published: (2025)
Transactions of the London Mathematical Society
Published: (2017)
Published: (2017)
Rad Hrvatske Akademije Znanosti i Umjetnosti. Matematičke Znanosti
Published: (2024)
Published: (2024)
Jurnal Matematika Integratif
Published: (2018)
Published: (2018)
Altay Conference Proceedings in Mathematics
Published: (2026)
Published: (2026)
Rational Harmonic Arithmetic: The First Universal Rational Framework for Constants, Sequences, and Geometry across All Bases
by: Hassanine, Sam
Published: (2025)
by: Hassanine, Sam
Published: (2025)
Knowledge of mathematics teachers in initial training regarding mathematical proofs: Logic-mathematical aspects in the evaluation of arguments
by: Christian Alfaro-Carvajal
Published: (2022)
by: Christian Alfaro-Carvajal
Published: (2022)
AUT Journal of Mathematics and Computing
Published: (2024)
Published: (2024)
Pan-American Journal of Mathematics
Published: (2023)
Published: (2023)
Journal of Hyperstructures
Published: (2025)
Published: (2025)
Similar Items
-
What is Time? Phi = Time Universal '-Temporal Substrate. A Mathematical Discovery of Fundamental Physics Architecture
by: Needham, Eric
Published: (2025) -
Four Fundamental Constants of Nature from a Gated Cubic Recursion with Zero Free Parameters
by: Lima, Eliseu Spiller de Barros
Published: (2026) -
Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\)." — Proved
by: Proof Engine
Published: (2026) -
Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\). There exists a finite binary tree consisting solely of eml operations, whose 9 leaves are drawn from \(\{1, x, y\}\), such that the tree evaluates exactly to \(x \times y\). The tree has K = 17 tokens (8 eml operations and 9 leaves), and the identity holds for all complex \(x\) and \(y\) (in the algebraic setting where \(\ln \circ \exp\) is the identity)." — Proved
by: Proof Engine
Published: (2026) -
Mathematics and Computational Sciences
Published: (2024)