Partial realizations of Hilbert's program
DOI10.2307/2274508zbMATH Open0654.03003OpenAlexW4236935857WikidataQ56139364 ScholiaQ56139364MaRDI QIDQ3799998FDOQ3799998
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
Recommendations
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)
Cited In (35)
- Taking formalism seriously
- 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
- A marriage of Brouwer's intuitionism and Hilbert's finitism. I: Arithmetic
- 1997–98 Annual Meeting of the Association for Symbolic Logic
- Consistency, models, and soundness
- The constructive Hilbert program and the limits of Martin-Löf type theory
- Truth, reflection and hierarchies
- Reverse mathematics, Young diagrams, and the ascending chain condition
- On the concept of finitism
- A simple proof of Parsons' theorem
- Finitization procedures and finite model property
- The meaning of pure mathematics
- The Borel complexity of isomorphism for o-minimal theories
- Proof theory in philosophy of mathematics
- We shall know: Hilbert's apology
- Objectivity and truth in mathematics: a sober non-Platonist perspective
- Title not available (Why is that?)
- Predicativity and Feferman
- Reverse mathematics and its meaning
- Two (or three) notions of finitism
- \( \mathsf{SRT}_2^2\) does not imply \(\mathsf{RT}_2^2\) in \(\omega \)-models
- The ignorance of Bourbaki
- On Relating Theories: Proof-Theoretical Reduction
- Periodic points and subsystems of second-order arithmetic
- The proof-theoretic strength of Ramsey's theorem for pairs and two colors
- The prehistory of the subsystems of second-order arithmetic
- The mathematical universe
- Ordered Groups: A Case Study in Reverse Mathematics
- Foundations of mathematics: an optimistic message
- Predicativity and constructive mathematics
- Hilbert versus Hindman
- Different senses of finitude: an inquiry into Hilbert's finitism
- Things that can and things that cannot be done in PRA
- Understanding uniformity in Feferman's explicit mathematics
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)
