Paul Lorenzen -- Mathematician and Logician

• Other Authors: Heinzmann, Gerhard (Editor), Wolters, Gereon (Editor)
• Format: Electronic Book Chapter
• Language: English
• Published: Springer Nature 2021
• Series: Logic, Epistemology, and the Unity of Science 51
• Subjects: Philosophy of mathematics; History of mathematics; Mathematical foundations; Lorenzen on Constructive Mathematics; Application to Constructive Measure Theory; Lorenzeṇ's Work on Lattice-groups and Divisibility Theory; Krull's Fundamentalsatz for Integral Domains; Modern Set Theory and Lorenzen's Critique of Actual Infinity; Grundlagenforschung; Lorenzen's Consistency Proof and Hilbert's Larger Programme; Lorenzen's Dialogue Game; Game Semantics for Substructural Logics; Constructive Examination of a Russell-style Ramified Type Theory; Operative Justification of Logic and Mathematics; Lorenzen on Proof-theoretic Semantics; Lorenzen on Databank Management; Lorenzen on Stochastics; Russell-style Ramified Type Theory; Lorenzen and Erlangen School of Methodical Constructivism
• Online Access: OAPEN Library: download the publication; OAPEN Library: description of the publication