Hilbert's program relativized: Proof-theoretical and foundational reductions

Journal of Symbolic Logic 53 (2):364-384 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200028310

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Hilbert's program modi ed.Solomon Feferman - unknown
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript
The Pursuit of Rigor: David Hilbert's Early Philosophy of Mathematics.Yoshinori Ogawa - 2002 - Dissertation, The University of British Columbia (Canada)
Does reductive proof theory have a viable rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.
Proof-theoretic reduction as a philosopher's tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.
The pragmatic nature of mathematical inquiry.William Dembski - manuscript
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.
The Ways of Hilbert's Axiomatics: Structural and Formal.Wilfried Sieg - 2014 - Perspectives on Science 22 (1):133-157.
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.
The Russellian influence on Hilbert and his school.Paolo Mancosu - 2003 - Synthese 137 (1-2):59 - 101.
The signi cance of Hermann Weyl's.Solomon Feferman - unknown
Hilbert's Programs and Beyond.Wilfried Sieg - 2013 - Oxford, England: Oup Usa.
How Metaphysical is “Deepening the Foundations”?: Hahn and Frank on Hilbert’s Axiomatic Method.Michael Stoeltzner - 2001 - Vienna Circle Institute Yearbook 9:245-262.
Hilbert’s Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: Reidel.
"A mathematical proof must be surveyable" what Wittgenstein meant by this and what it implies.Felix Mühlhölzer - 2006 - Grazer Philosophische Studien 71 (1):57-86.

Analytics

Added to PP
2009-01-28

Downloads
107 (#160,505)

6 months
31 (#102,491)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
A System Of Complete And Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (3):311-327.
A System of Complete and Consistent Truth.Volker Halbach - 1994 - Notre Dame Journal of Formal Logic 35 (1):311--27.
Gödel's Incompleteness Theorems.Panu Raatikainen - 2013 - The Stanford Encyclopedia of Philosophy (Winter 2013 Edition), Edward N. Zalta (Ed.).

View all 61 citations / Add more citations

References found in this work

Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.
Finitism.W. W. Tait - 1981 - Journal of Philosophy 78 (9):524-546.
Philosophy of Mathematics.Paul Benacerraf & Hilary Putnam - 1985 - Philosophy of Science 52 (3):488-489.
Grundlagen der Mathematik.S. C. Kleene - 1940 - Journal of Symbolic Logic 5 (1):16-20.

View all 13 references / Add more references