The collapse of the Hilbert program: why a system cannot prove its own 1-consistency (Abstract)

Bulletin of Symbolic Logic 15 (2):229-231 (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,227

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 practice of finitism: Epsilon calculus and consistency proofs in Hilbert's program.Richard Zach - 2003 - Synthese 137 (1-2):211 - 259.
Proof-theoretic reduction as a philosopher's tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.
"True" arithmetic can prove its own consistency.Andrew Boucher -
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.
Hilbert's program modi ed.Solomon Feferman - unknown
Proof mining.Jeremy Avigad - unknown

Analytics

Added to PP
2010-02-06

Downloads
289 (#71,001)

6 months
11 (#243,798)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Saul Kripke
Last affiliation: CUNY Graduate Center

Citations of this work

Kurt gödel.Juliette Kennedy - 2008 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references