Operation and Predicativity: Lorenzen’s Approach to Arithmetic

DOI10.1007/978-3-030-65824-3_2zbMath1490.01030OpenAlexW3196169043MaRDI QIDQ5024722

Gerhard Heinzmann

Publication date: 27 January 2022

Published in: Paul Lorenzen -- Mathematician and Logician (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-65824-3_2

zbMATH Keywords

philosophy of mathematics

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Axiomatic versus constructive procedures in mathematics
• Immanent reasoning or equality in action. A plaidoyer for the play level
• Konstruktive Begründung der Mathematik
• Outlines of a formalist philosophy of mathematics
• Logical reflection and formalism
• Ordinal Numbers and Predicative Set Theory
• Konstruktive Analysis und das geometrische Kontinuum
• Systems of predicative analysis
• The formalization of mathematics
• The Functional Role of Structures in Bourbaki

This page was built for publication: Operation and Predicativity: Lorenzen’s Approach to Arithmetic