Paul Lorenzen -- Mathematician and Logician

• अन्य लेखक: Heinzmann, Gerhard (संपादक), Wolters, Gereon (संपादक)
• स्वरूप: इलेक्ट्रोनिक पुस्तक अध्याय
• भाषा: अंग्रेज़ी
• प्रकाशित: Springer Nature 2021
• श्रृंखला: Logic, Epistemology, and the Unity of Science
• विषय: 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
• ऑनलाइन पहुंच: DOAB: download the publication; DOAB: description of the publication