Gödel, Kurt
Overview
Works:  271 works in 840 publications in 12 languages and 27,528 library holdings 

Genres:  Biography History Conference proceedings Records and correspondence 
Roles:  Author, Honoree, Creator, Dedicatee 
Classifications:  QA9, 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 )
 Incompleteness : the proof and paradox of Kurt Gödel by Rebecca Goldstein( Book )
 A world without time : the forgotten legacy of Gödel and Einstein by Palle Yourgrau( Book )
 A madman dreams of Turing machines by Janna Levin( Book )
 Reflections on Kurt Gödel by Hao Wang( Book )
 Gödel : a life of logic by J. L Casti( Book )
 112 Mercer Street : Einstein, Russell, Gödel, Pauli, and the end of innocence in science by Burton Feldman( 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 )
 The goddess of small victories by Yannick Grannec( Book )
 An introduction to Gödel's Theorems by Peter Smith( Book )
 A logical journey : from Gödel to philosophy by Hao Wang( Book )
 The disappearance of time : Kurt Gödel and the idealistic tradition in philosophy by Palle Yourgrau( Book )
 Gödel meets Einstein : time travel in the Gödel universe by Palle Yourgrau( Book )
 There's something about Gödel : the complete guide to the incompleteness theorem by Francesco Berto( Book )
 Kurt Gödel and the foundations of mathematics : horizons of truth by Matthias Baaz( Book )
 After Gödel : Platonism and rationalism in mathematics and logic by Richard L Tieszen( Book )
 Gödel, Putnam, and functionalism : a new reading of Representation and reality by Jeff Buechner( Book )
 Memoirs of a proof theorist : Gödel and other logicians by Gaisi Takeuti( Book )
 Kurt Gödel : das Album = the album by Karl Sigmund( Book )
more
fewer
Most widely held works by
Kurt Gödel
Collected works by
Kurt Gödel(
Book
)
31 editions published between 1986 and 2001 in 3 languages and held by 816 WorldCat member libraries worldwide
31 editions published between 1986 and 2001 in 3 languages and held by 816 WorldCat member libraries worldwide
The consistency of the axiom of choice and of the generalized continuumhypothesis with the axioms of set theory by
Kurt Gödel(
Book
)
74 editions published between 1940 and 1993 in English and Undetermined and held by 807 WorldCat member libraries worldwide
74 editions published between 1940 and 1993 in English and Undetermined and held by 807 WorldCat member libraries worldwide
On formally undecidable propositions of Principia mathematica and related systems by
Kurt Gödel(
Book
)
36 editions published between 1962 and 2012 in 3 languages and held by 706 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
36 editions published between 1962 and 2012 in 3 languages and held by 706 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
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 519 WorldCat member libraries worldwide
15 editions published in 1969 in English and German and held by 519 WorldCat member libraries worldwide
Frege and Gödel; two fundamental texts in mathematical logic by
Jean Van Heijenoort(
Book
)
13 editions published between 1970 and 2001 in English and Germanic and held by 499 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
13 editions published between 1970 and 2001 in English and Germanic and held by 499 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
)
8 editions published in 1995 in English and German and held by 222 WorldCat member libraries worldwide
8 editions published in 1995 in English and German and held by 222 WorldCat member libraries worldwide
Mathematical logic and its applications by
Dimitŭr Genchev Skordev(
Book
)
10 editions published between 1987 and 1988 in English and Undetermined and held by 163 WorldCat member libraries worldwide
10 editions published between 1987 and 1988 in English and Undetermined and held by 163 WorldCat member libraries worldwide
Collected works by
Kurt Gödel(
Book
)
27 editions published between 1986 and 2001 in English and German and held by 143 WorldCat member libraries worldwide
27 editions published between 1986 and 2001 in English and German and held by 143 WorldCat member libraries worldwide
Kurt Gödel : essays for his centennial by
Solomon Feferman(
Book
)
7 editions published in 2010 in English and held by 140 WorldCat member libraries worldwide
"Kurt Gödel (19061978) 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 set"Provided by publisher
7 editions published in 2010 in English and held by 140 WorldCat member libraries worldwide
"Kurt Gödel (19061978) 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 set"Provided by publisher
Collected works by
Kurt Gödel(
Book
)
20 editions published between 1990 and 2001 in 3 languages and held by 135 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
20 editions published between 1990 and 2001 in 3 languages and held by 135 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
The P=NP question and Gödel's lost letter by
Richard J Lipton(
Book
)
4 editions published in 2010 in English and held by 103 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
4 editions published in 2010 in English and held by 103 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
)
12 editions published between 1995 and 2001 in English and German and held by 88 WorldCat member libraries worldwide
12 editions published between 1995 and 2001 in English and German and held by 88 WorldCat member libraries worldwide
Le théorème de Gödel(
Book
)
5 editions published between 1989 and 1997 in French and held by 69 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
5 editions published between 1989 and 1997 in French and held by 69 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
Collected works by
Kurt Gödel(
Book
)
12 editions published between 2003 and 2014 in English and German and held by 67 WorldCat member libraries worldwide
12 editions published between 2003 and 2014 in English and German and held by 67 WorldCat member libraries worldwide
Obras completas by
Kurt Gödel(
Book
)
11 editions published between 1981 and 2006 in Spanish and held by 63 WorldCat member libraries worldwide
11 editions published between 1981 and 2006 in Spanish and held by 63 WorldCat member libraries worldwide
Collected works by
Kurt Gödel(
Book
)
11 editions published between 2003 and 2014 in English and German and held by 59 WorldCat member libraries worldwide
11 editions published between 2003 and 2014 in English and German and held by 59 WorldCat member libraries worldwide
Kurt Gödel : Wahrheit & Beweisbarkeit(
Book
)
5 editions published in 2002 in German and held by 49 WorldCat member libraries worldwide
5 editions published in 2002 in German and held by 49 WorldCat member libraries worldwide
Principia mathematica by
Alfred North Whitehead(
Book
)
10 editions published between 1984 and 2002 in German and Undetermined and held by 46 WorldCat member libraries worldwide
An unabridged, digitally enlarged printing of Principia mathematica
10 editions published between 1984 and 2002 in German and Undetermined and held by 46 WorldCat member libraries worldwide
An unabridged, digitally enlarged printing of Principia mathematica
On undecidable propositions of formal mathematical systems by
Kurt Gödel(
Book
)
3 editions published in 1934 in English and held by 26 WorldCat member libraries worldwide
3 editions published in 1934 in English and held by 26 WorldCat member libraries worldwide
Gödel, Escher, Bach : an eternal golden braid by
Douglas R Hofstadter(
Book
)
13 editions published between 1979 and 2005 in 4 languages and held by 23 WorldCat member libraries worldwide
Winner of the Pulitzer Prize, this book applies Godel's seminal contribution to modern mathematics to the study of the human mind and the development of artificial intelligence
13 editions published between 1979 and 2005 in 4 languages and held by 23 WorldCat member libraries worldwide
Winner of the Pulitzer Prize, this book applies Godel's seminal contribution to modern mathematics to the study of the human mind and the development of artificial intelligence
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Hofstadter, Douglas R. 1945 Author
 Escher, M. C. (Maurits Cornelis) 18981972
 Bach, Johann Sebastian 16851750
 Wang, Hao 1921 Author
 Einstein, Albert 18791955 Author
 Feferman, Solomon Author of introduction Editor
 Yourgrau, Palle Author
 Russell, Bertrand 18721970 Creator
 Buechner, Jeff Author
 Takeuti, Gaisi 1926 Author
Useful Links
Associated Subjects
Algorithms Artificial intelligence Austria Bach, Johann Sebastian, Computational complexity Computer algorithms Computers Computer science Computer software 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, Modern Logic, Symbolic and mathematical Logicians Mathematicians Mathematics MathematicsPhilosophy Metamathematics Mindbrain identity theory Ontology Pauli, Wolfgang, Philosophy Platonists Proof theory Quine, W. V.(Willard Van Orman) Realism Recursive functions Refugees Russell, Bertrand, Science Scientists Set theory Symmetry Thought and thinking Time Turing, Alan Mathison, United States Vicious circle principle (Logic) World War (19391945)
Alternative Names
Curtius Gdel
Gkentel, Kourt
Godel, Kurt
Gdel, Kurt 19061978
Gdel, Kurt Friedrich 19061978
Goedel
Goedel, Kurt
Goedel Kurt 19061978
kurt.gedyl
Kurt Gdel Amerikaans wiskundige
Kurt Gdel austriacki logik i matematyk
Kurt Gdel logician, mathematician and philosopher, author of two eponym incompleteness theorems
Kurt Gdel matematico, logico e filosofo austriaco
Kurt Gdel mathmaticien austroamricain
Kurt Gdel Rakousk filozof, logik a matematik
Kurt Qodel
Kurts Gēdels
Κουρτ Γκέντελ Αυστροαμερικάνος επιστήμονας της λογικής, μαθηματικός και φιλόσοφος
Гедель
Курт Гедел
Курт Гёдель
Курт Гёдэль
Курт Гьодел
Կուրտ Գյոդել
גדל
קורט גדל
كورت غودل
کرٹ گوڈل
کورت گودل
कर्ट गोडेल
कुर्ट ग्योडेल
কুর্ট গ্যোডেল
ਕੁਰਟ ਗੋਡਲ
கியேடல்
ಕರ್ಟ್ ಗುಡ್ಲ್
คูร์ท เกอเดิล
ကာ့ ဂူဒယ်
쿠르트 괴델 수학자
クルト・ゲーデル
ゲーデル, クルト
哥德
哥德爾
库尔特哥德尔
Languages
English
(397)
German (38)
Spanish (20)
French (7)
Chinese (6)
Hungarian (4)
Japanese (2)
Italian (1)
Greek, Modern (1)
Hebrew (1)
Multiple languages (1)
Germanic (1)
German (38)
Spanish (20)
French (7)
Chinese (6)
Hungarian (4)
Japanese (2)
Italian (1)
Greek, Modern (1)
Hebrew (1)
Multiple languages (1)
Germanic (1)
Covers