Axiomatic thinking. I / Fernando Ferreira, Reinhard Kahle, Giovanni Sommaruga, editors.
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Other Authors: | , , |
| Format: | eBook |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2022.
|
| Subjects: |
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.