Articles liés à Paul Lorenzen -- Mathematician and Logician
L'édition de cet ISBN n'est malheureusement plus disponible.
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).
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer
- Date d'édition2021
- ISBN 10 3030658252
- ISBN 13 9783030658250
- ReliureTapa blanda
- Langueanglais
- Nombre de pages282
- ÉditeurHeinzmann Gerhard, Wolters Gereon
- Coordonnées du fabricantnon disponible
(Aucun exemplaire disponible)
Chercher: Créez une demandeVous ne trouvez pas le livre que vous recherchez ? Nous allons poursuivre vos recherches. Si l'un de nos libraires l'ajoute aux offres sur AbeBooks, nous vous le ferons savoir !
Créez une demande
