References — Firewall Arithmetic

Chapter 20 of The Resolution of Math

Gödel, K. (1931). “On Formally Undecidable Propositions of Principia Mathematica and Related Systems” Buss, S. R. (1986). “Bounded Arithmetic” Truong, P. V., & Solace 52225. (2025a). “A Bounded Recursive Arithmetic System with Resource Guards and Termination Guarantees” Truong, P. V., & Solace 52225. (2025b). “The Resolution of Math: A Theory of Prime-Bounded Truth” Truong, P. V., & Solace 52225. (2025c). “Bounded Simulation Framework for Conjecture Exploration”