Hilbert's programme and gödel's theorems

&
Dialectica 56 (4):347–370 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1111/j.1746-8361.2002.tb00250.x

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,636

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

Hilbert's Programme and Gödel's Theorems.Matthias Schirn Karl‐Georg Niebergall - 2002 - Dialectica 56 (4):347-370.
Metatheory.Alasdair Urouhart - 2002 - In Dale Jacquette (ed.), A Companion to Philosophical Logic. Malden, MA, USA: Wiley-Blackwell. pp. 305–318.
The Philosophy of Mathematics Today: Papers From a Conference Held in Munich From June 28 to July 4,1993.Matthias Schirn (ed.) - 1998 - Oxford, England: Clarendon Press.
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.
Lieber Herr Bernays!, Lieber Herr Gödel! Gödel on finitism, constructivity and Hilbert's program.Solomon Feferman - 2008 - Dialectica 62 (2):179-203.
George Boolos and Richard G. HeckJnr. Die Grundlagen der Arithmetik, §§82–3. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998, pp. 407–428. - Richard G. HeckJnr. The finite and the infinite in Frege's Grundgesetze der Arithmetik. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 429–466. - Crispin Wright. On the harmless impredicativity of N= . The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 339–368. - Michael Dummett. Neo-Fregeans: in bad company? The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 369–387. - Crispin Wright. Response to Dummett. The philosophy of mathematics today, edited by Matthias Schirn, Clarendon Press, Oxford University, Oxford and New York 1998 pp. 389–4. [REVIEW]William Demopoulos - 2000 - Bulletin of Symbolic Logic 6 (4):498-504.
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.
From Solvability to Formal Decidability. Revisiting Hilbert’s Non-Ignorabimus.Andrea Reichenberger - 2018 - Journal for Humanistic Mathematics 9 (1):49–80.
Schirn Matthias. Einige Bemerkungen zum Zusammenhang von Logik, Mathematik und Sprachphilosophie bei Frege. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik , edited by Schirn Matthias, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt 1976, pp. 13–26.Sluga Hans D.. Frege as a rationalist. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik , edited by Schirn Matthias, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt 1976, pp. 27–47.Veraart Albert. Geschichte des wissenschaftlichen Nachlasses Gottlob Freges und seiner Edition. Mit einem Katalog des urspriinglichen Bestands der nachgelassenen Schriften Freges. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik , edited by Schirn Matthias, Problemata, no. 42, Frommann-Holzboog, Stuttgart and Bad Cannstatt 1976, pp. 49–106.Dudman Victor H.. From Boole to Frege. Studicn zu Frege, Volume I, Logik und Philosophie der Mathematik , edited by Schirn Matthias, Problema. [REVIEW]R. H. Stoothoff - 1982 - Journal of Symbolic Logic 47 (1):226-229.
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.

Analytics

Added to PP
2009-01-28

Downloads
145 (#156,082)

6 months
4 (#1,263,115)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Matthias Schirn
Ludwig Maximilians Universität, München

Citations of this work

Consistency, Models, and Soundness.Matthias Schirn - 2010 - Axiomathes 20 (2):153-207.

Add more citations

References found in this work

The Logic of Provability.George Boolos - 1993 - Cambridge and New York: Cambridge University Press.
Undecidable theories.Alfred Tarski - 1968 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Arithmetization of Metamathematics in a General Setting.Solomon Feferman - 1960 - Journal of Symbolic Logic 31 (2):269-270.
Extensions of some theorems of gödel and church.Barkley Rosser - 1936 - Journal of Symbolic Logic 1 (3):87-91.
Grundlagen der Mathematik II.D. Hilbert & P. Bernays - 1974 - Journal of Symbolic Logic 39 (2):357-357.

View all 14 references / Add more references