Paul Lorenzen -- Mathematician and Logician

• Drugi avtorji: Heinzmann, Gerhard (Editor), Wolters, Gereon (Editor)
• Format: Elektronski Book Chapter
• Jezik: angleščina
• Izdano: Springer Nature 2021
• Serija: Logic, Epistemology, and the Unity of Science 51
• Teme: 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 dostop: OAPEN Library: download the publication; OAPEN Library: description of the publication