Paul Lorenzen -- Mathematician and Logician

• Daljnji autori: Heinzmann, Gerhard (Urednik), Wolters, Gereon (Urednik)
• Format: Elektronički Poglavlje knjige
• Jezik: engleski
• 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 pristup: OAPEN Library: download the publication; OAPEN Library: description of the publication