From Fold to Mathematics
Open access0 citations
Abstract
Local publication candidate for From Fold to Mathematics, version 1.6.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Parameter-Free and Machine-Closed Derivation of Mathematical Foundations from Smithian Fold Theory
// Source
View paper (DOI)Open access versionOpenAlexZenodo (CERN European Organization for Nuclear Research)Published 2026-08-02
Authors: Maria Smith
Institutions: Fano Labs (China)