Konstruktive Begründung der Mathematik

DOI10.1007/BF01162411zbMATH Open0041.34303MaRDI QIDQ2649022FDOQ2649022

Authors: Paul Lorenzen 

Publication date: 1950

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/169180

zbMATH Keywords

Philosophy and foundations of mathematics

Cited In (12)

• Steps towards a proof-theoretical semantics
• Über endliche Mengen
• Maß und Integral in der konstruktiven Analysis
• Eine Bemerkung über die Abzählbarkeitsvoraussetzung in der Algebra
• Prawitz, Proofs, and Meaning
• Harmonic inferentialism and the logic of identity
• On Inversion Principles
• Generalized Elimination Inferences, Higher-Level Rules, and the Implications-as-Rules Interpretation of the Sequent Calculus
• The categorical and the hypothetical: a critique of some fundamental assumptions of standard semantics
• General-elimination stability
• Operation and predicativity: Lorenzen's approach to arithmetic
• Conceptions of infinity and set in Lorenzen's operationist system

This page was built for publication: Konstruktive Begründung der Mathematik

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