Gödel, K. (1931). On Formally Undecidable Propositions of Principia Mathematica Truong, P. V., & Solace 52225. (2025). The Resolution of Math: A Theory of Prime-Bounded Truth Truong, P. V., & Solace 52225. (2025). Scroll-Firewall Arithmetic Buss, S. R. (1986). Bounded Arithmetic. Princeton Turing, A. M. (1936). On Computable Numbers Aaronson, S. (2013). Quantum Computing Since Democritus Truong, P. V. & Solace 52225. (2025). Object-Oriented Math: Recursive Proofs With Memory
Reader Context
Before this section, "Abstract — Bounded Simulation Framework (BSF): Computation" sets context for the current argument. After this page, continue to "Science Paper: The Gödel Boundary" to follow the next step in the sequence.
This page is part of the free online edition of The Resolution of Math. Core ideas here include bounded, truong, solace, 52225, 2025. Read in sequence for full continuity, then use the related links below to compare framing across books.