Proof Analysis. A Contribution to Hilbert's Last Problem [Book Review]

History and Philosophy of Logic 34 (1):98-99 (2013)
  Copy   BIBTEX

Abstract

S. Negri and J. von Plato, Proof Analysis. A Contribution to Hilbert's Last Problem. Cambridge University Press: Cambridge, 2011. 278 pp. $90.00. ISBN:978-1-107-00895-3. Reviewed by F. Poggiolesi,...

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2012.735805

Links

PhilArchive



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

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

Review of: Proof Analysis. A contribution to Hilbert's last problem. [REVIEW]Francesca Poggiolesi - unknown
Über die Variationsrechnung in Hilberts Werken zur Analysis.Rüdiger Thiele - 1997 - NTM Zeitschrift für Geschichte der Wissenschaften, Technik und Medizin 5 (1):23-42.
Hilbert's 'Verunglückter Beweis', the first epsilon theorem, and consistency proofs.Richard Zach - 2004 - History and Philosophy of Logic 25 (2):79-94.
“Clarifying the nature of the infinite”: The development of metamathematics and proof theory.Jeremy Avigad - manuscript
A completeness proof for a logic with an alternative necessity operator.Stéphane Demri - 1997 - Studia Logica 58 (1):99-112.
Counting systems and the First Hilbert problem.Yaroslav Sergeyev - 2010 - Nonlinear Analysis Series A 72 (3-4):1701-1708.
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.
Aspekte der frege–hilbert-korrespondenz.Kai F. Wehmeier - 1997 - History and Philosophy of Logic 18 (4):201-209.
From Brouwer to Hilbert: the debate on the foundations of mathematics in the 1920s.Paolo Mancosu (ed.) - 1998 - New York: Oxford University Press.
Proof-theoretic reduction as a philosopher's tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.
A variant to Hilbert's theory of the foundations of arithmetic.G. Kreisel - 1953 - British Journal for the Philosophy of Science 4 (14):107-129.

Analytics

Added to PP
2013-01-25

Downloads
9 (#1,236,107)

6 months
1 (#1,498,742)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Francesca Poggiolesi
Centre National de la Recherche Scientifique

Citations of this work

Add more citations

References found in this work

No references found.

Add more references