Kurt Gödel
#69
Most Influential Person Across History
Austrian-American logician, mathematician, and philosopher of mathematics
Kurt Gödel's AcademicInfluence.com Rankings
Kurt Gödelphilosophy Degrees
Philosophy
#34
Historical Rank
Mathematical Logic
#1
Historical Rank
Logic
#5
Historical Rank
Download Badge
Mathematics Philosophy
Kurt Gödel's Degrees
- PhD Mathematics University of Vienna
Why Is Kurt Gödel Influential?
(Suggest an Edit or Addition)According to Wikipedia, Kurt Friedrich Gödel was a logician, mathematician, and philosopher. Considered along with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel had an immense effect upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, Alfred North Whitehead, and David Hilbert were using logic and set theory to investigate the foundations of mathematics, building on earlier work by the likes of Richard Dedekind, Georg Cantor and Gottlob Frege.
Kurt Gödel's Published Works
Published Works
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (1931) (2193)
- An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation (1949) (1315)
- Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (1931) (1173)
- On Formally Undecidable Propositions of Principia Mathematica and Related Systems (1966) (886)
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES (1958) (783)
- The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis. (1938) (575)
- Die Vollständigkeit der Axiome des logischen Funktionenkalküls (1930) (555)
- On undecidable propositions of formal mathematical systems (1934) (333)
- What is Cantor's Continuum Problem? (1947) (287)
- Philosophy of mathematics: Russell's mathematical logic (1984) (267)
- Consistency of the Continuum Hypothesis. (AM-3) (1940) (224)
- Kurt Gödel : collected works (1986) (187)
- Philosophy of mathematics: What is Cantor's continuum problem? (1984) (163)
- Consistency-Proof for the Generalized Continuum-Hypothesis. (1939) (142)
- Zum Entscheidungsproblem des logischen Funktionenkalküls (1933) (61)
- Diskussion zur Grundlegung der Mathematik (1931) (44)
- On a hitherto unexploited extension of the finitary standpoint (1980) (42)
- Foundations of Mathematics Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel (1969) (18)
- Zur Logik der Modalitäten (1931) (13)
- Foundations of Mathematics (1969) (9)
- Verzeichnis von Büchern, die bei der Redaktion eingelaufen sind und einer späteren Besprechung vorbehalten bleiben (1931) (5)
- Fiktionen in der Mathematik (1931) (2)
- Static Interpretation of Space-Time (1976) (2)
- Philosophie der Logik und Arithmetik (1932) (1)
- Bericht über das Kolloquium 1931/32 . Gesammelte Mitteilungen des Jahres 1931/32 (0)
- CHAPTER VIII. PROOF THAT V = L IMPLIES THE AXIOM OF CHOICE AND THE GENERALISED CONTINTUUM-HYPOTHESIS (1940) (0)
- CHAPTER IV. CARDINAL NUMBERS (1940) (0)
- Introduction to Analysis of Algorithms Notes on Turing Machines (0)
- Kurt Gödel Faculty file: pre-1953 Memberships (1951) (0)
- A Conformiq Technology Brief The Conformiq Approach to Algorithmic Test Generation (0)
- Notes Added to the Second Printing (1940) (0)
- CHAPTER II. EXISTENCE OF CLASSES AND SETS (1940) (0)
- CHAPTER VI. PROOF OF THE AXIOMS OF GROUPS A-D FOR THE MODEL Δ (1940) (0)
- CHAPTER I. THE AXIOMS OF ABSTRACT SET THEORY (1940) (0)
- CHAPTER V. THE MODEL Δ (1940) (0)
- CHAPTER III. ORDINAL NUMBERS (1940) (0)
- Das Problem der mathematischen Wahrscheinlichkeit (1931) (0)
- H. Hahn, Reclle Funktionen (1933) (0)
- Bericht über das Kolloquium 1929/30 ; Gesammelte Mitteilungen des Jahres 1929/30 (1932) (0)
- Bericht über das Kolloquium 1930/31 . Gesammelte Mitteilungen des Jahres 1930/31 (0)
- Vorbemerkung des Herausgebers ; Gesammelte Mitteilungen der Jahre 1928/29 (1931) (0)
- CHAPTER VII. PROOF THAT V = L HOLDS IN THE MODEL Δ (1940) (0)
This paper list is powered by the following services:
Other Resources About Kurt Gödel
What Schools Are Affiliated With Kurt Gödel?
Kurt Gödel is affiliated with the following schools: