Hilbert's programs and beyond
From MaRDI portal
finitismgeneral reductive theoryincompletenessmetamathematicsnatural deductionproof theorystructural mathematics
Philosophy of mathematics (00A30) Collections of reprinted articles (00B60) Proceedings, conferences, collections, etc. pertaining to history and biography (01-06) History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) History of mathematics in the 21st century (01A61) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Logic in the philosophy of science (03A10) Proof theory in general (including proof-theoretic semantics) (03F03)
Recommendations
- Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and \S\S1--2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edi
- Hilbert's Programs: 1917–1922
- Relative consistency and accessible domains
- scientific article; zbMATH DE number 4051610
- H for Hilbert. \dots and M for mathematics
Cited in
(55)- Hilbert, logicism, and mathematical existence
- Hilbert's program. An essay on mathematical instrumentalism
- Hilbert's logic. From axiomatics to proof theory
- Hilbert and the internal logic of mathematics
- Gödel's reception of Turing's model of computability: the shift of perception in 1934
- ``Gaisi Takeuti's finitist standpoint and its mathematical embodiment
- H for Hilbert. \dots and M for mathematics
- Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
- Some remarks on Hilbert's program
- Logos and Máthēma. Studies in the philosophy of mathematics and history of logic
- Hilbert programme and applied proof theory
- Proof theory in philosophy of mathematics
- Dedekind and Hilbert on the foundations of the deductive sciences
- Beyond Hilbert's reach?
- On A. Ya. Khinchin's paper `Ideas of intuitionism and the struggle for a subject matter in contemporary mathematics' (1926): a translation with introduction and commentary
- Hilbert's iterativistic tendencies
- The autonomy of mathematical knowledge. Hilbert's program revisited.
- Beyond Hilbert’s Reach?
- scientific article; zbMATH DE number 5575850 (Why is no real title available?)
- scientific article; zbMATH DE number 4051610 (Why is no real title available?)
- Hilbert's program sixty years later
- Partial realizations of Hilbert's program
- Hilbert's program relativized; Proof-theoretical and foundational reductions
- scientific article; zbMATH DE number 4087620 (Why is no real title available?)
- scientific article; zbMATH DE number 4103066 (Why is no real title available?)
- scientific article; zbMATH DE number 48347 (Why is no real title available?)
- scientific article; zbMATH DE number 58389 (Why is no real title available?)
- scientific article; zbMATH DE number 69311 (Why is no real title available?)
- Hilbert's Programs: 1917–1922
- Hilbert's program and the omega-rule
- scientific article; zbMATH DE number 1082863 (Why is no real title available?)
- scientific article; zbMATH DE number 1101521 (Why is no real title available?)
- scientific article; zbMATH DE number 1779555 (Why is no real title available?)
- Hilbert
- David Hilbert's axiomatic program and critical philosophy
- scientific article; zbMATH DE number 2152249 (Why is no real title available?)
- scientific article; zbMATH DE number 1867332 (Why is no real title available?)
- scientific article; zbMATH DE number 2113553 (Why is no real title available?)
- NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF
- The Semantic Function of the Axiomatic Method
- The legacy of Kurt Schütte
- Hilbert’s sixth problem: between the foundations of geometry and the axiomatization of physics
- Kalmár's argument against the plausibility of Church's thesis
- Prawitz, Proofs, and Meaning
- On the motives for proof theory
- Hilbert’s Programme and Ordinal Analysis
- On the mathematical and foundational significance of the uncountable
- scientific article; zbMATH DE number 2204755 (Why is no real title available?)
- The use of trustworthy principles in a revised Hilbert's program
- Grundlagen der Mathematik. I / Foundations of mathematics. I. Part A. Prefaces and \S\S1--2. Edited and with a preface by Dov Gabbay, Michael Gabbay, Jörg Siekmann and Claus-Peter Wirth. Commented translation by Claus-Peter Wirth of the second German edition of 1968, including the annotation and translation of all deleted parts of the first German edition of 1934. With a chapter ``Hilbert's proof theory by Wilfried Sieg. Dual English-German text
- A competent translation/a pitiful bungle: \textit{The foundations of geometry}
- Platonism and the Proto-ontology of Mathematics: Learning from the Axiom of Choice
- Poincaré on the value of reasoning machines
- Hilbert's problems, Kant, and decidability
- Foundations for analysis and proof theory
This page was built for publication: Hilbert's programs and beyond
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4910498)
