The work of Kurt gödel

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

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,743

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
42 (#274,159)

6 months
1 (#386,989)

Historical graph of downloads
How can I increase my downloads?

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.
Introduction to Metamathematics.H. Rasiowa - 1954 - Journal of Symbolic Logic 19 (3):215-216.
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 11 references / Add more references

Citations of this work

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

Add more citations

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.
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.
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 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Journal of Symbolic Logic. Oxford University Press. pp. 176--187.
Kurt Gödel and the Foundations of Mathematics: Horizons of Truth.Matthias Baaz (ed.) - 2011 - Cambridge, England: Cambridge University Press.