Kurt Gödel, Collected Works

(ed.)
Oxford University Press (1995)
  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

Chapters

Introductory note to Kurt gödel's ``some basic theorems on the foundations of mathematics and their implications''.George Boolos

Similar books and articles

Remarks before the Princeton Bicentennial Conference on Problems in Mathematics.Kurt Gödel - 1946 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 150--153.
Introductory note to Kurt gödel's ``some basic theorems on the foundations of mathematics and their implications''.George Boolos - 1995 - In Solomon Feferman (ed.), Kurt Gödel, Collected Works. Oxford University Press. pp. 290-304.
On an Extension of Finitary Mathematics which has not yet been Used.Kurt Gödel - 1972 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 271--284.
Some Remarks on the Undecidability Results.Kurt Gödel - 1972 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Kurt Gödel: Collected Works Vol. Ii. Oxford University Press. pp. 305--306.
What is Cantor's Continuum Problem?Kurt Gödel - 1947 - The American Mathematical Monthly 54 (9):515--525.
Kurt Gödel: Collected Works Vol. Ii.Solomon Feferman, John Dawson & Stephen Kleene (eds.) - 1990 - Oxford University Press.
Kurt Gdel: Collected Works: Volume Iv: Selected Correspondence, a-G.Kurt Gdel & Stanford Unviersity of Mathematics - 1986 - Clarendon Press.

Analytics

Added to PP
2010-06-22

Downloads
3 (#1,686,544)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.
Arithmetical Reflection and the Provability of Soundness.Walter Dean - 2015 - Philosophia Mathematica 23 (1):31-64.
Strict finitism, feasibility, and the sorites.Walter Dean - 2018 - Review of Symbolic Logic 11 (2):295-346.
Gödel And The Intuition Of Concepts.Richard Tieszen - 2002 - Synthese 133 (3):363-391.

View all 23 citations / Add more citations

References found in this work

No references found.

Add more references