WorldCat Identities

Gödel, Kurt

Overview
Works: 265 works in 714 publications in 9 languages and 24,487 library holdings
Genres: Biography  History  Conference proceedings  Records and correspondence 
Roles: Honoree, Creator, Dedicatee
Classifications: QA9, 510.1
Publication Timeline
Key
Publications about  Kurt Gödel Publications about Kurt Gödel
Publications by  Kurt Gödel Publications by Kurt Gödel
posthumous Publications by Kurt Gödel, published posthumously.
Most widely held works about Kurt Gödel
 
moreShow More Titles
fewerShow Fewer Titles
Most widely held works by Kurt Gödel
Collected works by Kurt Gödel ( Book )
32 editions published between 1986 and 2003 in 3 languages and held by 823 WorldCat member libraries worldwide
Kurt Godel (1906-1978) 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 1938-1974. 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 consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory by Kurt Gödel ( Book )
63 editions published between 1940 and 1993 in English and Undetermined and held by 794 WorldCat member libraries worldwide
On formally undecidable propositions of Principia mathematica and related systems by Kurt Gödel ( Book )
23 editions published between 1962 and 1992 in English and Undetermined and held by 695 WorldCat member libraries worldwide
Frege and Gödel; two fundamental texts in mathematical logic by Jean Van Heijenoort ( Book )
11 editions published between 1970 and 1999 in English and Germanic and held by 503 WorldCat member libraries worldwide
Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Gödel by Natural Science, and Philosophy Festschrift Symposium on Logic and its Relations to Mathematics ( Book )
7 editions published in 1969 in English and held by 494 WorldCat member libraries worldwide
Collected works by Kurt Gödel ( )
4 editions published between 1986 and 2006 in English and held by 448 WorldCat member libraries worldwide
Kurt Godel (1906-1978) 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 essentially of 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 to individua
Publications 1929-1936 by Kurt Gödel ( )
20 editions published between 1986 and 2001 in English and German and held by 296 WorldCat member libraries worldwide
Unpublished philosophical essays by Kurt Gödel ( Book )
7 editions published in 1995 in English and German and held by 218 WorldCat member libraries worldwide
Kurt Gödel : essays for his centennial by Solomon Feferman ( Book )
6 editions published in 2010 in English and held by 179 WorldCat member libraries worldwide
"Kurt G̈odel (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̈odel's centennial as well as papers from a 2004 symposium. Proof theory, set theory, philosophy of mathematics, and the editing of G̈odel'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
Mathematical logic and its applications by Advanced International Summer School and Conference on Mathematical Logic and Its Applications ( Book )
7 editions published between 1987 and 1988 in English and held by 153 WorldCat member libraries worldwide
Collected works by Kurt Gödel ( Book )
16 editions published between 1990 and 2001 in English and Undetermined and held by 118 WorldCat member libraries worldwide
This second volume of a comprehensive edition of Kurt Godel's works collects the remainder of his published work, covering the period 1938-1974. (Volume I included all of his publications from 1929-1936). Each article or closely related group of articles is preceded by an introductory note that elucidates it and places it in historical context
The P=NP question and Gödel's lost letter by Richard J Lipton ( Book )
3 editions published in 2010 in English and held by 96 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
Gödel's proof by Ernest Nagel ( Book )
6 editions published between 1973 and 1997 in French and Portuguese and held by 68 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
Obras completas by Kurt Gödel ( Book )
11 editions published between 1981 and 2006 in Spanish and held by 60 WorldCat member libraries worldwide
Kurt Gödel : Wahrheit & Beweisbarkeit ( Book )
5 editions published in 2002 in German and held by 53 WorldCat member libraries worldwide
Collected works by Kurt Gödel ( Book )
6 editions published between 1995 and 2001 in English and held by 49 WorldCat member libraries worldwide
Principia mathematica : Vorwort und Einleitungen by Alfred North Whitehead ( Book )
9 editions published between 1986 and 2002 in German and Undetermined and held by 41 WorldCat member libraries worldwide
Collected works by Kurt Gödel ( Book )
7 editions published between 2003 and 2006 in English and German and held by 34 WorldCat member libraries worldwide
Collected works by Kurt Gödel ( Book )
5 editions published between 1995 and 2001 in English and German and held by 32 WorldCat member libraries worldwide
On undecidable propositions of formal mathematical systems by Kurt Gödel ( Book )
4 editions published in 1934 in English and held by 29 WorldCat member libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.46 (from 0.22 for A madman d ... to 0.96 for On undecid ...)
Alternative Names
Gkentel, Kourt
Godel, Kurt
Gödel, Kurt, 1906-1978
Gödel, Kurt Friedrich 1906-1978
Goedel
Goedel, Kurt
Goedel Kurt 1906-1978
גדל
ゲーデル, クルト
Languages
Covers