skip to content

Gödel, Kurt

Overview
Works: 262 works in 714 publications in 9 languages and 19,775 library holdings
Genres: History  Biography  Conference papers and proceedings  Records and correspondence 
Roles: Author, Honoree, Creator, Dedicatee
Classifications: QA9.8,
Publication Timeline
Key
Publications about Kurt Gödel
Publications by Kurt Gödel
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
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory by Kurt Gödel( Book )
76 editions published between 1940 and 1999 in English and Undetermined and held by 835 libraries worldwide
On formally undecidable propositions of Principia mathematica and related systems by Kurt Gödel( Book )
41 editions published between 1962 and 2012 in 4 languages and held by 726 libraries worldwide
Dover Books on Mathematics; Title Page; Copyright Page; Table of Contents; Dedication; PREFACE; INTRODUCTION; NOTE; ON FORMALLY UNDECIDABLE PROPOSITIONS OF PRINCIPIA MATHEMATICA AND RELATED SYSTEMS I; 1; 2; 3; 4
Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Gödel by Jack J Bulloff( Book )
14 editions published in 1969 in English and German and held by 518 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 in-absentia 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 )
10 editions published between 1970 and 2001 in English and Germanic [Other] and held by 488 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 )
7 editions published between 1995 and 1997 in 3 languages and held by 222 libraries worldwide
Mathematical logic and its applications by Dimitŭr Genchev Skordev( Book )
8 editions published between 1987 and 1988 in English and Undetermined and held by 158 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 80-th 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
Kurt Gödel : essays for his centennial by Solomon Feferman( Book )
10 editions published between 1995 and 2010 in English and Japanese and held by 148 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 set"--Provided by publisher
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 105 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 1990 and 2001 in English and Undetermined and held by 104 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
Collected works by Kurt Gödel( Book )
16 editions published between 1995 and 2001 in English and German and held by 74 libraries worldwide
Le théorème de Gödel ( Book )
5 editions published between 1989 and 1997 in French and held by 72 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 )
17 editions published between 1990 and 2003 in English and German and held by 71 libraries worldwide
Collected works by Kurt Gödel( Book )
16 editions published between 2003 and 2014 in English and German and held by 58 libraries worldwide
Collected works by Kurt Gödel( Book )
18 editions published between 2003 and 2014 in English and German and held by 56 libraries worldwide
Principia mathematica by Alfred North Whitehead( Book )
11 editions published between 1984 and 2008 in German and Undetermined and held by 52 libraries worldwide
Kurt Gödel : Wahrheit & Beweisbarkeit ( Book )
5 editions published in 2002 in German and held by 48 libraries worldwide
Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines I by Kurt Gödel( Book )
15 editions published between 1930 and 2006 in 3 languages and held by 30 libraries worldwide
El llamado "teorema de incompletud" de la matemática, descubierto por Kurt Gödel en 1931, constituye una de las más importantes conquistas científicas del pasado siglo XX. Su hallazgo ha significado una revolución de los fundamentos de la lógica y de la matemática tan importante como la introducida en física por la teoría de la relatividad de Einstein o la efectuada en biología por el descubrimiento del modelo de la doble hélice por Watson y Crick.\r\nEste teorema cuya demostración es un prodigio de rigor matemático y de imaginación filosófica, establece que nuestros métodos de deducción racional son radicalmente incapaces de dar cuenta de todas las verdades de la ciencia matemática, la cual excede, por principio, la potencia deductiva del más perfecto de los ordenadores digitales. Una de las más profundas consecuencias filosóficas del hallazgo de Gödel es la superioridad de la mente humana sobre cualquier máquina.\r\nEl presente volumen contiene la versión castellana del célebre artículo en que este autor formuló el teorema, precedida de una introducción que analiza tanto su demostración como sus implicaciones filosóficas
Collected works by Kurt Gödel( Book )
10 editions published between 1986 and 2001 in English and German and held by 30 libraries worldwide
Annotation 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 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 long-awaited project is of great significance to logicians, mathematicians, philosophers and historians
Die Gödel'schen Unvollständigkeitssätze : eine geführte Reise durch Kurt Gödels historischen Beweis by Dirk W Hoffmann( Book )
1 edition published in 2013 in German and held by 29 libraries worldwide
Im Jahr 1931 erschien im Monatsheft für Mathematik und Physik ein Artikel mit dem geheimnisvoll klingenden Titel Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. In dieser Arbeit hat Kurt Gödel zwei Unvollständigkeitssätze bewiesen, die unseren Blick auf die Mathematik von Grund auf verändert haben. Gödels Sätze manifestieren, dass zwischen dem Begriff der Wahrheit und dem Begriff der Beweisbarkeit eine unüberwindbare Kluft besteht, die wir nicht überwinden können. Die Mathematik fügt sich in kein formales Korsett. Seit ihrer Entdeckung sind die Unvollständi
Gödel, Escher, Bach : an eternal golden braid by Douglas R Hofstadter( Book )
9 editions published between 1979 and 2004 in 3 languages and held by 26 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
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Curtius Gödel
Gkentel, Kourt
Gkentel, Kourt, 1906-1978
Godel, Kurt
Gödel, Kurt 1906-1978
Gödel, Kurt Friedrich 1906-1978
Goedel
Goedel, Kurt
Goedel Kurt 1906-1978
kurt.gedyl
Kurt Gödel Amerikaans wiskundige
Kurt Gödel austriacki logik i matematyk
Kurt Gödel logician, mathematician and philosopher, author of two eponym incompleteness theorems
Kurt Gödel matematico, logico e filosofo austriaco
Kurt Gödel mathématicien austro-américain
Kurt Gödel österreichisch-amerikanischer Mathematiker und Logiker
Kurt Gödel Rakouský filozof, logik a matematik
Kurt Qodel
Kurts Gēdels
Κουρτ Γκέντελ
Κουρτ Γκέντελ Αυστρο-αμερικάνος επιστήμονας της λογικής, μαθηματικός και φιλόσοφος
Гедель
Курт Гедел
Курт Гёдель
Курт Гёдэль
Курт Гьодел
Կուրտ Գյոդել
גדל
קורט גדל
كورت غودل
کرٹ گوڈل
کورت گودل
कर्ट गोडेल
कुर्ट ग्योडेल
কুর্ট গ্যোডেল
ਕੁਰਟ ਗੋਡਲ
கியேடல்
ಕರ್ಟ್ ಗುಡ್ಲ್
കുർട്ട് ഗോഡൽ
คูร์ท เกอเดิล
ကာ့ ဂူဒယ်
쿠르트 괴델 수학자
クルト・ゲーデル
ゲーデル, クルト
哥德
哥德爾
库尔特·哥德尔
Languages
English (331)
German (47)
Spanish (19)
French (8)
Chinese (4)
Japanese (3)
Italian (1)
Hebrew (1)
Germanic [Other] (1)
Covers
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.