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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,072

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

Reviewed Work: David Hilbert's lectures on the foundations of arithmetic and logic 1917–1933 by William Ewald; Wilfried Sieg. [REVIEW]Review by: Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (3):363-365,.
Wilfried Sieg. Hilbert's Programs and Beyond. xii + 440 pp., illus., bibl., index. Oxford: Oxford University Press, 2013. $85 .William Ewald;, Wilfried Sieg ., Michael Hallett . David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917–1933. xxv + 1,062 pp., tables, bibl., indexes. Berlin: Springer, 2013. $139. [REVIEW]Tom Archibald - 2015 - Isis 106 (2):481-483.
Hilbert's Programs and Beyond.Wilfried Sieg - 2013 - Oxford, England: Oup Usa.
Proof Theory: History and Philosophical Significance.Vincent F. Hendricks, Stig Andur Pedersen & Klaus Frovin Jørgensen (eds.) - 2000 - Dordrecht and Boston: Kluwer Academic Publishers.
Wilfried Sieg. Hilbert's Programs and Beyond: Books of Essays.[author unknown] - 2014 - Philosophia Mathematica 22 (1):138-139.
David Hilbert’s lectures on the foundations of arithmetic and logic 1917–1933. Edited by William Ewald and Wilfried Sieg. Springer, Berlin, Heidelberg and New York, 2013, xxv + 1062 pp. [REVIEW]Jan von Plato - 2014 - Bulletin of Symbolic Logic 20 (3):363-365.
S. Feferman and W. Sieg Inductive definitions and subsystems of analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 16–77. - Solomon Feferman and Wilfried Sieg. Proof theoretic equivalences between classical and constructive theories for analysis. Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies, by Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Lecture notes in mathematics, vol. 897, Springer-Verlag, Berlin, Heidelberg, and New York, 1981, pp. 78–142. - Solomon Feferman. Iterated inductive fixed-point theories: application to Hancock's conjecture. Patras logic symposion, Proceedings of the logic symposion held at Patras, Greece, August 18–22, 1980, edited by George Metakides, Studies in logic. [REVIEW]Helmut Pfeiffer - 1994 - Journal of Symbolic Logic 59 (2):668-670.
William Ewald and Wilfried Sieg, eds, David Hilbert's Lectures on the Foundations of Arithmetic and Logic, 1917–1933. Heidelberg: Springer, 2013. ISBN: 978-3-540-69444-1 ; 978-3-540-20578-4 . Pp. xxv + 1062. [REVIEW]Paolo Mancosu - 2015 - Philosophia Mathematica 23 (1):126-135.
William Ewald and Wilfried Sieg , Michael Hallett , David Hilbert’s Lectures on the Foundations of Arithmetic and Logic 1917–1933. In collaboration with Ulrich Majer and Dirk Schlimm , Springer-Verlag: Berlin and Heidelberg, 2013, xxvi + 1062 pp. ISBN 978-3-540-20578-4 $129.00, $86.37. [REVIEW]Volker Peckhaus - 2017 - Studia Logica 105 (3):669-671.
Wilfried Sieg. Hilbert's Programs and Beyond. Oxford: Oxford University Press, 2013. ISBN 978-0-19-537222-9 ; 978-0-19-970715-7 . Pp. xii + 439†. [REVIEW]Oran Magal - 2014 - Philosophia Mathematica 22 (3):417-423.

Analytics

Added to PP
2014-02-01

Downloads
25 (#881,291)

6 months
7 (#710,381)

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