Hilbert's program revisited

DOI10.1023/A:1026287119565MaRDI QIDQ6904399zbMATH OpenFDO

Authors Raatikainen, Panu

Publication date 7 November 2025

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://philpapers.org/rec/RAAHPR-2

zbMATH Keywords

main line

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05)

Cites work

• A survey of proof theory
• Axiomatisches Denken. Vortrag gehalten in der Schweizerischen mathematischen Gesellschaft, am 11. Sept. 1917 in Zürich.
• Constructivism in mathematics. An introduction. Volume I
• Countable algebra and set existence axioms
• Die formalistische Grundlegung der Mathematik.
• Die Grundlagen der Mathematik. Vortrag, gehalten auf Einladung des Mathematischen Seminars im Juli 1927 in Hamburg.
• Die Grundlegung der elementaren Zahlenlehre.
• Die logischen Grundlagen der Mathematik.
• Die Philosophie der Mathematik und die Hilbertsche Beweistheorie.
• Eine Interpretation des intuitionistischen Aussagenkalküls.
• Extensions of some theorems of Gödel and Church.
• Foundations for analysis and proof theory
• Fragments of arithmetic
• Grundzüge der theoretischen Logik.
• Harvey Friedman's research on the foundations of mathematics
• Hermann Weyl's Intuitionistic Mathematics
• Hilbert's program relativized; Proof-theoretical and foundational reductions
• Hilbert's program sixty years later
• Hilbert's program. An essay on mathematical instrumentalism
• HILBERT'S PROGRAMME
• Hilbert's Programs: 1917–1922
• scientific article; zbMATH DE number 3924748 (Why is no real title available?)
• scientific article; zbMATH DE number 4087620 (Why is no real title available?)
• scientific article; zbMATH DE number 3689386 (Why is no real title available?)
• scientific article; zbMATH DE number 3510222 (Why is no real title available?)
• scientific article; zbMATH DE number 3570417 (Why is no real title available?)
• scientific article; zbMATH DE number 3614784 (Why is no real title available?)
• scientific article; zbMATH DE number 1150714 (Why is no real title available?)
• scientific article; zbMATH DE number 859510 (Why is no real title available?)
• scientific article; zbMATH DE number 928934 (Why is no real title available?)
• scientific article; zbMATH DE number 3291106 (Why is no real title available?)
• scientific article; zbMATH DE number 3305784 (Why is no real title available?)
• scientific article; zbMATH DE number 3320380 (Why is no real title available?)
• scientific article; zbMATH DE number 3057871 (Why is no real title available?)
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Mathematical significance of consistency proofs
• Mathematische Probleme. Vortrag, gehalten auf dem internationalen Mathematiker-Congress zu Paris 1900.
• Neubegründung der Mathematik.
• On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem
• Partial realizations of Hilbert's program
• Probleme der Grundlegung der Mathematik.
• Relative consistency and accessible domains
• Self-reference and modal logic
• Über das Unendliche.
• Über die Grundlagen der Logik und der Arithmetik.
• Über die neue Grundlagenkrise der Mathematik.
• Which set existence axioms are needed to prove the Cauchy/Peano theorem for ordinary differential equations?

This page was built for publication: Hilbert's program revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6904399)