 Solvability complexity index

The solvability complexity index counts nested limiting processes needed to compute a mathematical object from prescribed finite information. Arithmetic towers use finite arithmetic operations and comparisons at each stage.