×
Compute Distance To:
Author ID: godel.kurt Recent zbMATH articles by "Gödel, Kurt"
Published as: Gödel, Kurt; Gödel, K.; Goedel, Kurt
Further Spellings: Gödel, Kurt Friedrich; Гёдель Курт Фридрих
External Links: MacTutor · MGP · Wikidata · Math-Net.Ru · dblp · GND · IdRef
Documents Indexed: 61 Publications since 1930, including 20 Books
12 Further Contributions
Biographic References: 106 Publications
Co-Authors: 2 Co-Authors with 4 Joint Publications
25 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

45 Publications have been cited 1,427 times in 1,238 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
254
1949
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. JFM 57.0054.02
Gödel, K.
251
1931
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Zbl 0090.01003
Gödel, Kurt
178
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
113
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
81
1940
Zum intuitionistischen Aussagekalkül. JFM 58.1001.03
Gödel, K.
59
1932
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
48
1983
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.
41
1948
Eine Interpretation des intuitionistischen Aussagenkalküls. JFM 59.0866.01
Gödel, K.
35
1933
Consistency-proof for the generalized continuum-hypothesis. Zbl 0021.00102
Gödel, Kurt
23
1939
The consistency of the axiom of choice and of the generalized continuum-hypothesis. JFM 64.0035.01
Gödel, K.
22
1938
Zum Entscheidungsproblem des logischen Funktionenkalküls. Zbl 0008.28903
Gödel, Kurt
21
1933
On formally undecidable propositions of Principia Mathematica and related systems. Zbl 0124.00403
Gödel, K.
18
1962
Zur intuitionistischen Arithmetik und Zahlentheorie. JFM 59.0865.03
Gödel, K.
18
1933
Eine Interpretation des intuitionistischen Aussagenkalküls. Zbl 0007.19303
Gödel, Kurt
18
1933
Collected works. Volume II: Publications 1938-1974. Ed. by Solomon Feferman et al. Zbl 0698.01023
Gödel, Kurt
16
1990
Collected works. Volume I: Publications 1929–1936. Ed. by Solomon Feferman et al. Zbl 0592.01035
Gödel, Kurt
16
1986
Consistency-proof for the generalized continuum-hypothesis. JFM 65.0185.02
Gödel, K.
9
1939
Zum intuitionistischen Aussagenkalkül. JFM 59.0866.02
Gödel, K.
8
1933
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 0972.83004
Gödel, Kurt
4
2000
Collected Works. Vol. III: Unpublished essays and lectures. Ed. by Solomon Feferman. Zbl 0826.01038
Goedel, Kurt
4
1995
Zum Entscheidungsproblem des logischen Funktionenkalküls. JFM 59.0865.01
Gödel, K.
4
1933
On a hitherto unexploited extension of the finitary standpoint. Zbl 0433.03040
Gödel, Kurt
4
1980
Collected works. Volume III: Unpublished essays and lectures. Edited by Solomon Feferman and others. Paperback ed. Zbl 1074.01015
Gödel, Kurt
3
2001
Rotating universes in general relativity theory. (Reprint). Zbl 0972.83005
Gödel, Kurt
3
2000
Unpublished philosophical essays. Ed. by Francisco A. Rodríguez-Consuegra. Zbl 0854.01046
Gödel, Kurt
3
1995
Collected works. Volume I: Publications 1929–1936. Edited by Solomon Feferman and others. Paperback ed. Zbl 0973.01104
Gödel, Kurt
2
2001
Russell’s mathematical logic. Zbl 1035.03503
Gödel, Kurt
2
2002
Ein Spezialfall des Entscheidungsproblems der theoretischen Logik. JFM 57.1321.01
Gödel, K.
2
1931
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
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
Ü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
Collected works. Vol. IV: Correspondence, A–G. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01019
Gödel, Kurt
1
2003
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
Über die Länge von Beweisen. JFM 62.0043.01
Gödel, K.
1
1936
Einige mathematische Resultate über Entscheidungsdefinitheit und Widerspruchsfreiheit. JFM 56.0060.26
Gödel, K.
1
1930
Frege and Gödel. Two fundamental texts in mathematical logic. Zbl 0209.00601
1
1970
An addendum to ”The work of Kurt Gödel”. Zbl 0401.03001
Kleene, Stephen C.
1
1978
Mengenlehre. Zbl 0403.03035
1
1979
Über die metrische Einbettbarkeit der Quadrupel des \(R_3\) in Kugelflächen. JFM 59.1261.05
Gödel, K.
1
1933
Über die Länge von Beweisen. Zbl 0014.24102
Gödel, Kurt
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. IV: Correspondence, A–G. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01019
Gödel, Kurt
1
2003
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
2
2002
Collected works. Volume III: Unpublished essays and lectures. Edited by Solomon Feferman and others. Paperback ed. Zbl 1074.01015
Gödel, Kurt
3
2001
Collected works. Volume I: Publications 1929–1936. Edited by Solomon Feferman and others. Paperback ed. Zbl 0973.01104
Gödel, Kurt
2
2001
An example of a new type of cosmological solutions of Einstein’s field equations of gravitation. Zbl 0972.83004
Gödel, Kurt
4
2000
Rotating universes in general relativity theory. (Reprint). Zbl 0972.83005
Gödel, Kurt
3
2000
Collected Works. Vol. III: Unpublished essays and lectures. Ed. by Solomon Feferman. Zbl 0826.01038
Goedel, Kurt
4
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
16
1990
Collected works. Volume I: Publications 1929–1936. Ed. by Solomon Feferman et al. Zbl 0592.01035
Gödel, Kurt
16
1986
Philosophy of mathematics. Selected readings. 2nd ed. Zbl 0548.03002
48
1983
On a hitherto unexploited extension of the finitary standpoint. Zbl 0433.03040
Gödel, Kurt
4
1980
Mengenlehre. Zbl 0403.03035
1
1979
An addendum to ”The work of Kurt Gödel”. Zbl 0401.03001
Kleene, Stephen C.
1
1978
Frege and Gödel. Two fundamental texts in mathematical logic. Zbl 0209.00601
1
1970
On formally undecidable propositions of Principia Mathematica and related systems. Zbl 0124.00403
Gödel, K.
18
1962
Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Zbl 0090.01003
Gödel, Kurt
178
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
254
1949
What is Cantor’s continuum problem,. Zbl 0038.03003
Gödel, K.
41
1948
The consistency of the continuum hypothesis. Zbl 0061.00902
Gödel, Kurt
81
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.
9
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.
22
1938
Über die Länge von Beweisen. JFM 62.0043.01
Gödel, K.
1
1936
Über die Länge von Beweisen. Zbl 0014.24102
Gödel, Kurt
1
1936
Eine Interpretation des intuitionistischen Aussagenkalküls. JFM 59.0866.01
Gödel, K.
35
1933
Zum Entscheidungsproblem des logischen Funktionenkalküls. Zbl 0008.28903
Gödel, Kurt
21
1933
Zur intuitionistischen Arithmetik und Zahlentheorie. JFM 59.0865.03
Gödel, K.
18
1933
Eine Interpretation des intuitionistischen Aussagenkalküls. Zbl 0007.19303
Gödel, Kurt
18
1933
Zum intuitionistischen Aussagenkalkül. JFM 59.0866.02
Gödel, K.
8
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.
59
1932
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I. JFM 57.0054.02
Gödel, K.
251
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
113
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,320 Authors

23 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 Krasiński, Andrzej
7 Kreisel, Georg
6 Feferman, Solomon
6 Grattan-Guinness, Ivor
6 Kalmar, Laszlo
6 Kleene, Stephen Cole
6 Teixeira, Antonio F. F.
6 Ternullo, Claudio
5 Ackermann, Wilhelm
5 Calude, Cristian S.
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 Baumeler, Ämin
4 Béziau, Jean-Yves
4 Carnap, Rudolf
4 Collins, C. B.
4 Coquand, Thierry
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
4 Wolf, Stefan
3 Aehlig, Klaus
3 Basini, Giuseppe
3 Bezhanishvili, Guram
3 Boolos, George S.
3 Capozziello, Salvatore
3 Colson, Loïc
3 Da Costa, Newton Carneiro Affonso
3 Diaconescu, Răzvan
3 Došen, Kosta
3 Esteva, Francesc
3 Fernández Duque, David
3 Fu, Yuxi
3 Gerhardy, Philipp
3 Germano, Giorgio M.
3 Godo, Lluís
3 Gottwald, Siegfried
3 Hötzel Escardó, Martín
3 Howard, William Alvin
3 Iemhoff, Rosalie
3 Izumi, Yosihisa
3 Kahle, Reinhard
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 Mojtahedi, Mojtaba
3 Noguera, Carles
3 Perlis, Donald R.
3 Pourdarvish, Ahmad
3 Preining, Norbert
3 Putnam, Hilary Whitehall
3 Radu, Eugen
3 Rathjen, Michael
3 Sanders, Sam
3 Santos, Alesandro Ferreira
...and 1,220 more Authors
all top 5

Cited in 206 Serials

93 The Journal of Symbolic Logic
82 Annals of Pure and Applied Logic
60 General Relativity and Gravitation
38 The Bulletin of Symbolic Logic
34 Theoretical Computer Science
31 Studia Logica
28 Journal of Mathematical Physics
26 Synthese
25 International Journal of Theoretical Physics
24 Transactions of the American Mathematical Society
23 Journal of Philosophical Logic
22 Archiv für Mathematische Logik und Grundlagenforschung
22 Mathematische Annalen
17 Foundations of Physics
17 Logica Universalis
15 History and Philosophy of Logic
13 Fuzzy Sets and Systems
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 Notre Dame Journal of Formal Logic
10 International Journal of Modern Physics D
10 Foundations of Science
10 Journal of High Energy Physics
9 Classical and Quantum Gravity
9 Advances in Mathematics
9 Compositio Mathematica
9 Information Sciences
9 Mathematical Logic Quarterly (MLQ)
8 International Journal of Modern Physics A
8 Acta Mathematica Academiae Scientiarum Hungaricae
8 Artificial Intelligence
7 Journal of Pure and Applied Algebra
7 Kybernetes
7 Historia Mathematica
6 Mathematische Zeitschrift
6 Information and Computation
6 Journal of Automated Reasoning
6 Bulletin of the American Mathematical Society. New Series
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 Logic and Logical Philosophy
4 Information Processing Letters
4 Chaos, Solitons and Fractals
4 Journal of Geometry and Physics
4 Tôhoku Mathematical Journal. Second Series
4 Indagationes Mathematicae. New Series
4 Journal of Mathematical Sciences (New York)
4 Erkenntnis
4 Gravitation & Cosmology
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 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
3 Journal of Mathematical Analysis and Applications
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 Journal of Functional Programming
3 New Journal of Physics
3 Journal of Mathematical Logic
3 Physical Review D. Series III
2 Discrete Mathematics
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 Memoirs of the American Mathematical Society
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
...and 106 more Serials
all top 5

Cited in 53 Fields

704 Mathematical logic and foundations (03-XX)
222 Relativity and gravitational theory (83-XX)
213 Computer science (68-XX)
101 History and biography (01-XX)
79 Differential geometry (53-XX)
64 Quantum theory (81-XX)
55 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)
19 Numerical analysis (65-XX)
17 Category theory; homological algebra (18-XX)
16 Order, lattices, ordered algebraic structures (06-XX)
16 Fluid mechanics (76-XX)
14 Group theory and generalizations (20-XX)
14 Astronomy and astrophysics (85-XX)
12 Commutative algebra (13-XX)
12 General topology (54-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 algebraic systems (08-XX)
10 Geometry (51-XX)
10 Statistics (62-XX)
10 Mechanics of particles and systems (70-XX)
9 Partial differential equations (35-XX)
9 Global analysis, analysis on manifolds (58-XX)
9 Biology and other natural sciences (92-XX)
8 Linear and multilinear algebra; matrix theory (15-XX)
8 Operator theory (47-XX)
8 Classical thermodynamics, heat transfer (80-XX)
8 Statistical mechanics, structure of matter (82-XX)
7 Approximations and expansions (41-XX)
6 Algebraic geometry (14-XX)
6 Topological groups, Lie groups (22-XX)
6 Systems theory; control (93-XX)
5 Measure and integration (28-XX)
5 Ordinary differential equations (34-XX)
5 Optics, electromagnetic theory (78-XX)
4 Associative rings and algebras (16-XX)
4 Real functions (26-XX)
4 Functional analysis (46-XX)
3 Special functions (33-XX)
3 Manifolds and cell complexes (57-XX)
3 Probability theory and stochastic processes (60-XX)
3 Mathematics education (97-XX)
2 Abstract harmonic analysis (43-XX)
2 Algebraic topology (55-XX)
2 Operations research, mathematical programming (90-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

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