Gödel, Kurt
Overview
Works:  415 works in 1,253 publications in 11 languages and 35,939 library holdings 

Genres:  Biographies History Conference papers and proceedings Criticism, interpretation, etc 
Roles:  Author, Honoree, Contributor, Other, Dedicatee, Editor, Vocalist, Singer, Creator 
Classifications:  QA9.8, 510.1 
Publication Timeline
.
Most widely held works about
Kurt Gödel
 Gödel, Escher, Bach : an eternal golden braid by Douglas R Hofstadter( Book )
 Reflections on Kurt Gödel by Hao Wang( )
 A logical journey : from Gödel to philosophy by Hao Wang( )
 Memoirs of a proof theorist : Gödel and other logicians by Gaisi Takeuti( )
 Gödel, Putnam, and functionalism : a new reading of Representation and reality by Jeff Buechner( )
 A world without time : the forgotten legacy of Gödel and Einstein by Palle Yourgrau( Book )
 Incompleteness : the proof and paradox of Kurt Gödel by Rebecca Goldstein( Book )
 An introduction to Gödel's Theorems by Peter Smith( )
 Kurt Gödel and the foundations of mathematics : horizons of truth by Matthias Baaz( )
 A madman dreams of Turing machines by Janna Levin( Book )
 An introduction to Gödel's theorems by Peter Smith( )
 Gödel : a life of logic by J. L Casti( Book )
 Ontology and the viciouscircle principle by Charles S Chihara( Book )
 Logical dilemmas : the life and work of Kurt Gödel by John W Dawson( Book )
 Kurt Gödel by Michael Aliprandini( Book )
 112 Mercer Street : Einstein, Russell, Gödel, Pauli, and the end of innocence in science by Burton Feldman( Book )
 The goddess of small victories by Yannick Grannec( Book )
 There's something about Gödel : the complete guide to the incompleteness theorem by Francesco Berto( Book )
 After Gödel : Platonism and rationalism in mathematics and logic by Richard L Tieszen( Book )
 The disappearance of time : Kurt Gödel and the idealistic tradition in philosophy by Palle Yourgrau( Book )
more
fewer
Most widely held works by
Kurt Gödel
Collected works by
Kurt Gödel(
)
15 editions published in 1986 in English and Multiple languages and held by 1,672 WorldCat member libraries worldwide
Kurt Gödel (19061978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentiallyof Godel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and toindividual articles and other material, commenting upon their contents and placing them within a historical framework. This longawaited project is of great significance to logicians, mathematicians, philosophers and historians
15 editions published in 1986 in English and Multiple languages and held by 1,672 WorldCat member libraries worldwide
Kurt Gödel (19061978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentiallyof Godel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and toindividual articles and other material, commenting upon their contents and placing them within a historical framework. This longawaited project is of great significance to logicians, mathematicians, philosophers and historians
The consistency of the axiom of choice and of the generalized continuumhypothesis with the axioms of set theory by
Kurt Gödel(
Book
)
82 editions published between 1940 and 1999 in English and held by 1,158 WorldCat member libraries worldwide
82 editions published between 1940 and 1999 in English and held by 1,158 WorldCat member libraries worldwide
Kurt Gödel : essays for his centennial by
Solomon Feferman(
)
12 editions published in 2010 in English and held by 859 WorldCat member libraries worldwide
Kurt Gödel (1906–1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible sets
12 editions published in 2010 in English and held by 859 WorldCat member libraries worldwide
Kurt Gödel (1906–1978) did groundbreaking work that transformed logic and other important aspects of our understanding of mathematics, especially his proof of the incompleteness of formalized arithmetic. This book on different aspects of his work and on subjects in which his ideas have contemporary resonance includes papers from a May 2006 symposium celebrating Gödel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of Gödel's writings are among the topics covered. Several chapters discuss his intellectual development and his relation to predecessors and contemporaries such as Hilbert, Carnap, and Herbrand. Others consider his views on justification in set theory in light of more recent work and contemporary echoes of his incompleteness theorems and the concept of constructible sets
On formally undecidable propositions of Principia mathematica and related systems by
Kurt Gödel(
Book
)
44 editions published between 1962 and 2012 in 3 languages and held by 748 WorldCat member libraries worldwide
In 1931, a young Austrian mathematician published an epochmaking paper containing one of the most revolutionary ideas in logic since Aristotle. Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. The repercussions of this discovery are still being felt and debated in 20thcentury mathematics. The present volume reprints the first English translation of
44 editions published between 1962 and 2012 in 3 languages and held by 748 WorldCat member libraries worldwide
In 1931, a young Austrian mathematician published an epochmaking paper containing one of the most revolutionary ideas in logic since Aristotle. Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. The repercussions of this discovery are still being felt and debated in 20thcentury mathematics. The present volume reprints the first English translation of
Kurt Gödel : collected works by
Kurt Gödel(
)
3 editions published between 2013 and 2014 in English and held by 647 WorldCat member libraries worldwide
3 editions published between 2013 and 2014 in English and held by 647 WorldCat member libraries worldwide
Kurt Gödel : collected works by
Kurt Gödel(
)
4 editions published between 2013 and 2014 in English and held by 636 WorldCat member libraries worldwide
4 editions published between 2013 and 2014 in English and held by 636 WorldCat member libraries worldwide
Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Gödel by
Jack J Bulloff(
Book
)
15 editions published in 1969 in English and German and held by 596 WorldCat member libraries worldwide
Dr. KURT GODEL'S sixtieth birthday (April 28, 1966) and the thirty fifth anniversary of the publication of his theorems on undecidability were celebrated during the 75th Anniversary Meeting of the Ohio Ac ademy of Science at The Ohio State University, Columbus, on April 22, 1966. The celebration took the form of a Festschrift Symposium on a theme supported by the late Director of The Institute for Advanced Study at Princeton, New Jersey, Dr. J. ROBERT OPPENHEIMER: "Logic, and Its Relations to Mathematics, Natural Science, and Philosophy." The symposium also celebrated the founding of Section L (Mathematical Sciences) of the Ohio Academy of Science. Salutations to Dr. GODEL were followed by the reading of papers by S.F. BARKER, H.B. CURRY, H. RUBIN, G.E. SACKS, and G. TAKEUTI, and by the announcement of inabsentia papers contributed in honor of Dr. GODEL by A. LEVY, B. MELTZER, R.M. SOLOVAY, and E. WETTE. A short discussion of "The II Beyond Godel's I" concluded the session
15 editions published in 1969 in English and German and held by 596 WorldCat member libraries worldwide
Dr. KURT GODEL'S sixtieth birthday (April 28, 1966) and the thirty fifth anniversary of the publication of his theorems on undecidability were celebrated during the 75th Anniversary Meeting of the Ohio Ac ademy of Science at The Ohio State University, Columbus, on April 22, 1966. The celebration took the form of a Festschrift Symposium on a theme supported by the late Director of The Institute for Advanced Study at Princeton, New Jersey, Dr. J. ROBERT OPPENHEIMER: "Logic, and Its Relations to Mathematics, Natural Science, and Philosophy." The symposium also celebrated the founding of Section L (Mathematical Sciences) of the Ohio Academy of Science. Salutations to Dr. GODEL were followed by the reading of papers by S.F. BARKER, H.B. CURRY, H. RUBIN, G.E. SACKS, and G. TAKEUTI, and by the announcement of inabsentia papers contributed in honor of Dr. GODEL by A. LEVY, B. MELTZER, R.M. SOLOVAY, and E. WETTE. A short discussion of "The II Beyond Godel's I" concluded the session
Frege and Gödel : two fundamental texts in mathematical logic by
Jean Van Heijenoort(
Book
)
14 editions published between 1970 and 2001 in English and Germanic and held by 494 WorldCat member libraries worldwide
Biographical note: van HeijenoortJean: Jean van Heijenoort, well known in the fields of mathematical logic and foundations of mathematics, is Professor of Philosophy at Brandeis University and has taught at New York and Columbia Universities
14 editions published between 1970 and 2001 in English and Germanic and held by 494 WorldCat member libraries worldwide
Biographical note: van HeijenoortJean: Jean van Heijenoort, well known in the fields of mathematical logic and foundations of mathematics, is Professor of Philosophy at Brandeis University and has taught at New York and Columbia Universities
Unpublished philosophical essays by
Kurt Gödel(
Book
)
11 editions published between 1995 and 1997 in English and Japanese and held by 218 WorldCat member libraries worldwide
11 editions published between 1995 and 1997 in English and Japanese and held by 218 WorldCat member libraries worldwide
Mathematical logic and its applications by
Dimitŭr Genchev Skordev(
Book
)
11 editions published between 1987 and 1988 in English and held by 180 WorldCat member libraries worldwide
The Summer School and Conference on Mathematical Logic and its Applications, September 24  October 4, 1986, Druzhba, Bulgaria, was honourably dedicated to the 80th anniversary of Kurt Godel (1906  1978), one of the greatest scientists of this (and not only of this) century. The main topics of the Meeting were: Logic and the Foundation of Mathematics; Logic and Computer Science; Logic, Philosophy, and the Study of Language; Kurt Godel's life and deed. The scientific program comprised 5 kinds of activities, namely: a) a Godel Session with 3 invited lecturers b) a Summer School with 17 invited lecturers c) a Conference with 13 contributed talks d) Seminar talks (one invited and 12 with no preliminary selection) e) three discussions The present volume reflects an essential part of this program, namely 14 of the invited lectures and all of the contributed talks. Not presented in the volltme remai ned si x of the i nvi ted lecturers who di d not submi t texts: Yu. Ershov  The Language of!:expressions and its Semantics; S. Goncharov  Mathematical Foundations of Semantic Programming; Y. Moschovakis  Foundations of the Theory of Algorithms; N. Nagornyj  Is Realizability of Propositional Formulae a GBdelean Property; N. Shanin  Some Approaches to Finitization of Mathematical Analysis; V. Uspensky  Algorithms and Randomness  joint with A.N
11 editions published between 1987 and 1988 in English and held by 180 WorldCat member libraries worldwide
The Summer School and Conference on Mathematical Logic and its Applications, September 24  October 4, 1986, Druzhba, Bulgaria, was honourably dedicated to the 80th anniversary of Kurt Godel (1906  1978), one of the greatest scientists of this (and not only of this) century. The main topics of the Meeting were: Logic and the Foundation of Mathematics; Logic and Computer Science; Logic, Philosophy, and the Study of Language; Kurt Godel's life and deed. The scientific program comprised 5 kinds of activities, namely: a) a Godel Session with 3 invited lecturers b) a Summer School with 17 invited lecturers c) a Conference with 13 contributed talks d) Seminar talks (one invited and 12 with no preliminary selection) e) three discussions The present volume reflects an essential part of this program, namely 14 of the invited lectures and all of the contributed talks. Not presented in the volltme remai ned si x of the i nvi ted lecturers who di d not submi t texts: Yu. Ershov  The Language of!:expressions and its Semantics; S. Goncharov  Mathematical Foundations of Semantic Programming; Y. Moschovakis  Foundations of the Theory of Algorithms; N. Nagornyj  Is Realizability of Propositional Formulae a GBdelean Property; N. Shanin  Some Approaches to Finitization of Mathematical Analysis; V. Uspensky  Algorithms and Randomness  joint with A.N
Collected works by
Kurt Gödel(
Book
)
42 editions published between 2003 and 2014 in 3 languages and held by 170 WorldCat member libraries worldwide
42 editions published between 2003 and 2014 in 3 languages and held by 170 WorldCat member libraries worldwide
Collected works by
Kurt Gödel(
Book
)
22 editions published between 1986 and 2001 in English and German and held by 151 WorldCat member libraries worldwide
Kurt Gödel (19061978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentiallyof Godel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and toindividual articles and other material, commenting upon their contents and placing them within a historical framework. This longawaited project is of great significance to logicians, mathematicians, philosophers and historians
22 editions published between 1986 and 2001 in English and German and held by 151 WorldCat member libraries worldwide
Kurt Gödel (19061978) was the most outstanding logician of the twentieth century, noted for Godel's theorem, a hallmark of modern mathematics. The Collected Works will include both published and unpublished writings, in three or more volumes. The first two volumes will consist essentiallyof Godel's published works (both in the original and translation), and the third volume will feature unpublished articles, lectures, and selections from his lecture courses, correspondence, and scientific notebooks. All volumes will contain extensive introductory notes to the work as a whole and toindividual articles and other material, commenting upon their contents and placing them within a historical framework. This longawaited project is of great significance to logicians, mathematicians, philosophers and historians
Collected works by
Kurt Gödel(
Book
)
19 editions published between 1995 and 2001 in English and German and held by 121 WorldCat member libraries worldwide
19 editions published between 1995 and 2001 in English and German and held by 121 WorldCat member libraries worldwide
The P=NP question and Gödel's lost letter by
Richard J Lipton(
Book
)
5 editions published in 2010 in English and held by 113 WorldCat member libraries worldwide
The P=NP question is one of the greatest problems of science, which has intrigued computer scientists and mathematicians for decades. Despite the abundant research in theoretical computer science regarding the P=NP question, it has not been solved. This book covers historical developments (including the Gödel's lost letter), the importance of P=NP and the future of P=NP. This guide is also based on a new blog by the author, located at: http://rjlipton.wordpress.com
5 editions published in 2010 in English and held by 113 WorldCat member libraries worldwide
The P=NP question is one of the greatest problems of science, which has intrigued computer scientists and mathematicians for decades. Despite the abundant research in theoretical computer science regarding the P=NP question, it has not been solved. This book covers historical developments (including the Gödel's lost letter), the importance of P=NP and the future of P=NP. This guide is also based on a new blog by the author, located at: http://rjlipton.wordpress.com
Collected works by
Kurt Gödel(
Book
)
11 editions published between 1990 and 2001 in 3 languages and held by 92 WorldCat member libraries worldwide
Kurt Godel (19061978) 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 19381974. Each article or closely related group of articles is preceded by an introductory note that elucidates it and places it in its historical context
11 editions published between 1990 and 2001 in 3 languages and held by 92 WorldCat member libraries worldwide
Kurt Godel (19061978) 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 19381974. Each article or closely related group of articles is preceded by an introductory note that elucidates it and places it in its historical context
Collected works by
Kurt Gödel(
Book
)
20 editions published between 1990 and 2001 in English and German and held by 89 WorldCat member libraries worldwide
20 editions published between 1990 and 2001 in English and German and held by 89 WorldCat member libraries worldwide
Collected works by
Kurt Gödel(
Book
)
3 editions published in 1986 in English and German and held by 87 WorldCat member libraries worldwide
3 editions published in 1986 in English and German and held by 87 WorldCat member libraries worldwide
Obras completas by
Kurt Gödel(
Book
)
14 editions published between 1981 and 2006 in Spanish and German and held by 80 WorldCat member libraries worldwide
14 editions published between 1981 and 2006 in Spanish and German and held by 80 WorldCat member libraries worldwide
Publications 19291936 by
Kurt Gödel(
)
9 editions published in 1986 in English and held by 77 WorldCat member libraries worldwide
9 editions published in 1986 in English and held by 77 WorldCat member libraries worldwide
Le théorème de Gödel by
Ernest Nagel(
Book
)
7 editions published between 1989 and 1997 in French and held by 74 WorldCat member libraries worldwide
En 1931, Kurt Godel démontrait, dans un article révolutionnaire, l'incomplétude de tout système axiomatique contenant la théorie des nombres. Apparemment très technique, ce théorème bouleversait de fond en comble la philosophie des mathématiques
7 editions published between 1989 and 1997 in French and held by 74 WorldCat member libraries worldwide
En 1931, Kurt Godel démontrait, dans un article révolutionnaire, l'incomplétude de tout système axiomatique contenant la théorie des nombres. Apparemment très technique, ce théorème bouleversait de fond en comble la philosophie des mathématiques
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Feferman, Solomon Author of introduction Publishing director Author Editor
 Hofstadter, Douglas R. 1945 Author
 Escher, M. C. (Maurits Cornelis) 18981972
 Bach, Johann Sebastian 16851750
 Wang, Hao 1921 Author
 Einstein, Albert 18791955 Author
 Dawson, John W. (John William) 1944 Author Editor
 Yourgrau, Palle Author
 Buechner, Jeff Author
 Smith, Peter 1944 Author
Useful Links
Associated Subjects
Artificial intelligence Austria Bach, Johann Sebastian, Computational complexity Computer algorithms Computers Continuity Decidability (Mathematical logic) Einstein, Albert, Escher, M. C.(Maurits Cornelis), Friendship Functionalism (Psychology) Genius Gödel, Kurt Gödel's theorem Gödel numbers Incompleteness theorems Influence (Literary, artistic, etc.) Information theory Logic Logic, Modern Logic, Symbolic and mathematical Logicians Machine theory Mathematicians Mathematics MathematicsPhilosophy Metamathematics Mindbrain identity theory Ontology Pauli, Wolfgang, Pauli, Wolfgang, Philosophy Platonists Proof theory Psychological fiction Quine, W. V.(Willard Van Orman) Realism Refugees Russell, Bertrand, Science Scientists Set theory Symmetry Time Turing, Alan, Turing machines United States Unsolvability (Mathematical logic) Vicious circle principle (Logic)
Covers
Alternative Names
Curtius Gödel
G¨odel, Kurt 19061978
Gēderu 19061978
Gkentel, Kourt
Gkentel, Kourt 19061978
Gödel
Gödel, K
Gödel, K., 19061978
Godel, Kurt
Gödel, Kurt 19061978
Gödel, Kurt Friedrich
Gödel, Kurt Friedrich 19061978
Goedel
Goedel, Kurt
Goedel Kurt 19061978
kurt.gedyl
Kurt Gödel
Kurt Gödel Amerikaans wiskundige
Kurt Gödel aŭstra Usona matematikisto
Kurt Gödel austriacki logik i matematyk
Kurt Gödel AustrianAmerican logician, mathematician, and philosopher of mathematics
Kurt Gödel itävaltalaisyhdysvaltalainen matemaatikko ja filosofi
Kurt Gödel matemàtic lògic austroestatunidenc
Kurt Gödel Matematico
Kurt Gödel matematico, logico e filosofo austriaco
Kurt Gödel mathématicien austroaméricain
Kurt Gödel österreichischamerikanischer Mathematiker und Logiker
Kurt Gödel österreichischamerikanischer Mathematiker und Logiker (19061978)
Kurt Gödel Østerrikskamerikansk logiker, matematiker og matematisk filosof
Kurt Gödel østrigskamerikansk logiker og matematiker
Kurt Gödel rakouský filozof, logik a matematik
Kurt Qodel
Kurts Gēdels
UKurt Gödel
Κουρτ Γκέντελ Αυστροαμερικάνος επιστήμονας της λογικής, μαθηματικός και φιλόσοφος
Гедель
Гедель К. Ф. 19061978
Курт Гедел
Курт Гёдель
Курт Гедель австрійськоамериканський логік, математик і філософ математики
Курт Гёдэль
Курт Гӯдел
Курт Гьодел
Կուրտ Գյոդել
גדל
קורט גדל
קורט גדל לוגיקן ומתמטיקאי אוסטריאמריקאי
كورت جودل
كورت غودل
کرٹ گوڈل
کورت قودل
کورت گودل
کورت گودل ریاضیدان، منطقدان و فیلسوف آلمانی
कर्ट गोडेल
कुर्ट ग्योडेल
কুর্ট গ্যোডেল
ਕੁਰਟ ਗੋਡਲ
கியேடல்
ಕರ್ಟ್ ಗುಡ್ಲ್
ಕರ್ಟ್ ಗುಡ್ಲ್ ಗಣಿತಜ್ಞ
കുർട്ട് ഗോഡൽ
คูร์ท เกอเดิล
ကာ့ ဂူဒယ်
괴델, 쿠르트 19061978
쿠르트 괴델 수학자
クルト・ゲーデル
クルト・ゲーデル オーストリア・ハンガリー帝国出身の数学者、論理学者、哲学者
ゲーデル 19061978
ゲーデル, クルト
哥德
哥德爾
库尔特·哥德尔
庫爾特·弗雷德里希·哥德爾 奧地利裔美國邏輯學家，數學家和數學哲學家
Languages