Hilbert's Proof Theory

In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 5--321 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,707

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

The Ways of Hilbert's Axiomatics: Structural and Formal.Wilfried Sieg - 2014 - Perspectives on Science 22 (1):133-157.
Hilbert's Programs and Beyond.Wilfried Sieg - 2013 - Oxford, England: Oup Usa.
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript
Otto Hölder's Interpretation of David Hilbert's Axiomatic Method.Mircea Radu - 2013 - Philosophia Scientiae 17 (17-1):117-129.
Proof Theory.Wilfried Sieg - unknown
PROOF THEORY. Gödel and the metamathematical tradition.Jeremy Avigad - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: essays for his centennial. Association for Symbolic Logic.
Hilbert's program modi ed.Solomon Feferman - unknown
Hilbert Programme and Applied Proof Theory.Yvon Gauthier - 2011 - Logique Et Analyse 54 (213):49.
Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.
Proof-theoretic reduction as a philosopher's tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
Proof theory and set theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.

Analytics

Added to PP
2014-02-01

Downloads
18 (#852,762)

6 months
5 (#696,273)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wilfried Sieg
Carnegie Mellon University

Citations of this work

Gödel’s Philosophical Challenge.Wilfried Sieg - 2020 - Studia Semiotyczne 34 (1):57-80.
Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.
Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references