Paul Lorenzen -- mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8--9, 2018

DOI10.1007/978-3-030-65824-3MaRDI QIDQ2228208zbMATH OpenOpenAlexFDO

Authors

Publication date 16 February 2021

Published in Logic, Epistemology, and the Unity of Science (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

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Between algebra and Erlangen School. Paul Lorenzens contributions to proof theory
• Lorenzen and constructive mathematics
• Operation and predicativity: Lorenzen's approach to arithmetic
• Phenomenology, logic, and the philosophy of mathematics.
• Lorenzen Between Gentzen and Schütte

Cited in

(7)

• Hilary Putnam on logic and mathematics
• Operation and predicativity: Lorenzen's approach to arithmetic
• Lorenzen and constructive mathematics
• Between algebra and Erlangen School. Paul Lorenzens contributions to proof theory
• Constructive semantics. Meaning in between phenomenology and constructivism. Based on the workshop, Friedrichshafen, Germany, September 30 -- October 1, 2016
• The architecture and archaeology of modern logic. Studies dedicated to Göran Sundholm
• An Introduction to Lorenzen's ‘Algebraic and Logistic Investigations on Free Lattices’ (1951)

This page was built for publication: Paul Lorenzen -- mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8--9, 2018

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