Operation and predicativity: Lorenzen's approach to arithmetic
Abstract
In this article we give an overview of Lorenzen's construction of natural and real numbers from a philosophical point of view. Particular emphasis is given to Lorenzen's classification in the tradition of a predicative approach that stretches from Poincaré to Fefermann.