Hilbert's program sixty years later

Journal of Symbolic Logic 53 (2):338-348 (1988)
Authors
Wilfried Sieg
Carnegie Mellon University
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2274507
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 34,484
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

Hilbert's Programs: 1917-1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.
Truth, Reflection, and Hierarchies.Michael Glanzberg - 2005 - Synthese 142 (3):289 - 315.
Mathematical Instrumentalism, Gödel’s Theorem, and Inductive Evidence.Alexander Paseau - 2011 - Studies in History and Philosophy of Science Part A 42 (1):140-149.
The Meaning of Pure Mathematics.Jan Mycielski - 1989 - Journal of Philosophical Logic 18 (3):315 - 320.

Add more citations

Similar books and articles

Hilbert's Epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.
Hilbert's Programs: 1917-1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.
Hilbert's Program Then and Now.Richard Zach - 2007 - In Dale Jacquette (ed.), Philosophy of Logic. Amsterdam: North Holland. pp. 411–447.
A Symposium on Hilbert's Program.Wilfrid Hodges & Wilfried Sieg - 1988 - Journal of Symbolic Logic 53 (2):337.
Newell's Program, Like Hilbert's, is Dead; Let's Move On.Yingrui Yang & Selmer Bringsjord - 2003 - Behavioral and Brain Sciences 26 (5):627-627.

Analytics

Added to PP index
2009-01-28

Total downloads
47 ( #131,275 of 2,267,109 )

Recent downloads (6 months)
1 ( #372,878 of 2,267,109 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature