Paul Lorenzen -- Mathematician and Logician

Paul Lorenzen -- Mathematician and Logician

This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioner...

Full description

Bibliographic Details
Format: eBook
Language:English
Published: Springer Nature 2021
Series:Logic, Epistemology, and the Unity of Science
Subjects:
History of mathematics
Mathematical foundations
Philosophy of mathematics
Application to Constructive Measure Theory
Constructive Examination of a Russell-style Ramified Type Theory
Game Semantics for Substructural Logics
Grundlagenforschung
Krull's Fundamentalsatz for Integral Domains
Lorenzen and Erlangen School of Methodical Constructivism
Lorenzen on Constructive Mathematics
Lorenzen on Databank Management
Lorenzen on Proof-theoretic Semantics
Lorenzen on Stochastics
Lorenzen's Consistency Proof and Hilbert's Larger Programme
Lorenzen's Dialogue Game
Lorenzeṇ's Work on Lattice-groups and Divisibility Theory
Modern Set Theory and Lorenzen's Critique of Actual Infinity
Operative Justification of Logic and Mathematics
Russell-style Ramified Type Theory
Online Access:Open Access: DOAB: description of the publication
Open Access: DOAB, download the publication

Internet

Open Access: DOAB: description of the publication
Open Access: DOAB, download the publication

Similar Items