Conceptions of Infinity and Set in Lorenzen’s Operationist System

DOI10.1007/978-3-030-65824-3_3zbMath1494.03011OpenAlexW3195118231MaRDI QIDQ5024723

Carolin Antos

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_3

zbMATH Keywords

formalismcountable setsuncountable setsintuitionismconstructivismfoundational crisisactual infinitypotential infinityoperative logicprotologicoperative 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) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Constructive and axiomatic mathematics
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• Konstruktive Begründung der Mathematik
• Die Widerspruchsfreiheit der klassischen Analysis
• Maß und Integral in der konstruktiven Analysis
• Über endliche Mengen
• Über den Mengenbegriff in der Topologie
• Hilbert's Programs: 1917–1922
• Actual and Potential Infinity
• Basic objectives of dialogue logic in historical perspective

This page was built for publication: Conceptions of Infinity and Set in Lorenzen’s Operationist System