Curtis Franks The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited

History and Philosophy of Logic 32 (2):177 - 183 (2011)
  Copy   BIBTEX

Abstract

History and Philosophy of Logic, Volume 32, Issue 2, Page 177-183, May 2011

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2010.530115

Links

PhilArchive



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

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

Curtis Franks. The autonomy of mathematical knowledge: Hilbert's program revisted. Cambridge: Cambridge university press, 2009. Isbn 978-0-521-51437-8. Pp. XIII+213. [REVIEW]S. Feferman - 2012 - Philosophia Mathematica 20 (3):387-400.
Hilbert's epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.
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.
How Metaphysical is “Deepening the Foundations”?: Hahn and Frank on Hilbert’s Axiomatic Method.Michael Stoeltzner - 2001 - Vienna Circle Institute Yearbook 9:245-262.
Hilbert's Programs: 1917–1922.Wilfried Sieg - 1999 - Bulletin of Symbolic Logic 5 (1):1-44.
Hilbert's program then and now.Richard Zach - 2006 - In Dale Jacquette (ed.), Philosophy of Logic. North Holland. pp. 411–447.
The pragmatic nature of mathematical inquiry.William Dembski - manuscript
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
Proof-theoretic reduction as a philosopher's tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.
Randomness everywhere.C. S. Calude & G. J. Chaitin - 1999 - Nature 400:319-320.

Analytics

Added to PP
2011-05-12

Downloads
61 (#258,521)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

William W. Tait
University of Chicago

Citations of this work

No citations found.

Add more citations

References found in this work

Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Grundzüge der theoretischen logik.David Hilbert - 1928 - Berlin,: G. Springer. Edited by Wilhelm Ackermann.

Add more references