Paul Lorenzen - Mathematician and Logician by Heinzmann & Wolters
Paul Lorenzen - Mathematician and Logician - Table of Contents
PART I: PHILOSOPHY & ARITHMETIC
- 1. Lorenzens Weg von der Mathematik zur Philosophie
- 2. Operation and Predicativity in Arithmetic
- 3. Conceptions of Infinity and Sets
- 4. Lorenzen and Constructive Mathematics
PART II: PROOF THEORY & LOGIC GAMES
- 5. Lorenzen between Gentzen and Schütte
- 6. Syntax for Semantics & Krull's Theorem
- 7. Regular Entailment Relations
- 8. Sequent Calculi and Dialogue Games
PART III: INTEGRAL DOMAINS & ARCHIVES
- 9. Reshaping of Krull's Fundamentalsatz
- 10. Correspondence with Hasse, Krull, and Aubert
What You Will Learn in Paul Lorenzen - Mathematician and Logician
Paul Lorenzen - Mathematician and Logician by Gerhard Heinzmann and Gereon Wolters is an authoritative, multi-author monograph published by Birkhäuser that examines the profound mathematical and philosophical contributions of Paul Lorenzen to 20th-century logic, constructivism, and foundational mathematics. This comprehensive volume guides readers through operative arithmetic, predicativity, constructivism in mathematics, dialogue games, sequent calculi, entailment relations, and Lorenzen's reshaping of Krull's ideal theory for integral domains with exceptional historical and technical precision.
Designed for graduate students, mathematical logicians, philosophers of mathematics, proof theorists, and computer science theorists, this foundational text bridges formal constructivist algebra and game-theoretic semantics. Heinzmann, Wolters, and leading contributors detail step-by-step analyses of dialogue logic semantics, Gentzen-style proof trees, operative set foundations, and historical correspondence with leading algebraists like Helmut Hasse and Wolfgang Krull. Whether you are studying constructive logic, investigating game-theoretic proof search, or researching the history of intuitionistic mathematics, this book offers an indispensable roadmap.
Recognized globally as a definitive scholarly account of Lorenzen's legacy, it stands as one of the best books on constructive logic and the philosophy of mathematics. By connecting abstract proof theory directly to algebraic ideal structures and game semantics, it serves as an essential tool for mastering mathematical logic and constructivist foundations with confidence.
Book Details & Specifications
Title:
Paul Lorenzen - Mathematician and Logician by Heinzmann & Wolters
Publisher:
Springer
Year:
2021
Pages:
274
Type:
PDF
Language:
English
ISBN-10 #:
3030658236
ISBN-13 #:
978-3030658236
License:
CC BY 4.0
Amazon:
Amazon
About the Author: Gerhard Heinzmann and Gereon Wolters
The author Gerhard Heinzmann and Gereon Wolters
is Professor Emeritus of Philosophy at the Université de Lorraine and Founder of the Henri-Poincaré Archives, widely recognized for his research in mathematical logic, constructivism, and the philosophy of science. Gereon Wolters is Professor Emeritus of Philosophy at the University of Konstanz, renowned for his extensive work on the history and philosophy of modern logic and science.
Through Paul Lorenzen - Mathematician and Logician, Heinzmann and Wolters bring together leading international logicians and historians. The volume's rigorous analytical contributions, original archival correspondence, and deep insights into constructive proof theory make this text a classic reference for constructive logic and mathematical philosophy valued by scholars worldwide.
Read or Downloadable Paul Lorenzen - Mathematician and Logician
History of Mathematics Books PDF - Free Textbook Library