Hilbert's formalism

Revue Internationale de Philosophie 47 (186):285-304 (1993)
  Copy   BIBTEX

Abstract

Various parallels between Kant's critical program and Hilbert's formalistic program for the philosophy of mathematics are considered.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

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 formalism and arithmetization of mathematics.Judson C. Webb - 1997 - Synthese 110 (1):1-14.
Husserl Between Frege’s Logicism And Hilbert’s Formalism.Ulrich Majer - 2009 - In Baltic International Yearbook of Cognition, Logic and Communication. pp. 1-21.
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.
De la matemática clásica a la matemática moderna: Hilbert y el esquematismo kantiano [From Classical to Modern Mathematics: Hilbert’s Formalism and Kant’s Schematism].Carlos Torres Alcaraz - 2009 - Dianoia 54 (63):37-70.
Formalism.Michael Detlefsen - 2005 - In Stewart Shapiro (ed.), Oxford Handbook of Philosophy of Mathematics and Logic. Oxford and New York: Oxford University Press. pp. 236--317.
Hilbert program of formalism as a working philosophical direction for consideration of the bases of mathematics.N. V. Mikhailova - 2015 - Liberal Arts in Russia 4 (6):534.
Wittgenstein's Early Philosophy of Mathematics.Pasquale Frascolla - 2017 - In Hans-Johann Glock & John Hyman (eds.), A Companion to Wittgenstein. Chichester, West Sussex, UK: Wiley-Blackwell. pp. 305–318.
Hilbert's Objectivity.Lydia Patton - 2014 - Historia Mathematica 41 (2):188-203.
Michael Detlefsen, Hilbert's Program. [REVIEW]A. Irvine - 1989 - Philosophy in Review 9:145-148.
Michael Detlefsen, Hilbert's Program Reviewed by.A. D. Irvine - 1989 - Philosophy in Review 9 (4):145-148.

Analytics

Added to PP
2014-01-22

Downloads
1 (#1,918,470)

6 months
1 (#1,721,226)

Historical graph of downloads

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

Author's Profile

Michael Detlefsen
Last affiliation: University of Notre Dame

Citations of this work

Domain Extension and Ideal Elements in Mathematics†.Anna Bellomo - 2021 - Philosophia Mathematica 29 (3):366-391.
Gödel, Kant, and the Path of a Science.Srećko Kovač - 2008 - Inquiry: Journal of Philosophy 51 (2):147-169.
Hilbert's Program Revisited.Panu Raatikainen - 2003 - Synthese 137 (1-2):157-177.
Turing and the origins of AI.Stuart Shanker - 1995 - Philosophia Mathematica 3 (1):52-85.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references