After Turing: The Fold Machine
Open access0 citations
Abstract
Local publication candidate for After Turing: The Fold Machine, version 1.5.0. Integrates the independent Lean 4 whole-model PASS over 2,777 current claims. An Exact, Parameter-Free and Machine-Closed Derivation of Classical Computational Science 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)