Operation and predicativity: Lorenzen's approach to arithmetic
DOI10.1007/978-3-030-65824-3_2zbMATH Open1490.01030OpenAlexW3196169043MaRDI QIDQ5024722FDOQ5024722
Authors: 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
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
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)
Cites Work
- Title not available (Why is that?)
- Dialogue logic. An introduction. Volume 1: The dialogue method. Rules and exercises
- Title not available (Why is that?)
- Title not available (Why is that?)
- Systems of predicative analysis
- Konstruktive Begründung der Mathematik
- Axiomatic versus constructive procedures in mathematics
- Title not available (Why is that?)
- Outlines of a formalist philosophy of mathematics
- The formalization of mathematics
- Title not available (Why is that?)
- Immanent reasoning or equality in action. A plaidoyer for the play level
- Logical reflection and formalism
- Ordinal Numbers and Predicative Set Theory
- Title not available (Why is that?)
- Konstruktive Analysis und das geometrische Kontinuum
- The Functional Role of Structures in Bourbaki
Cited In (3)
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)
