Partial realizations of Hilbert's program
From MaRDI portal
Publication:3799998
DOI10.2307/2274508zbMath0654.03003OpenAlexW4236935857WikidataQ56139364 ScholiaQ56139364MaRDI QIDQ3799998
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
reverse mathematicsGödel's incompleteness theoremsHilbert's finitistic program for the foundations of mathematicsreductionist programs
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03)
Related Items
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
