Releases: elamaunt/Euclids-path
Release list
The Perpetual Engine of Euclid: A Machine-Verified Reading of the Great Conjectures through a Single Axiom - arXiv candidate 3 The Perpetual Engine of Euclid: A Machine-Verified Reading of the Great Conjectures through a Single Axiom - arXiv candidate 4
EPMI the fourth ArXiv candidate version.
New front — the well-foundedness canon: the perpetual-engine prohibition reaches Hydra, the ω-worm (first transfinite ordinal rank), Markov descent, and the Poincaré reversibility line — all green.
Sharper dividing line: why the ℝ-side can't be pressed for arithmetic (strictAnti_meets_nat_finitely, twinCenters_accumulate_at_zero_iff_infinite — an honest relabelling, not progress on twins).
Geometry + honest physics verdicts: the twin ± flip is orthogonal to proper time; generalized Gauss–Bonnet (Σκ = χ); Λ and quantum mechanics provably not derivable (fenced); the "not Gödelian" line sharpened to well-foundedness, not self-reference.
The Perpetual Engine of Euclid: A Machine-Verified Reading of the Great Conjectures through a Single Axiom - arXiv candidate 3
EPMI the third ArXiv candidate version.
Updated prose, added one more image, Navier–Stokes has been extended.
The Perpetual Engine of Euclid: A Machine-Verified Reading of the Great Conjectures through a Single Axiom - arXiv candidate 2
EPMI the second ArXiv candidate version (prose finalization).
The Perpetual Engine of Euclid: A Machine-Verified Reading of the Great Conjectures through a Single Axiom - arXiv candidate 1
EPMI the first ArXiv candidate version (prose finalization).
The Perpetual Engine of Euclid: A Machine-Verified Reading of the Great Conjectures through a Single Axiom
EPMI First version ready for publishing!