Skip to Main content Skip to Navigation
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 metadatas

https://hal.univ-lorraine.fr/hal-02974068
Contributor : Nicolas Pazzaglia <>
Submitted on : Wednesday, October 21, 2020 - 4:04:10 PM
Last modification on : Saturday, October 24, 2020 - 3:34:21 AM

Identifiers

  • HAL Id : hal-02974068, version 1

Citation

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

Share

Metrics

Record views

9