Paul Lorenzen -- Mathematician and Logician

• Andere auteurs: Heinzmann, Gerhard (Redacteur), Wolters, Gereon (Redacteur)
• Formaat: Elektronisch Hoofdstuk
• Taal: Engels
• Gepubliceerd in: Springer Nature 2021
• Reeks: Logic, Epistemology, and the Unity of Science 51
• Onderwerpen: 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 toegang: OAPEN Library: download the publication; OAPEN Library: description of the publication