Michael Detlefsen, Hilbert's Program [Book Review]

Philosophy in Review 9:145-148 (1989)
  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,571

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

Hilbert’s Program: An Essay on Mathematical Instrumentalism.Michael Detlefsen - 1986 - Dordrecht and Boston: Reidel.
Hilbert's formalism.Michael Detlefsen - 1993 - Revue Internationale de Philosophie 47 (186):285-304.
Michael Detlefsen, Hilbert's Program Reviewed by.A. D. Irvine - 1989 - Philosophy in Review 9 (4):145-148.
On an alleged refutation of Hilbert's program using gödel's first incompleteness theorem.Michael Detlefsen - 1990 - Journal of Philosophical Logic 19 (4):343 - 377.
Review: Michael Detlefsen, Hilbert's Program. An Essay on Mathematical Instrumentalism. [REVIEW]David D. Auerbach - 1989 - Journal of Symbolic Logic 54 (2):620-622.
Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.
Detlefsen, M., Hilbert's Program. An Essay on Mathematical Instrumentalism. [REVIEW]P. Cortois - 1988 - Tijdschrift Voor Filosofie 50:730.
On interpreting Gödel's second theorem.Michael Detlefsen - 1979 - Journal of Philosophical Logic 8 (1):297 - 313.
Hilbert's program and the omega-rule.Aleksandar Ignjatović - 1994 - Journal of Symbolic Logic 59 (1):322 - 343.
Paul Gochet, Introduction 249 Hourya Sinaceur, Du formalisme à la constructivité: le finitisme 251 Michael Detlefsen, Hilbert's Formalism 285 Yvon Gauthier, Hilbert et la logique interne des mathématiques 305. [REVIEW]Ulrich Majer, Jean-Paul Van Bendegem, Nelson Goodman & Catherine Elgin - 1993 - Revue Internationale de Philosophie 47:247.
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.
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
How Metaphysical is “Deepening the Foundations”?: Hahn and Frank on Hilbert’s Axiomatic Method.Michael Stoeltzner - 2001 - Vienna Circle Institute Yearbook 9:245-262.
On a theorem of Feferman.Michael Detlefsen - 1980 - Philosophical Studies 38 (2):129 - 140.
Proof-theoretic reduction as a philosopher's tool.Thomas Hofweber - 2000 - Erkenntnis 53 (1-2):127-146.

Analytics

Added to PP
2015-02-06

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?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references