The work of Kurt gödel

Journal of Symbolic Logic 41 (4):761-778 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272394

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

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

The Gödel hierarchy and reverse mathematics.Stephen G. Simpson - 2010 - In Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.), Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
An addendum to the work of Kurt gödel.Stephen C. Kleene - 1978 - Journal of Symbolic Logic 43 (3):613.
Kurt Gödel: essays for his centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Ithaca, NY: Association for Symbolic Logic.
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 and the foundations of mathematics: horizons of truth.Matthias Baaz (ed.) - 2011 - New York: Cambridge University Press.

Analytics

Added to PP
2009-01-28

Downloads
52 (#306,424)

6 months
5 (#639,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2008 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.
The mathematical work of S. C. Kleene.J. R. Shoenfield & S. C. Kleene - 1995 - Bulletin of Symbolic Logic 1 (1):8-43.

Add more citations

References found in this work

On Computable Numbers, with an Application to the Entscheidungsproblem.Alan Turing - 1936 - Proceedings of the London Mathematical Society 42 (1):230-265.
Grundzüge der theoretischen Logik.D. Hilbert & W. Ackermann - 1928 - Annalen der Philosophie Und Philosophischen Kritik 7:157-157.
Introduction to Mathematical Logic.S. C. Kleene - 1956 - Journal of Symbolic Logic 23 (3):362-362.

View all 10 references / Add more references