Godel's legacy in mathematical philosophy

Abstract

Gödel's definitive results and his essays leave us with a rich legacy of philosophical programs that promise to be subject to mathematical treatment. After surveying some of these, we focus attention on the program of circumventing his demonstrated impossibility of a consistency proof for mathematics by means of extramathematical concepts.

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



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

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

  • Only published works are available at libraries.

My notes

Similar books and articles

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 Consistency to Incompleteness: A Philosophical Study of Hilbert's Program and Goedel's Incompleteness Theorem.Byoung-il Choi - 1997 - Dissertation, University of California, Berkeley
From Solvability to Formal Decidability. Revisiting Hilbert’s Non-Ignorabimus.Andrea Reichenberger - 2018 - Journal for Humanistic Mathematics 9 (1):49–80.
Interpreting Gödel: Critical Essays.Juliette Kennedy (ed.) - 2014 - Cambridge: Cambridge University Press.
Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy.Petr Hájek & Jiří Zlatuška - 1996 - Bulletin of Symbolic Logic 2 (4):473-473.
Hilbert’s Program: the Transcendental Roots of Mathematical Knowledge.Rosen Lutskanov - 2010 - Balkan Journal of Philosophy 2 (2):121-126.
Wittgenstein as his own worst enemy: The case of gödel's theorem.Mark Steiner - 2001 - Philosophia Mathematica 9 (3):257-279.
The Notion of Explanation in Gödel’s Philosophy of Mathematics.Krzysztof Wójtowicz - 2019 - Studia Semiotyczne—English Supplement 30:85-106.
Godel's Proof.S. R. Peterson - 1961 - Philosophical Quarterly 11 (45):379.
Foundational Adventures: essays in honour of Harvey M. Friedman.Harvey Friedman & Neil Tennant (eds.) - 2014 - [London]: College Publications.

Analytics

Added to PP
2009-01-28

Downloads
295 (#93,682)

6 months
295 (#7,497)

Historical graph of downloads
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