The autonomy of mathematical knowledge: Hilbert's program revisited

Bulletin of Symbolic Logic 17 (1):119-122 (2011)
  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: 91,386

External links

  • This entry has no external links. Add one.
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 Autonomy of Mathematical Knowledge: Hilbert's Program Revisited.Curtis Franks - 2009 - New York: Cambridge University Press.
Curtis Franks The Autonomy of Mathematical Knowledge: Hilbert's Program Revisited.W. W. Tait - 2011 - History and Philosophy of Logic 32 (2):177 - 183.
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 Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: Reidel.
Hilbert's epistemology.Philip Kitcher - 1976 - Philosophy of Science 43 (1):99-115.
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.
Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.
From Consistency to Incompleteness: A Philosophical Study of Hilbert's Program and Goedel's Incompleteness Theorem.Byoung-il Choi - 1997 - Dissertation, University of California, Berkeley
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.
How Metaphysical is “Deepening the Foundations”?: Hahn and Frank on Hilbert’s Axiomatic Method.Michael Stoeltzner - 2001 - Vienna Circle Institute Yearbook 9:245-262.
The Pursuit of Rigor: David Hilbert's Early Philosophy of Mathematics.Yoshinori Ogawa - 2002 - Dissertation, The University of British Columbia (Canada)
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.
Hilbert versus Hindman.Jeffry L. Hirst - 2012 - Archive for Mathematical Logic 51 (1-2):123-125.
Hilbert's formalism.Michael Detlefsen - 1993 - Revue Internationale de Philosophie 47 (186):285-304.
Why Do We Prove Theorems?Yehuda Rav - 1998 - Philosophia Mathematica 6 (3):5-41.

Analytics

Added to PP
2017-02-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Curtis Franks
University of Notre Dame

Citations of this work

Labyrinth of Continua.Patrick Reeder - 2018 - Philosophia Mathematica 26 (1):1-39.
Cut as Consequence.Curtis Franks - 2010 - History and Philosophy of Logic 31 (4):349-379.
On the Depth of Gödel’s Incompleteness Theorems.Yong Cheng - forthcoming - Philosophia Mathematica.
Avicenna on Syllogisms Composed of Opposite Premises.Behnam Zolghadr - 2021 - In Mojtaba Mojtahedi, Shahid Rahman & MohammadSaleh Zarepour (eds.), Mathematics, Logic, and their Philosophies: Essays in Honour of Mohammad Ardeshir. Springer. pp. 433-442.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references