Science Paper: Bounded Arithmetic

Chapter 13 of The Resolution of Math

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.