Published July 23, 2026 | Version v1.0

[Depreciated and replaced by V3] After Turing: The Fold Machine

Authors/Creators

  • 1. Ernos Labs

Description

[Depreciated and replaced by V3] This pre-V3 paper is replaced by the corresponding V3 clean-room reconstruction: After Turing: The Fold Machine - An Exact, Parameter-Free and Machine-Closed Derivation of Classical Computational Science from Smithian Fold Theory; The Quantum Fold Machine - An Exact, Parameter-Free and Machine-Closed Derivation of Reversible and Quantum Computation from Smithian Fold Theory. The V3 source platform is https://github.com/MettaMazza/ernos-labs-sft-platform. The original DOI, concept DOI, version number and files are preserved for transparent historical provenance; this record must not be presented or cited as current V3 work.

Classical and quantum computation are derived here from one exact finite relation rather than installed as separate machine and physical formalisms. Smithian Fold Theory begins with one machine-checked self-proven theorem - there is no nothing - which forces the One, the exact positive-rational domain and the Fold. From the Fold's two-position fibre, the paper generates state, transition, observation, symbols, information, languages, automata, recursion, universality, computability boundaries, complexity, algorithms, semantics, distributed computation, security, learning, scientific computation, reversibility and quantum computation.

The declared fundamental-computation census contains 164 obligations: 163 are internally closed and the foundational Fold-uniqueness statement is correctly conditional on its mechanically generated 84-form composition grammar through size three. Steps 325-407 execute 83 suites and 691 focused checks. The complete synchronized corpus executes 409 suites and 2,693 checks with zero failures; all 409 readable sources regenerate their C certificates byte-identically.

Four depth-independent native results close the formerly named internal frontier: BB_F(k)=k for every positive finite Fold description depth; P_F=NP_F inside the admitted Fold evaluator/proof grammar; exact depth, width, and size lower bounds for every circuit assembled from lawful Fold edges; and the unique minimum fault width 2t+1 for every positive finite fault order. The paper proves each result constructively, supplies adverse controls, and states the exact boundary separating it from conventional Turing-machine, external complexity-class, arbitrary gate-basis, and stochastic hardware claims.

A standalone Fold Computational Laboratory consumes the corpus as immutable authority. Its native tape uses the empty One as blank and the two forced fibre labels as symbols. A proof kernel constrains every transition and a bounded autonomous constructor cannot alter its law or escape its declared resources. The same machine supplies a reversible/quantum mode through complete word support, period-two phase, predecessor interference, joint-word entanglement, record-based measurement, branchwise gates and the general repetition law. Twelve closed-law demonstrations and eight exact finite investigations pass 25 end-to-end tests, 20 unfavorable controls and an independently compiled 34-check C certificate.

The title honors Turing, Church, Goedel, Shannon, von Neumann, Landauer, Bennett, Feynman and Deutsch. Their work supplies the historical correspondence boundary; it does not select the SFT derivations. Scientific author and publication authority: Maria Smith, Ernos Labs. Open source: Smithian Fold Theory of Everything.

Notes

Subtitle: An Exact Smithian Derivation of Classical and Quantum Computation, in Correspondence with Turing, Church, Gödel, Shannon, von Neumann, Landauer, Bennett, Feynman, and Deutsch.

New standalone article. The finished PDF is the primary preview; Markdown source, computation census, evidence manifest and standalone proof-laboratory archive follow. OpenAI Codex provided implementation assistance, corpus reconciliation, test execution and editorial assembly under Maria Smith's direction; it is not the scientific author or publication authority.

Files

After_Turing_Fold_Machine_Evidence_v1.zip

Files (7.5 MB)

Name Size Download all
md5:e9537fabfef29a2da2599a67a5696994
7.1 MB Preview Download
md5:9107e05cc70465f8034e7a5d79cee068
22.7 kB Preview Download
md5:0245959e94c4fd0e01004287d87f6926
3.7 kB Preview Download
md5:c5c64d9f6b251c53343feb5dba54df10
99.2 kB Preview Download
md5:2a7613b51ef9dda2e50d6e8f62b99f8e
192.4 kB Preview Download
md5:e6a27ba4f2a97230c2e34e0f2130280c
1.2 kB Download
md5:a93d5f143e7a2732c55e2fb9ee3c770e
42.1 kB Preview Download
md5:3b866232d3991cec968d7481d5bd4954
1.3 kB Preview Download
md5:4c201b7f831e64839d3090432483543b
1.8 kB Preview Download
md5:fc2b8b9139814e2f96bd80525502c710
8.4 kB Preview Download

Additional details

References

  • Smith, M. The Smithian Fold Theory of Everything. Zenodo. doi:10.5281/zenodo.21182468.
  • Smith, M. There Is No Nothing: The Self-Proven Foundation of Smithian Fold Theory. Zenodo. doi:10.5281/zenodo.21035460.
  • Smith, M. No Dice: Deterministic Interference, Exact Branch Counts, and Quantum Measurement from the Fold. Zenodo. doi:10.5281/zenodo.21028523.
  • Smith, M. Entanglement Without Spookiness: Shared Origin, Product Structure, and Correlation Without a Travelling Signal. Zenodo. doi:10.5281/zenodo.21028645.
  • Turing, A. M. (1937). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society 42, 230-265. doi:10.1112/plms/s2-42.1.230.
  • Church, A. (1936). An Unsolvable Problem of Elementary Number Theory. American Journal of Mathematics 58(2), 345-363. doi:10.2307/2371045.
  • Gödel, K. (1931). Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatshefte für Mathematik und Physik 38, 173-198. doi:10.1007/BF01700692.
  • Shannon, C. E. (1948). A Mathematical Theory of Communication. Bell System Technical Journal 27, 379-423 and 623-656.
  • von Neumann, J. (1945). First Draft of a Report on the EDVAC. Moore School of Electrical Engineering, University of Pennsylvania.
  • von Neumann, J. (1966). Theory of Self-Reproducing Automata. A. W. Burks, ed. University of Illinois Press.
  • Landauer, R. (1961). Irreversibility and Heat Generation in the Computing Process. IBM Journal of Research and Development 5(3), 183-191. doi:10.1147/rd.53.0183.
  • Bennett, C. H. (1973). Logical Reversibility of Computation. IBM Journal of Research and Development 17(6), 525-532. doi:10.1147/rd.176.0525.
  • Feynman, R. P. (1982). Simulating Physics with Computers. International Journal of Theoretical Physics 21, 467-488. doi:10.1007/BF02650179.
  • Deutsch, D. (1985). Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer. Proceedings of the Royal Society A 400, 97-117. doi:10.1098/rspa.1985.0070.