Order:
Disambiguations
Kurt Gödel [39]Dorothee Godel [11]Roger Godel [6]K. Gödel [5]
Rainer Godel [2]R. Gödel [2]Robert Godel [1]Gottlob Gödel [1]

Not all matches are shown. Search with initial or firstname to single out others.

See also
  1. Collected Works.Kurt Gödel - 1986 - Oxford University Press.
    Kurt Godel was the most outstanding logician of the twentieth century, famous for his work on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computation theory, as well as for the strong individuality of his writings on the philosophy of mathematics. Less well-known is his discovery of unusual cosmological models for Einstein's (...)
     
    Export citation  
     
    Bookmark   77 citations  
  2. The modern development of the foundations of mathematics in the light of philosophy.Kurt Godel - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   33 citations  
  3.  4
    O pewnych zasadniczych twierdzeniach dotyczących podstaw matematyki i wnioskach z nich płynących.Kurt Gödel - 2018 - Studia Semiotyczne 32 (2):9-32.
    Badania nad podstawami matematyki przyniosły w ostatnich dziesięcioleciach wyniki, które wydają mi się ciekawe nie tylko dla nich samych, lecz także z uwagi na wnioski, jakie płyną z nich w odniesieniu do tradycyjnych problemów filozoficznych dotyczących natury matematyki. Same wyniki są dość szeroko znane, mimo to jednak sądzę, że warto raz jeszcze przedstawić je w zarysie, zwłaszcza w obliczu faktu, że dzięki pracy szeregu matematyków zyskały one znacznie doskonalszą formę, niż miały pierwotnie. Największy postęp, mający decydujące znaczenie dla tych wyników, (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  4.  56
    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.
  5.  16
    Über eine bisher noch nicht benützte erweiterung Des finiten standpunktes.Von Kurt Gödel - 1958 - Dialectica 12 (3‐4):280-287.
    ZusammenfassungP. Bernays hat darauf hingewiesen, dass man, um die Widerspruchs freiheit der klassischen Zahlentheorie zu beweisen, den Hilbertschen flniter Standpunkt dadurch erweitern muss, dass man neben den auf Symbole sich beziehenden kombinatorischen Begriffen gewisse abstrakte Begriffe zulässt, Die abstrakten Begriffe, die bisher für diesen Zweck verwendet wurden, sinc die der konstruktiven Ordinalzahltheorie und die der intuitionistischer. Logik. Es wird gezeigt, dass man statt deesen den Begriff einer berechenbaren Funktion endlichen einfachen Typs über den natürlichen Zahler benutzen kann, wobei keine anderen (...)
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   127 citations  
  6. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.K. Gödel - 1931 - Monatshefte für Mathematik 38 (1):173--198.
    Translate
     
     
    Export citation  
     
    Bookmark   159 citations  
  7. Russell's Mathematical Logic.Kurt Gödel - 1944 - In Solomon Feferman, John Dawson & Stephen Kleene (eds.), Journal of Symbolic Logic. Northwestern University Press. pp. 119--141.
  8. A Remark About the Relationship Between Relativity Theory and Idealistic Philosophy.Paul Arthur Schilpp & Kurt Gödel - 1949 - Harper & Row.
    Translate
     
     
    Export citation  
     
    Bookmark   56 citations  
  9. What is Cantor's Continuum Problem (1964 Version).Kurt Gödel - 1964 - In P. Benacerraf H. Putnam (ed.), Journal of Symbolic Logic. Prentice-Hall. pp. 116-117.
    Direct download  
     
    Export citation  
     
    Bookmark   44 citations  
  10. An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation.Kurt Gödel - 1949 - Reviews of Modern Physics 21 (3):447–450.
  11. Is Mathematics Syntax of Language?Kurt Gödel - 1953 - In K. Gödel Collected Works. Oxford University Press: Oxford. pp. 334--355.
     
    Export citation  
     
    Bookmark   33 citations  
  12.  41
    The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory.Kurt Gödel - 1940 - Princeton University Press;.
  13. The Philosophy of Bertrand Russell.Kurt Gödel - 1944 - Northwestern University Press.
    Translate
     
     
    Export citation  
     
    Bookmark   39 citations  
  14. The Consistency of the Continuum Hypothesis.Kurt Gödel - 1940 - Princeton University Press.
    Translate
     
     
    Export citation  
     
    Bookmark   32 citations  
  15. Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes.K. Gödel - 1958 - Dialectica 12 (3):280.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   41 citations  
  16. Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   29 citations  
  17. 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.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   15 citations  
  18. 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.
    Translate
     
     
    Export citation  
     
    Bookmark   22 citations  
  19. 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.
    Translate
     
     
    Export citation  
     
    Bookmark   14 citations  
  20.  59
    Kurt Gödel: Essays for His Centennial.Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) - 2010 - Association for Symbolic Logic.
    Machine generated contents note: Part I. General: 1. The Gödel editorial project: a synopsis Solomon Feferman; 2. Future tasks for Gödel scholars John W. Dawson, Jr., and Cheryl A. Dawson; Part II. Proof Theory: 3. Kurt Gödel and the metamathematical tradition Jeremy Avigad; 4. Only two letters: the correspondence between Herbrand and Gödel Wilfried Sieg; 5. Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counter-example interpretation W. W. Tait; 6. Gödel on intuition and on Hilbert's finitism W. W. (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  21.  84
    Collected Works of Kurt Godel 1938-1974.Georg Kreisel, Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay & Jean van Heijenoort - 1991 - Journal of Symbolic Logic 56 (3):1085.
  22. Collected Works: Volume Iii: Unpublished Essays and Lectures Vol. 3.Kurt Gödel - 1995 - Oxford University Press.
    No categories
     
    Export citation  
     
    Bookmark   4 citations  
  23.  6
    Unpublished Philosophical Essays.Kurt Gödel & Francisco A. Rodríguez-Consuegra - 1999 - Studia Logica 62 (1):107-113.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  75
    Diskussion Zur Grundlegung der Mathematik.Kurt Gödel - 1931 - Erkenntnis 2 (1):135-151.
  25. La lógica matemática de Russell.Kurt Gödel - 2006 - Teorema: International Journal of Philosophy 25 (2):113-138.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  26.  58
    On a Hitherto Unexploited Extension of the Finitary Standpoint.Kurt Gödel - 1980 - Journal of Philosophical Logic 9 (2):133 - 142.
    P. Bernays has pointed out that, in order to prove the consistency of classical number theory, it is necessary to extend Hilbert's finitary standpoint by admitting certain abstract concepts in addition to the combinatorial concepts referring to symbols. The abstract concepts that so far have been used for this purpose are those of the constructive theory of ordinals and those of intuitionistic logic. It is shown that the concept of a computable function of finite simple type over the integers can (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  27.  43
    On Undecidable Propositions of Formal Mathematical Systems .PostscriptumIntroductory Note to 1934.Martin Davis, Kurt Godel & Stephen C. Kleene - 1990 - Journal of Symbolic Logic 55 (1):347.
  28.  65
    Unpublished Philosophical Essays.Kurt Gödel - 1995 - Birkhäuser Verlag.
    The goal of this book is to make available to the scholarly public solid reconstructions and editions of two of the most important essays which Godel wrote on ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  29. An Interpretation of the Intuitionistic Sentential Calculus.K. Gödel - 1969 - In Jaakko Hintikka (ed.), The Philosophy of Mathematics. London: Oxford University Press.
  30. Le théorème de Gödei.E. Nagel, J. R. Newman, K. Gödel, J. Y. Girard & J. Scherrer - 1990 - Revue Philosophique de la France Et de l'Etranger 180 (4):706-708.
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  31. Foundations of Mathematics Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel.Jack J. Bulloff, Kurt Gödel, S. W. Hahn, Thomas C. Holyoke & Ohio Academy of Science - 1969 - Springer Verlag.
  32. Una observación sobre la relación entre la teoría de la relatividad y la filosofía idealista.Kurt Gödel - 2006 - Teorema: International Journal of Philosophy 25 (3):103-108.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  6
    Gödel Remembered Salzburg 10-12 July 1983.R. Gödel, Leopold Schmetterer, Paul Weingartner & Austria) Österreichische Akademie der Wissenschaften - 1987
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. K. Gödel Collected Works.Kurt Gödel - 1953 - Oxford University Press: Oxford.
     
    Export citation  
     
    Bookmark   2 citations  
  35.  17
    Metamorphosis: Transformations of the Body and the Influence of Ovid's Metamorphoses on Germanic Literature of the Nineteenth and Twentieth Centuries. By David Gallagher.Rainer Godel - 2012 - The European Legacy 17 (6):840-840.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  29
    Les mathématiques sont-elles une syntaxe du langage?Kurt Gödel - 1995 - Dialogue 34 (1):3-.
    No categories
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. Diskussion zur Grundlegung der Mathematik am Sonntag, dem 7. Sept. 1930.Kurt Gödel - 1931 - Erkenntnis 2 (1):135-151.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  38.  8
    Review of Skolem's Über Die Unmöglichkeit Einer Vollständigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems. [REVIEW]John Dawson, Kurt Godel & Robert Vaught - 1990 - Journal of Symbolic Logic 55 (1):347-348.
    Direct download  
     
    Export citation  
     
    Bookmark  
  39.  6
    An Introduction to the Study of Classical Armenian.John A. C. Greppin & Robert Godel - 1976 - Journal of the American Oriental Society 96 (3):471.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  7
    II.2 Das Verhältnis von Schleiermachers ersten Predigten zur Theologie der Aufklärung.Dorothee Godel - 2015 - In Predigt Als Vermittlung: Studien Zum Verhältnis von Theologie Und Philosophie in Schleiermachers Ersten Predigten. De Gruyter. pp. 116-239.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41.  4
    „Eine unendliche Menge dunkeler Vorstellungen“ Zur Widerständigkeit von Empfindungen und Vorurteilen in der deutschen Spätaufklärung.Rainer Godel - 2002 - Deutsche Vierteljahrsschrift für Literaturwissenschaft Und Geistesgeschichte 76 (4):542-576.
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  4
    I. Einleitung und Vorbemerkungen.Dorothee Godel - 2015 - In Predigt Als Vermittlung: Studien Zum Verhältnis von Theologie Und Philosophie in Schleiermachers Ersten Predigten. De Gruyter. pp. 1-28.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43.  3
    II.1 Das Verhältnis von Schleiermachers ersten Predigten zur Eberhardschen und Kantischen Praktischen Philosophie.Dorothee Godel - 2015 - In Predigt Als Vermittlung: Studien Zum Verhältnis von Theologie Und Philosophie in Schleiermachers Ersten Predigten. De Gruyter. pp. 29-116.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  44.  3
    IV. Predigt als Vermittlung: Ausblick auf die gegenwärtige Homiletik.Dorothee Godel - 2015 - In Predigt Als Vermittlung: Studien Zum Verhältnis von Theologie Und Philosophie in Schleiermachers Ersten Predigten. De Gruyter. pp. 383-388.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  45.  3
    Personenregister.Dorothee Godel - 2015 - In Predigt Als Vermittlung: Studien Zum Verhältnis von Theologie Und Philosophie in Schleiermachers Ersten Predigten. De Gruyter. pp. 405-408.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  46.  3
    V. Anhang: Liste der ersten Predigten Schleiermachers.Dorothee Godel - 2015 - In Predigt Als Vermittlung: Studien Zum Verhältnis von Theologie Und Philosophie in Schleiermachers Ersten Predigten. De Gruyter. pp. 389-392.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  2
    II.3 Schleiermachers erste Predigten im Kontext seiner frühen philosophischen Studien und literarischen Unternehmungen.Dorothee Godel - 2015 - In Predigt Als Vermittlung: Studien Zum Verhältnis von Theologie Und Philosophie in Schleiermachers Ersten Predigten. De Gruyter. pp. 240-376.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  48.  2
    III. Zu den Ergebnissen der vorliegenden Untersuchung.Dorothee Godel - 2015 - In Predigt Als Vermittlung: Studien Zum Verhältnis von Theologie Und Philosophie in Schleiermachers Ersten Predigten. De Gruyter. pp. 377-382.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  49.  2
    VI. Literaturverzeichnis.Dorothee Godel - 2015 - In Predigt Als Vermittlung: Studien Zum Verhältnis von Theologie Und Philosophie in Schleiermachers Ersten Predigten. De Gruyter. pp. 393-404.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50.  1
    Vorwort.Dorothee Godel - 2015 - In Predigt Als Vermittlung: Studien Zum Verhältnis von Theologie Und Philosophie in Schleiermachers Ersten Predigten. De Gruyter.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 60