Synopses & Reviews
Synopsis
Preface.- Chapter 1. Introduction (Gerhard Heinzmann).- Chapter 2. N.N (Kuno Lorenz).- Chapter 3. Some contributions of Lorenzen to constructive mathematics and an application to constructive measure theory (Thierry Coquand).- Chapter 4. Lorenzeṇ's work on lattice-groups and divisibility theory. From a classical celebrated result to a relevant constructive rewriting (Henri Lombardi).- Chapter 5. Lorenzeṇ's reshaping of Krull's Fundamentalsatz for integral domains (1939-1953) (Stefan Neuwirth).- Chapter 6. Extension by Conservation (Peter M. Schuster).- Chapter 7. Modern set theory and Lorenzen's critique of actual infinity (Carolin Antos).- Chapter 8. The main problem of Grundlagenforschung (Jan von Plato).- Chapter 9. Lorenzen's consistency proof and Hilbert's larger programme (Reinhard Kahle).- Chapter 10. From Lorenzen's dialogue game to game semantics for substructural logics (Christian Ferm ller).- Chapter 11. A Constructive Examination of a Russell-style Ramified Type Theory (Erik Palmgren).- Chapter 12. A circularity puzzle within the operative justification of logic and mathematics and a way out (Shahid Rahman).