Paul Lorenzen - Mathematician and Logician by Heinzmann & Wolters

Book Contents :-
1. Paul Lorenzens Weg von der Mathematik zur Philosophie by Persönliche Erinnerungen, Kuno Lorenz 2. Operation and Predicativity: Lorenzen’s Approach to Arithmetic by Gerhard Heinzmann 3. Conceptions of Infinity and Set in Lorenzen’s Operationist System by Carolin Antos 4. Lorenzen and Constructive Mathematics by Thierry Coquand 5. Lorenzen between Gentzen and Schütte by Reinhard Kahle and Isabel Oitavem 6. Syntax for Semantics: Krull’s Maximal Ideal Theorem by Peter Schuster and Daniel Wessel 7. Regular Entailment Relations by Thierry Coquand, Henri Lombardi and Stefan Neuwirth 8. Connecting Sequent Calculi with Lorenzen-Style Dialogue Games by Christian G. Fermüller 9. Lorenzen’s Reshaping of Krull’s Fundamentalsatz for Integral Domains (1938–1953) by Stefan Neuwirth 10. Lorenzen’s Correspondence with Hasse, Krull, and Aubert, Together with Some Relevant Documents (edited) by Stefan Neuwirth

About this book :-
Paul Lorenzen - Mathematician and Logician by Gerhard Heinzmann, Gereon Wolters "Paul Lorenzen – Mathematician and Logician" by Gerhard Heinzmann, Gereon Wolters explores the life and work of "Paul Lorenzen", a pioneering figure in "mathematics" and "logic". The book details his development of the "constructive approach", which emphasized building mathematical objects and proofs step by step, offering an alternative to classical methods. Lorenzen’s ideas influenced proof theory, constructive mathematics, and the philosophical foundations of mathematics, showing the practical and theoretical significance of his work. The book highlights Lorenzen’s contributions to the "foundations of mathematics" and his efforts to reconcile rigorous formal reasoning with intuitive understanding. Through historical and philosophical context, Heinzmann and Wolters explain how Lorenzen’s operational techniques and logical frameworks shaped modern approaches to mathematical reasoning. The authors illustrate how his methods offered clarity and precision while challenging traditional approaches in logic and mathematics. Designed for researchers, students, and enthusiasts of the history of mathematics and logic, the book combines biography, theory, and practical insights. It emphasizes Lorenzen’s lasting impact on "constructive mathematics", the philosophy of logic, and the evolution of mathematical thought. Readers gain a deeper understanding of how innovative ideas in logic and mathematics emerge and continue to influence the field today.

Book Detail :-
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 Author :-
The author Gerhard Heinzmann and Gereon Wolters are scholars of the "history of mathematics", "mathematical logic", and philosophy. They focus on influential figures and developments that shaped modern mathematics and reasoning. In "Paul Lorenzen – Mathematician and Logician", they explore the life and work of "Paul Lorenzen", highlighting his contributions to "constructive mathematics", "logic", and the "foundations of mathematics".

Similar History of Mathematics Books