Partial realizations of Hilbert's program

DOI10.2307/2274508zbMath0654.03003OpenAlexW4236935857WikidataQ56139364 ScholiaQ56139364MaRDI QIDQ3799998

Stephen G. Simpson

Publication date: 1988

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

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

zbMATH Keywords

reverse mathematicsGödel's incompleteness theoremsHilbert's finitistic program for the foundations of mathematicsreductionist programs

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)

Related Items (30)

1997–98 Annual Meeting of the Association for Symbolic Logic ⋮ Ordered Groups: A Case Study in Reverse Mathematics ⋮ Proof Theory in Philosophy of Mathematics ⋮ Periodic points and subsystems of second-order arithmetic ⋮ Understanding uniformity in Feferman's explicit mathematics ⋮ The proof-theoretic strength of Ramsey's theorem for pairs and two colors ⋮ Truth, reflection and hierarchies ⋮ A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC ⋮ The meaning of pure mathematics ⋮ Different senses of finitude: an inquiry into Hilbert's finitism ⋮ Things that can and things that cannot be done in PRA ⋮ Hilbert versus Hindman ⋮ TWO (OR THREE) NOTIONS OF FINITISM ⋮ 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ Objectivity and Truth in Mathematics: A Sober Non-platonist Perspective ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ On the concept of finitism ⋮ The ignorance of Bourbaki ⋮ The mathematical universe ⋮ Consistency, models, and soundness ⋮ A simple proof of Parsons' theorem ⋮ Predicativity and Feferman ⋮ \( \mathsf{SRT}_2^2\) does not imply \(\mathsf{RT}_2^2\) in \(\omega \)-models ⋮ THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES ⋮ REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION ⋮ We shall know: Hilbert's apology ⋮ Predicativity and constructive mathematics ⋮ Foundations of Mathematics: an Optimistic Message ⋮ The constructive Hilbert program and the limits of Martin-Löf type theory ⋮ THE PREHISTORY OF THE SUBSYSTEMS OF SECOND-ORDER ARITHMETIC

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