Partial realizations of Hilbert's program

DOI10.2307/2274508MaRDI QIDQ3799998zbMATH OpenOpenAlexWikidataFDO

Authors Stephen G. Simpson

Publication date 1988

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274508

zbMATH Keywords

Gödel's incompleteness theoremsHilbert's finitistic program for the foundations of mathematicsreductionist programsreverse mathematics

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03)

Recommendations

• Some remarks on Hilbert's program
• scientific article; zbMATH DE number 1082863
• H for Hilbert. \dots and M for mathematics
• Reverse mathematics and its meaning
• Hilbert's programs and beyond

Cited in

(40)

• The meaning of pure mathematics
• The ignorance of Bourbaki
• We shall know: Hilbert's apology
• Reverse mathematics and its meaning
• Taking formalism seriously
• The proof-theoretic strength of Ramsey's theorem for pairs and two colors
• Understanding uniformity in Feferman's explicit mathematics
• Things that can and things that cannot be done in PRA
• \( \mathsf{SRT}_2^2\) does not imply \(\mathsf{RT}_2^2\) in \(\omega \)-models
• Predicativity and constructive mathematics
• Periodic points and subsystems of second-order arithmetic
• Truth, reflection and hierarchies
• The mathematical universe
• 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000. La Sorbonne, Paris, France, July 23-31, 2000
• Some remarks on Hilbert's program
• Finitization procedures and finite model property
• Proof theory in philosophy of mathematics
• Objectivity and truth in mathematics: a sober non-Platonist perspective
• On Relating Theories: Proof-Theoretical Reduction
• Two (or three) notions of finitism
• Different senses of finitude: an inquiry into Hilbert's finitism
• scientific article; zbMATH DE number 4103066 (Why is no real title available?)
• 1997–98 Annual Meeting of the Association for Symbolic Logic
• Ordered Groups: A Case Study in Reverse Mathematics
• scientific article; zbMATH DE number 1082863 (Why is no real title available?)
• The Borel complexity of isomorphism for o-minimal theories
• Reverse mathematics, Young diagrams, and the ascending chain condition
• Foundations of mathematics: an optimistic message
• A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
• On the concept of finitism
• Predicativity and Feferman
• The prehistory of the subsystems of second-order arithmetic
• Consistency, models, and soundness
• A simple proof of Parsons' theorem
• Hilbert versus Hindman
• Denying Infinity: Pragmatism in Abraham Robinson’s Philosophy of Mathematics
• How can a line segment with extension be composed of extensionless points? From Aristotle to Borel, and beyond
• Hilbert's program revisited
• On an alleged refutation of Hilbert's Program using Gödel's first incompleteness theorem
• The constructive Hilbert program and the limits of Martin-Löf type theory

This page was built for publication: Partial realizations of Hilbert's program

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