Axiomatic Thinking I
In this two-volume compilation of articles, leading researchers reevaluate the success of Hilbert's axiomatic method, which not only laid the foundations for our understanding of modern mathematics, but also found applications in physics, computer science and elsewhere. The title takes its name...
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Cham
Springer International Publishing
2022, 2022
|
| Edition: | 1st ed. 2022 |
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- Volume 1: History and Philosophy
- Axiomatisches Denken
- Part I: History and Philosophy
- Hilbert's Axiomatisches Denken
- Scope and Limits of Axiomatics
- The Semantic Function of the Axiomatic Method
- Aristotle's Relations: An Interpretation in Combinatory Logic
- The Two Sides of Modern Axiomatics: Dedekind and Peano, Hilbert and Bourbaki
- Notes for a Seminar in Axiomatic Reasoning
- Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
- Proofs as Objects
- Where Do Axioms Come From?
- Panel Discussion on the Foundations of Mathematics.