Conceptio
›
Archive
›
PhilArchive
PhilArchive
open access
Between Qed and Truth: The Permanent Axiom Trust Boundary in Machine-Verified Mathematics: A Historical Survey of Seventeen Classical Theorems (1919–1989) Underlying the First Coq-Verified Navier-Stokes Formalisation
Fields, Ryan
PhilArchive · Papers · License: Open Access
Open Source ↗
philosophy
Philosophy
This document is indexed with metadata only — full text is not available in the archive for this record.
Open the official source ↗
Related documents
Johann Christoph Sturm's Opposition to Cartesianism
#248560
Persistent Internal Standpoints in Artificial Systems: Machine Understanding as Standpoint-Organized World Modeling
#248561
Temptation as Structural Drift: A Systems Theory of Sin and Alignment
#248562
Philosophical Pessimism and the Heterogeneity of Suffering
#248563
Etica normativa
#248564
Record
· ID 165182
Retrieved via
Conceptio
— every document is proof-bundled with source, license, and retrieval metadata.