Hilbert’s Axiomatisches Denken
From MaRDI portal
Publication:5057047
DOI10.1007/978-3-030-77657-2_2OpenAlexW4312776311MaRDI QIDQ5057047
Reinhard Kahle, Giovanni Sommaruga
Publication date: 14 December 2022
Published in: Axiomatic Thinking I (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-77657-2_2
Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Sociology (and profession) of mathematics (01A80)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reminiscences from Hilbert's Goettingen
- A set of postulates for the foundation of logic
- A set of postulates for the foundation of logic. II
- Untersuchungen über das logische Schliessen. II
- Is there a ``Hilbert thesis?
- Hilbert's Programs: 1917–1922
- Hilbert's Twenty-Fourth Problem
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I
- A Framework for Metamathematics
- Simplified Cut Elimination for Kripke-Platek Set Theory
- On the Performance of Axiom Systems
- Well-Ordering Principles in Proof Theory and Reverse Mathematics
- Reflections on the Axiomatic Approach to Continuity
- Abstract Generality, Simplicity, Forgetting, and Discovery
- Varieties of Infiniteness in the Existence of Infinitely Many Primes
- Axiomatics as a Functional Strategy for Complex Proofs: The Case of Riemann Hypothesis
- What is the Church-Turing Thesis?
- Axiomatic Thinking in Physics—Essence or Useless Ornament?
- Axiomatic Thinking—Applied to Religion
- 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
- Discussing Hilbert's 24th problem
- On Computable Numbers, with an Application to the Entscheidungsproblem
- David Hilbert and his mathematical work
This page was built for publication: Hilbert’s Axiomatisches Denken
