Skip to Main content Skip to Navigation
New interface
Book section

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.
Complete list of metadata
Contributor : Nicolas Pazzaglia Connect in order to contact the contributor
Submitted on : Wednesday, October 21, 2020 - 4:04:10 PM
Last modification on : Wednesday, November 3, 2021 - 7:08:29 AM


  • HAL Id : hal-02974068, version 1


Gerhard Heinzmann. Operation and predicativity: Lorenzen's approach to arithmetic. Gerhard Heinzmann and Gereon Wolters. Paul Lorenzen – Mathematician and Logician, In press. ⟨hal-02974068⟩



Record views