Operation and predicativity: Lorenzen's approach to arithmetic

DOI10.1007/978-3-030-65824-3_2MaRDI QIDQ5024722zbMATH OpenOpenAlexFDO

Authors Gerhard Heinzmann

Publication date 27 January 2022

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

Copyright license Creative Commons Attribution 4.0 International

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

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

Recommendations

• Paul Lorenzen -- mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8--9, 2018
• Lorenzen Between Gentzen and Schütte
• Developing arithmetic in set theory without infinity: some historical remarks
• Between algebra and Erlangen School. Paul Lorenzens contributions to proof theory
• Conceptions of infinity and set in Lorenzen's operationist system

Cites work

• scientific article; zbMATH DE number 3112788 (Why is no real title available?)
• scientific article; zbMATH DE number 3677798 (Why is no real title available?)
• scientific article; zbMATH DE number 3789385 (Why is no real title available?)
• scientific article; zbMATH DE number 1870427 (Why is no real title available?)
• scientific article; zbMATH DE number 3271445 (Why is no real title available?)
• scientific article; zbMATH DE number 3273190 (Why is no real title available?)
• Axiomatic versus constructive procedures in mathematics
• Dialogue logic. An introduction. Volume 1: The dialogue method. Rules and exercises
• Immanent reasoning or equality in action. A plaidoyer for the play level
• Konstruktive Analysis und das geometrische Kontinuum
• Konstruktive Begründung der Mathematik
• Logical reflection and formalism
• Ordinal Numbers and Predicative Set Theory
• Outlines of a formalist philosophy of mathematics
• Systems of predicative analysis
• The Functional Role of Structures in Bourbaki
• The formalization of mathematics

Cited in

(3)

• Paul Lorenzen -- mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8--9, 2018
• Lorenzen and constructive mathematics
• Conceptions of infinity and set in Lorenzen's operationist system

This page was built for publication: Operation and predicativity: Lorenzen's approach to arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5024722)