×

zbMATH — the first resource for mathematics

Gödel, Kurt

Compute Distance To:
Author ID: godel.kurt Recent zbMATH articles by "Gödel, Kurt"
Published as: Gödel, Kurt; Gödel, K.; Goedel, Kurt; Gödel, Kurt Friedrich
External Links: MacTutor · MGP · Wikidata · Math-Net.Ru · dblp · GND · IdRef · theses.fr
Documents Indexed: 57 Publications since 1930, including 16 Books
Biographic References: 102 Publications

Co-Authors

56 single-authored
1 Menger, Karl
1 Wald, Abraham

Publications by Year

Citations contained in zbMATH Open

40 Publications have been cited 1,286 times in 1,163 Documents Cited by Year
An example of a new type of cosmological solutions of Einstein’s field equations of gravitation. Zbl 0041.56701
Gödel, Kurt
241
1949
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. JFM 57.0054.02
Gödel, K.
234
1931
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Zbl 0090.01003
Gödel, Kurt
164
1958
On formally undecidable propositions of Principia Mathematica and related systems. I. (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.) Zbl 0002.00101
Gödel, Kurt
106
1931
Die Vollständigkeit der Axiome des logischen Funktionenkalküls. JFM 56.0046.04
Gödel, K.
102
1930
The consistency of the continuum hypothesis. Zbl 0061.00902
Gödel, Kurt
78
1940
Zum intuitionistischen Aussagekalkül. JFM 58.1001.03
Gödel, K.
54
1932
The consistency of the axiom of choice and of the generalized continuum- hypothesis. Zbl 0020.29701
Gödel, Kurt
41
1938
What is Cantor’s continuum problem,. Zbl 0038.03003
Gödel, K.
39
1948
Eine Interpretation des intuitionistischen Aussagenkalküls. JFM 59.0866.01
Gödel, K.
33
1933
Consistency-proof for the generalized continuum-hypothesis. Zbl 0021.00102
Gödel, Kurt
23
1939
Zum Entscheidungsproblem des logischen Funktionenkalküls. Zbl 0008.28903
Gödel, Kurt
20
1933
The consistency of the axiom of choice and of the generalized continuum-hypothesis. JFM 64.0035.01
Gödel, K.
18
1938
Eine Interpretation des intuitionistischen Aussagenkalküls. Zbl 0007.19303
Gödel, Kurt
17
1933
Zur intuitionistischen Arithmetik und Zahlentheorie. JFM 59.0865.03
Gödel, K.
16
1933
On formally undecidable propositions of Principia Mathematica and related systems. Zbl 0124.00403
Gödel, K.
16
1962
Collected works. Volume II: Publications 1938-1974. Ed. by Solomon Feferman et al. Zbl 0698.01023
Gödel, Kurt
13
1990
Collected works. Volume I: Publications 1929–1936. Ed. by Solomon Feferman et al. Zbl 0592.01035
Gödel, Kurt
10
1986
The consistency of the continuum hypothesis. 3rd ed. Zbl 0051.28903
Gödel, K.
7
1953
Zum intuitionistischen Aussagenkalkül. JFM 59.0866.02
Gödel, K.
7
1933
Consistency-proof for the generalized continuum-hypothesis. JFM 65.0185.02
Gödel, K.
6
1939
Collected Works. Vol. III: Unpublished essays and lectures. Ed. by Solomon Feferman. Zbl 0826.01038
Goedel, Kurt
5
1995
Zum Entscheidungsproblem des logischen Funktionenkalküls. JFM 59.0865.01
Gödel, K.
4
1933
Rotating universes in general relativity theory. (Reprint). Zbl 0972.83005
Gödel, Kurt
3
2000
An example of a new type of cosmological solutions of Einstein’s field equations of gravitation. Zbl 0972.83004
Gödel, Kurt
3
2000
Unpublished philosophical essays. Ed. by Francisco A. Rodríguez-Consuegra. Zbl 0854.01046
Gödel, Kurt
3
1995
On a hitherto unexploited extension of the finitary standpoint. Zbl 0433.03040
Gödel, Kurt
3
1980
On formally undecidable propositions of Principia Mathematica and related systems. Transl. from the German and with a preface by B. Meltzer. With an introduction by R. B. Braithwaite. Reprint of the 1962 translation. Zbl 0896.03006
Gödel, Kurt
2
1992
Collected works. Volume I: Publications 1929–1936. Edited by Solomon Feferman and others. Paperback ed. Zbl 0973.01104
Gödel, Kurt
2
2001
On formally undecidable propositions of Principia Mathematica and related systems. I. With an introductory comment by Sy-David Friedman. (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. Mit einem einleitenden Kommentar von Sy-David Friedman.) Zbl 1103.03002
Gödel, Kurt
2
2006
Über Unabhängigkeitsbeweise im Aussagenkalkül. JFM 59.0865.02
Gödel, K.
2
1933
Ein Spezialfall des Entscheidungsproblems der theoretischen Logik. JFM 57.1321.01
Gödel, K.
2
1931
Zur intuitionistischen Arithmetik und Zahlentheorie. Zbl 0007.19304
Gödel, K.
2
1933
Collected works. Volume III: Unpublished essays and lectures. Edited by Solomon Feferman and others. Paperback ed. Zbl 1074.01015
Gödel, Kurt
2
2001
Collected works. Vol. V: Correspondence, H–Z. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01020
Gödel, Kurt
1
2003
Russell’s mathematical logic. Zbl 1035.03503
Gödel, Kurt
1
2002
Über die metrische Einbettbarkeit der Quadrupel des \(R_3\) in Kugelflächen. JFM 59.1261.05
Gödel, K.
1
1933
Einige mathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit. JFM 56.0060.26
Gödel, K.
1
1930
Über die Länge von Beweisen. Zbl 0014.24102
Gödel, Kurt
1
1936
Über die Länge von Beweisen. JFM 62.0043.01
Gödel, K.
1
1936
On formally undecidable propositions of Principia Mathematica and related systems. I. With an introductory comment by Sy-David Friedman. (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. Mit einem einleitenden Kommentar von Sy-David Friedman.) Zbl 1103.03002
Gödel, Kurt
2
2006
Collected works. Vol. V: Correspondence, H–Z. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01020
Gödel, Kurt
1
2003
Russell’s mathematical logic. Zbl 1035.03503
Gödel, Kurt
1
2002
Collected works. Volume I: Publications 1929–1936. Edited by Solomon Feferman and others. Paperback ed. Zbl 0973.01104
Gödel, Kurt
2
2001
Collected works. Volume III: Unpublished essays and lectures. Edited by Solomon Feferman and others. Paperback ed. Zbl 1074.01015
Gödel, Kurt
2
2001
Rotating universes in general relativity theory. (Reprint). Zbl 0972.83005
Gödel, Kurt
3
2000
An example of a new type of cosmological solutions of Einstein’s field equations of gravitation. Zbl 0972.83004
Gödel, Kurt
3
2000
Collected Works. Vol. III: Unpublished essays and lectures. Ed. by Solomon Feferman. Zbl 0826.01038
Goedel, Kurt
5
1995
Unpublished philosophical essays. Ed. by Francisco A. Rodríguez-Consuegra. Zbl 0854.01046
Gödel, Kurt
3
1995
On formally undecidable propositions of Principia Mathematica and related systems. Transl. from the German and with a preface by B. Meltzer. With an introduction by R. B. Braithwaite. Reprint of the 1962 translation. Zbl 0896.03006
Gödel, Kurt
2
1992
Collected works. Volume II: Publications 1938-1974. Ed. by Solomon Feferman et al. Zbl 0698.01023
Gödel, Kurt
13
1990
Collected works. Volume I: Publications 1929–1936. Ed. by Solomon Feferman et al. Zbl 0592.01035
Gödel, Kurt
10
1986
On a hitherto unexploited extension of the finitary standpoint. Zbl 0433.03040
Gödel, Kurt
3
1980
On formally undecidable propositions of Principia Mathematica and related systems. Zbl 0124.00403
Gödel, K.
16
1962
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Zbl 0090.01003
Gödel, Kurt
164
1958
The consistency of the continuum hypothesis. 3rd ed. Zbl 0051.28903
Gödel, K.
7
1953
An example of a new type of cosmological solutions of Einstein’s field equations of gravitation. Zbl 0041.56701
Gödel, Kurt
241
1949
What is Cantor’s continuum problem,. Zbl 0038.03003
Gödel, K.
39
1948
The consistency of the continuum hypothesis. Zbl 0061.00902
Gödel, Kurt
78
1940
Consistency-proof for the generalized continuum-hypothesis. Zbl 0021.00102
Gödel, Kurt
23
1939
Consistency-proof for the generalized continuum-hypothesis. JFM 65.0185.02
Gödel, K.
6
1939
The consistency of the axiom of choice and of the generalized continuum- hypothesis. Zbl 0020.29701
Gödel, Kurt
41
1938
The consistency of the axiom of choice and of the generalized continuum-hypothesis. JFM 64.0035.01
Gödel, K.
18
1938
Über die Länge von Beweisen. Zbl 0014.24102
Gödel, Kurt
1
1936
Über die Länge von Beweisen. JFM 62.0043.01
Gödel, K.
1
1936
Eine Interpretation des intuitionistischen Aussagenkalküls. JFM 59.0866.01
Gödel, K.
33
1933
Zum Entscheidungsproblem des logischen Funktionenkalküls. Zbl 0008.28903
Gödel, Kurt
20
1933
Eine Interpretation des intuitionistischen Aussagenkalküls. Zbl 0007.19303
Gödel, Kurt
17
1933
Zur intuitionistischen Arithmetik und Zahlentheorie. JFM 59.0865.03
Gödel, K.
16
1933
Zum intuitionistischen Aussagenkalkül. JFM 59.0866.02
Gödel, K.
7
1933
Zum Entscheidungsproblem des logischen Funktionenkalküls. JFM 59.0865.01
Gödel, K.
4
1933
Über Unabhängigkeitsbeweise im Aussagenkalkül. JFM 59.0865.02
Gödel, K.
2
1933
Zur intuitionistischen Arithmetik und Zahlentheorie. Zbl 0007.19304
Gödel, K.
2
1933
Über die metrische Einbettbarkeit der Quadrupel des \(R_3\) in Kugelflächen. JFM 59.1261.05
Gödel, K.
1
1933
Zum intuitionistischen Aussagekalkül. JFM 58.1001.03
Gödel, K.
54
1932
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. JFM 57.0054.02
Gödel, K.
234
1931
On formally undecidable propositions of Principia Mathematica and related systems. I. (Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I.) Zbl 0002.00101
Gödel, Kurt
106
1931
Ein Spezialfall des Entscheidungsproblems der theoretischen Logik. JFM 57.1321.01
Gödel, K.
2
1931
Die Vollständigkeit der Axiome des logischen Funktionenkalküls. JFM 56.0046.04
Gödel, K.
102
1930
Einige mathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit. JFM 56.0060.26
Gödel, K.
1
1930
all top 5

Cited by 1,223 Authors

22 Kohlenbach, Ulrich Wilhelm
15 Oliva, Paulo
10 Reboucas, Marcelo J.
9 Kanamori, Akihiro
8 Ahmed, Faizuddin
8 Goldfarb, Warren D.
8 Henkin, Leon Albert
8 Wang, Hao
8 Weiermann, Andreas
7 Ferreira, Fernando
7 Friedman, Sy-David
7 Kreisel, Georg
6 Feferman, Solomon
6 Grattan-Guinness, Ivor
6 Kalmar, Laszlo
6 Kleene, Stephen Cole
6 Krasiński, Andrzej
6 Teixeira, Antonio F. F.
6 Ternullo, Claudio
5 Ackermann, Wilhelm
5 Cintula, Petr
5 Ellis, George Francis Rayner
5 Friedman, Joel I.
5 Jantzen, Robert T.
5 Kurahashi, Taishi
5 Lambek, Joachim
5 Tarau, Paul
5 Uso-Domenech, José Luis
4 Anellis, Irving H.
4 Avigad, Jeremy
4 Baaz, Matthias
4 Béziau, Jean-Yves
4 Calude, Cristian S.
4 Carnap, Rudolf
4 Collins, C. B.
4 Cornelis, Chris
4 Deschrijver, Glad
4 Diller, Justus
4 Fitting, Melvin Chris
4 Gentzen, Gerhard
4 Hájek, Petr
4 Hernest, Mircea-Dan
4 Hetzl, Stefan
4 Kerre, Etienne E.
4 Kreuzer, Alexander P.
4 Markwald, Werner
4 Matiyasevich, Yuriĭ Vladimirovich
4 Milnikel, Robert Saxon
4 Quine, Willard Van Orman
4 Schütte, Kurt
4 Schwichtenberg, Helmut
4 Shaikh, Absos Ali
4 Shelah, Saharon
4 Shepherdson, John C.
4 Sieg, Wilfried
4 Soare, Robert I.
4 Tao, Terence
4 Van Gasse, Bart
3 Aehlig, Klaus
3 Basini, Giuseppe
3 Baumeler, Ämin
3 Bezhanishvili, Guram
3 Boolos, George S.
3 Capozziello, Salvatore
3 Colson, Loïc
3 Coquand, Thierry
3 Da Costa, Newton Carneiro Affonso
3 Diaconescu, Răzvan
3 Došen, Kosta
3 Esteva, Francesc
3 Gerhardy, Philipp
3 Germano, Giorgio M.
3 Godo, Lluís
3 Gottwald, Siegfried
3 Hötzel Escardó, Martín
3 Howard, William A.
3 Izumi, Yosihisa
3 Kaltofen, Erich L.
3 Keisler, Howard Jerome
3 Kikuchi, Makoto
3 Kundu, Haradhan
3 Lee, Gyesik
3 Leivant, Daniel M.
3 Loeb, Iris
3 Luckhardt, Horst
3 Noguera, Carles
3 Perlis, Donald R.
3 Pourdarvish, Ahmad
3 Preining, Norbert
3 Putnam, Hilary Whitehall
3 Pynko, Alexej P.
3 Radu, Eugen
3 Santos, Alesandro Ferreira
3 Sarma, Debojit
3 Smoryński, Craig
3 Suranyi, Janos
3 Svozil, Karl
3 Tarski, Alfred
3 Towsner, Henry
3 Vaught, Robert L.
...and 1,123 more Authors
all top 5

Cited in 197 Serials

92 The Journal of Symbolic Logic
82 Annals of Pure and Applied Logic
60 General Relativity and Gravitation
36 The Bulletin of Symbolic Logic
32 Theoretical Computer Science
28 Journal of Mathematical Physics
28 Studia Logica
24 International Journal of Theoretical Physics
24 Transactions of the American Mathematical Society
22 Archiv für Mathematische Logik und Grundlagenforschung
22 Mathematische Annalen
22 Synthese
21 Journal of Philosophical Logic
17 Logica Universalis
15 History and Philosophy of Logic
13 Fuzzy Sets and Systems
13 Foundations of Physics
12 Archive for Mathematical Logic
11 Modern Physics Letters A
11 International Journal of Geometric Methods in Modern Physics
11 The Review of Symbolic Logic
10 The Mathematical Intelligencer
10 International Journal of Modern Physics D
10 Journal of High Energy Physics
9 Advances in Mathematics
9 Compositio Mathematica
9 Information Sciences
9 Notre Dame Journal of Formal Logic
9 Mathematical Logic Quarterly (MLQ)
8 International Journal of Modern Physics A
8 Acta Mathematica Academiae Scientiarum Hungaricae
8 Artificial Intelligence
8 Foundations of Science
7 Journal of Pure and Applied Algebra
7 Kybernetes
7 Historia Mathematica
6 Mathematische Zeitschrift
6 Information and Computation
6 Bulletin of the American Mathematical Society
6 Advances in High Energy Physics
5 Astrophysics and Space Science
5 Mathematische Semesterberichte
5 Nuclear Physics. B
5 Proceedings of the American Mathematical Society
5 Mathematical Social Sciences
5 Journal of Automated Reasoning
4 Information Processing Letters
4 Chaos, Solitons and Fractals
4 Tohoku Mathematical Journal. Second Series
4 Bulletin of the American Mathematical Society. New Series
4 Indagationes Mathematicae. New Series
4 Journal of Mathematical Sciences (New York)
4 Erkenntnis
4 Gravitation & Cosmology
4 Logic and Logical Philosophy
4 Quantum Information Processing
4 Journal of Applied Logic
4 Monatshefte für Mathematik und Physik
4 Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics
3 Archive for History of Exact Sciences
3 Computers & Mathematics with Applications
3 Communications in Mathematical Physics
3 International Journal of General Systems
3 Israel Journal of Mathematics
3 Journal of Mathematical Analysis and Applications
3 Journal of Geometry and Physics
3 Journal of Computer and System Sciences
3 Journal of Geometry
3 Journal of Soviet Mathematics
3 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods
3 Rendiconti del Seminario Matemàtico e Fisico di Milano
3 Journal of Symbolic Computation
3 MSCS. Mathematical Structures in Computer Science
3 New Journal of Physics
3 Physical Review D. Series III
2 Classical and Quantum Gravity
2 Discrete Mathematics
2 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
2 Letters in Mathematical Physics
2 Theoretical and Mathematical Physics
2 Algebra and Logic
2 Algebra Universalis
2 Applied Mathematics and Computation
2 Archiv der Mathematik
2 Bulletin de la Société Mathématique de France
2 International Journal of Game Theory
2 Journal of Combinatorial Theory. Series A
2 Mathematica Slovaca
2 Mathematika
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Theory and Decision
2 Topology and its Applications
2 European Journal of Combinatorics
2 Cybernetics and Systems
2 Acta Applicandae Mathematicae
2 Physica D
2 International Journal of Approximate Reasoning
2 International Journal of Foundations of Computer Science
2 Journal of Functional Programming
2 Annals of Mathematics and Artificial Intelligence
...and 97 more Serials
all top 5

Cited in 53 Fields

656 Mathematical logic and foundations (03-XX)
207 Relativity and gravitational theory (83-XX)
198 Computer science (68-XX)
93 History and biography (01-XX)
75 Differential geometry (53-XX)
56 Quantum theory (81-XX)
51 General and overarching topics; collections (00-XX)
26 Number theory (11-XX)
21 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
19 Combinatorics (05-XX)
18 Numerical analysis (65-XX)
16 Order, lattices, ordered algebraic structures (06-XX)
16 Category theory; homological algebra (18-XX)
16 Fluid mechanics (76-XX)
13 Astronomy and astrophysics (85-XX)
12 Commutative algebra (13-XX)
12 Group theory and generalizations (20-XX)
11 Field theory and polynomials (12-XX)
11 Dynamical systems and ergodic theory (37-XX)
11 Information and communication theory, circuits (94-XX)
10 General topology (54-XX)
10 Mechanics of particles and systems (70-XX)
9 General algebraic systems (08-XX)
9 Partial differential equations (35-XX)
9 Geometry (51-XX)
9 Biology and other natural sciences (92-XX)
8 Linear and multilinear algebra; matrix theory (15-XX)
8 Operator theory (47-XX)
8 Statistics (62-XX)
8 Classical thermodynamics, heat transfer (80-XX)
7 Approximations and expansions (41-XX)
7 Global analysis, analysis on manifolds (58-XX)
7 Statistical mechanics, structure of matter (82-XX)
6 Algebraic geometry (14-XX)
6 Systems theory; control (93-XX)
5 Topological groups, Lie groups (22-XX)
5 Measure and integration (28-XX)
5 Ordinary differential equations (34-XX)
4 Associative rings and algebras (16-XX)
4 Real functions (26-XX)
4 Optics, electromagnetic theory (78-XX)
3 Special functions (33-XX)
3 Functional analysis (46-XX)
3 Probability theory and stochastic processes (60-XX)
2 Abstract harmonic analysis (43-XX)
2 Algebraic topology (55-XX)
2 Manifolds and cell complexes (57-XX)
2 Operations research, mathematical programming (90-XX)
2 Mathematics education (97-XX)
1 Nonassociative rings and algebras (17-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Convex and discrete geometry (52-XX)

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.