Hilbert's program relativized: Proof-theoretical and foundational reductions
Journal of Symbolic Logic 53 (2):364-384 (1988)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFelix Mühlhölzer (2006). "A Mathematical Proof Must Be Surveyable" What Wittgenstein Meant by This and What It Implies. Grazer Philosophische Studien 71 (1):57-86.
Paolo Mancosu (2003). The Russellian Influence on Hilbert and His School. Synthese 137 (1-2):59 - 101.
Panu Raatikainen (2003). Hilbert's Program Revisited. Synthese 137 (1-2):157 - 177.
Thomas Hofweber (2000). Proof-Theoretic Reduction as a Philosopher's Tool. Erkenntnis 53 (1-2):127-146.
Solomon Feferman (2000). Does Reductive Proof Theory Have a Viable Rationale? Erkenntnis 53 (1-2):63-96.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads8 ( #123,218 of 549,546 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
