48 found
Order:
  1.  35
    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 (...)
    Direct download  
     
    Export citation  
     
    Bookmark   97 citations  
  2. 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.
  3.  68
    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.
  4. A Remark About the Relationship Between Relativity Theory and Idealistic Philosophy.Paul Arthur Schilpp & Kurt Gödel - 1949 - Harper & Row.
    Translate
     
     
    Export citation  
     
    Bookmark   70 citations  
  5.  63
    Consistency of the Continuum Hypothesis.Kurt Gödel - 1940 - Princeton University Press;.
    Kurt Gödel, mathematician and logician, was one of the most influential thinkers of the twentieth century. Gödel fled Nazi Germany, fearing for his Jewish wife and fed up with Nazi interference in the affairs of the mathematics institute at the University of Göttingen. In 1933 he settled at the Institute for Advanced Study in Princeton, where he joined the group of world-famous mathematicians who made up its original faculty. His 1940 book, better known by its short title, The Consistency of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   62 citations  
  6. What is Cantor's Continuum Problem?Kurt Gödel - 1983 - In Paul Benacerraf & Hilary Putnam (eds.), Philosophy of Mathematics: Selected Readings (2nd Edition). Cambridge: Cambridge University Press. pp. 470-485.
  7.  15
    On Formally Undecidable Propositions of Principia Mathematica and Related Systems.Kurt Gödel - 1931 - New York, NY, USA: Basic Books.
    First English translation of revolutionary paper that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. Introduction by R. B. Braithwaite.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   42 citations  
  8.  20
    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.
  9. The Philosophy of Bertrand Russell.Kurt Gödel - 1944 - Northwestern University Press.
    Translate
     
     
    Export citation  
     
    Bookmark   40 citations  
  10.  19
    The Consistency of the Continuum Hypothesis.Kurt Godel - 1940 - Princeton University Press.
    Previously published: Princeton University Press, 1940.
    Direct download  
     
    Export citation  
     
    Bookmark   39 citations  
  11. The modern development of the foundations of mathematics in the light of philosophy.Kurt Godel - unknown
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   40 citations  
  12. 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   48 citations  
  13. 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   48 citations  
  14. Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes.Kurt Gödel - 1958 - Dialectica 12 (3):280.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   72 citations  
  15.  9
    Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory.Kurt Gödel - 1940 - Princeton, NJ, USA: Princeton University Press.
  16. 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   31 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   24 citations  
  18.  86
    Diskussion Zur Grundlegung der Mathematik.Kurt Gödel - 1931 - Erkenntnis 2 (1):135-151.
  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   21 citations  
  20.  73
    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   7 citations  
  21.  1
    Collected Works: Volume Iii: Unpublished Essays and Lectures Vol. 3.Kurt Gödel - 1986 - Oxford, England and New York, NY, USA: Oxford University Press.
    Kurt Gödel was the greatest logician of this century. This third volume of his collected works consists of previously unpublished material, both essays and lectures.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  22.  5
    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  
  23.  68
    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   7 citations  
  24. K. Gödel Collected Works.Kurt Gödel - 1953 - Oxford University Press: Oxford.
     
    Export citation  
     
    Bookmark   4 citations  
  25.  68
    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  
  26. 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   3 citations  
  27.  8
    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  
  28. What is Cantor’s Continuum Problem?Kurt Gödel - 1984 - In Hilary Putnam & Paul Benacerraf (eds.), Philosophy of Mathematics: Selected Readings. Cambridge University Press. pp. 470–485.
    No categories
     
    Export citation  
     
    Bookmark   3 citations  
  29.  89
    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.
  30.  4
    Collected Works, Volume 1: Publications 1929-1936.Kurt Gödel - 1986 - Oxford, England: Clarendon Press.
    The initial volume of a comprehensive edition of Gödel's works, this book makes available for the first time in a single source all his publications from 1929 to 1936. The volume begins with an informative overview of Gödel's life and work and features facing English translations for all German originals, extensive explanatory and historical notes, and a complete biography. Volume 2 will contain the remainder of Gödel's published work, and subsequent volumes will include unpublished manuscripts, lectures, correspondence and extracts from (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  31. 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  
  32. Collected Works. Vol. IV: Correspondence A-G. Vol. V: Correspondence H-Z.Kurt Gödel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg - 2004 - Tijdschrift Voor Filosofie 66 (1):165-166.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  33.  2
    Foundations of Mathematics: Symposium Papers Commemorating the 60th Birthday of Kurt Godel.Kurt Gödel, Jack J. Bulloff, Thomas C. Holyoke & Samuel Wilfred Hahn (eds.) - 1969 - New York: Springer.
  34.  6
    Kurt Godel Collected Works: Volume V: Correspondence, H-Z.Kurt Gödel - 2003 - Oxford, England: Oxford University Press UK.
    Kurt Gödel was the most outstanding logician of the twentieth century, famous for his hallmark works 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 computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Kurt Godel Collected Works: Volume Iv: Selected Correspondence, a-G.Kurt Gödel - 1986 - Oxford, England: Oxford University Press UK.
    Kurt Gödel was the most outstanding logician of the twentieth century, famous for his hallmark works 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 computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36. Maximen Iii / Maxims Iii.Kurt Gödel - 2021 - De Gruyter.
    Der Mathematiker Kurt Gödel hat über einen Zeitraum von 22 Jahren philosophische Bemerkungen niedergeschrieben. Sie sind in 15 Notizbüchern in der Kurzschrift Gabelsberger überliefert. Das erste Heft enthält allgemeine philosophische Überlegungen, die Hefte zwei und drei bestehen aus Gödels Individualethik. Die dann folgenden zeigen, dass Gödel eine Wissenschaftsphilosophie entworfen hat, in der er seine Erörterungen zu Physik, Psychologie, Biologie, Mathematik, Sprache, Theologie und Geschichte in den Kontext einer Metaphysik stellt. Erstmals wird nun an der Kurt-Gödel-Forschungsstelle der Berlin-Brandenburgischen Akademie der Wissenschaften (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  36
    Philosophie I Maximen 0 / Philosophy I Maxims 0: Philosophische Notizbücher Band 1 / Philosophical Notebooks Volume 1.Kurt Gödel - 2019 - Berlin / Boston: De Gruyter.
    Over a period of 22 years (1934-1955), the mathematician Kurt Gödel wrote down a series of philosophical reflections, the so-called Philosophical Remarks (Max Phil). They have been handed down in 15 notebooks written in Gabelsberg shorthand. The first notebook contains general philosophical reflections. Notebooks two and three consist of Gödel's individual ethics. The notebooks that follow clearly show that Gödel had designed a philosophy of science in which he placed his discussions of physics, psychology, biology, mathematics, language, theology, and history (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  9
    Philosophie I Maximen 0 / Philosophy I Maxims 0.Kurt Gödel - 2019 - De Gruyter.
    Der Mathematiker Kurt Gödel hat über einen Zeitraum von 22 Jahren philosophische Bemerkungen, die so genannten Maximen Philosophie, niedergeschrieben. Sie sind in 15 Notizbüchern in der Kurzschrift Gabelsberger überliefert. Das erste Notizheft enthält allgemeine philosophische Überlegungen, die Hefte zwei und drei bestehen aus Gödels Individualethik. Die dann folgenden Notizbücher machen deutlich, dass Gödel eine Wissenschaftsphilosophie entworfen hat, in der er seine Erörterungen zu Physik, Psychologie, Biologie, Mathematik, Sprache, Theologie und Geschichte in den Kontext einer Metaphysik stellt.Erstmals wird nun an der (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Philosophische Notizbücher, Band 1: Philosophie I Maximen 0 / Philosophical Notebooks, Volume 1: Philosophy I Maxims 0, Edited by Eva-Maria Engelen, Translated by Merlin Carl, Berlin (De Gruyter) 2019.Kurt Gödel (ed.) - 2019 - Berlin: De Gruyter.
    Over a period of 22 years (1934-1955), the mathematician Kurt Gödel wrote down a series of philosophical reflections, the so-called Philosophical Remarks (Max Phil). They have been handed down in 15 notebooks written in Gabelsberg shorthand. The first notebook contains general philosophical reflections. Notebooks two and three consist of Gödel's individual ethics. The notebooks that follow clearly show that Gödel had designed a philosophy of science in which he placed his discussions of physics, psychology, biology, mathematics, language, theology, and history (...)
     
    Export citation  
     
    Bookmark  
  40. Philosophische Notizbücher, Band 2: Zeiteinteilung (Maximen) I Und II / Philosophical Notebooks, Volume 2: Time Management (Maxims) I and II, Edited by Eva-Maria Engelen, Translated by Merlin Carl, Berlin (De Gruyter) 2020.Kurt Gödel (ed.) - 2020 - Berlin: De Gruyter.
    Volume 2 contains both notebooks of "Time Management (Max) I and II" and thereby Gödel’s applied individual ethics, which he received among others through his teacher Heinrich Gomperz. Gödel thus incorporates the ethical ideal of self-perfection into his opus. The volume is prefaced by an introduction to relevant considerations from the ethics of the Stoics as well as ancient dietetics, which provide the philosophical background to understand Gödel’s approach. In addition, editor Eva-Maria Engelen presents how this fits into the context (...)
     
    Export citation  
     
    Bookmark  
  41. Unpublished Philosophical Essays.Kurt Gödel & F. Rodríguez-Consuegra - 1998 - Revue Philosophique de la France Et de l'Etranger 188 (4):503-504.
    Translate
     
     
    Export citation  
     
    Bookmark  
  42.  2
    Zeiteinteilung (Maximen) I Und Ii.Kurt Gödel - 2020 - De Gruyter.
    Der Mathematiker Kurt Gödel hat über einen Zeitraum von 22 Jahren philosophische Bemerkungen, die so genannten Maximen Philosophie, niedergeschrieben. Sie sind in 15 Notizbüchern in der Kurzschrift Gabelsberger überliefert. Das erste Heft enthält allgemeine philosophische Überlegungen, die Hefte zwei und drei bestehen aus Gödels angewandter Individualethik. Die dann folgenden zeigen, dass Gödel eine Wissenschaftsphilosophie entworfen hat, in der er seine Erörterungen zu Physik, Psychologie, Biologie, Mathematik, Sprache, Theologie und Geschichte in den Kontext einer Metaphysik stellt. Erstmals wird nun an der (...)
    No categories
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. Kurt Godel.Kurt Godel - 2004 - In Julian Baggini & Jeremy Stangroom (eds.), The Great Thinkers a-Z. Continuum. pp. 105.
  44. 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  
  45.  32
    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  
  46.  53
    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.
  47.  11
    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  
  48.  2
    Collected Works, Volume 2: Publications 1938-1974.Kurt Gödel - 1986 - Oxford, England and New York, NY, USA: Oxford University Press.
    Kurt Godel was the most outstanding logician of the 20th century. This second volume of Godel's works collects the remainder of his published work, covering the period 1938-1974. Each article or closely related group of articles is preceded by an introductory note that elucidates it and places it in its historical context.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation