Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Paul Lorenzen -- Mathematician and Logician

Paul Lorenzen -- Mathematician and Logician

Heinzmann, Gerhard
Wolters, Gereon

Hardcover

Series: Logic, Epistemology, and the Unity of Science, Book 51

FictionGeneral Mathematics

ISBN10: 3030658236
ISBN13: 9783030658236
Publisher: Springer Nature
Published: Aug 18 2021
Pages: 268
Weight: 1.26
Height: 0.69 Width: 6.14 Depth: 9.21
Language: English

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).

Also in

General Mathematics

View All