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: 93,779

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

An addendum to the work of Kurt gödel.Stephen C. Kleene - 1978 - Journal of Symbolic Logic 43 (3):613.
The Work auf Kurt Gödel.[author unknown] - 1984 - Philosophia Naturalis 21:538-538.
Logical Dilemmas: The Life and Work of Kurt Gödel.John W. Dawson - 1999 - Studia Logica 63 (1):147-150.
The published work of Kurt Gödel: an annotated bibliography.John W. Dawson - 1983 - Notre Dame Journal of Formal Logic 24 (2):255-284.
Addenda and corrigenda to: "The published work of Kurt Gödel: an annotated bibliography".John W. Dawson - 1984 - Notre Dame Journal of Formal Logic 25 (3):283-287.
Logical Dilemmas: The Life and Work of Kurt Godel by John W. Dawson, Jr. [REVIEW]Mario Gomez-Torrente - 1998 - Isis 89:356-357.
Logical Dilemmas. The Life and Work of Kurt Gödel. [REVIEW]Helmut Veith - 1998 - Vienna Circle Institute Yearbook 5:406-408.
John W. Dawson, Jr. Logical Dilemmas: The Life and Work of Kurt Gödel. Wellesley, Massachusetts: A. K. Peters, 1997. Pp. xiv + 361. ISBN 1-56881-025-3. [REVIEW]Martin Davis - 1998 - Philosophia Mathematica 6 (1):116-128.
Why Reductionism does not Work.George F. R. Ellis - 2021 - In Oliver Passon & Christoph Benzmüller (eds.), Wider den Reduktionismus -- Ausgewählte Beiträge zum Kurt Gödel Preis 2019. Springer Nature Switzerland. pp. 51-92.
Kurt Gödel. Über die Vollständigkeit des Logikkalküls . Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, even pp. 60– 100. - Kurt Gödel. On the completeness of the calculus of logic . English translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the preceding. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, odd pp. 61– 101. - Kurt Gödel. Die Vollständigkeit der Axiome des logischen Funktionenkalküls . A reprint of 4182. Collected Works, Volume I, Publications 1929–1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341-342.

Analytics

Added to PP
2009-01-28

Downloads
54 (#287,656)

6 months
7 (#592,867)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Dordrecht, Netherland: 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.
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 10 references / Add more references