A Bounded Recursive Arithmetic System with Termination Guarantees
Reader Context
Before this section, "References — The Resolution of Math Theory" sets context for the current argument. After this page, continue to "Abstract — Bounded Arithmetic" 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, arithmetic, science, paper, recursive. Read in sequence for full continuity, then use the related links below to compare framing across books.