skip to content

Gödel, Kurt

Overview
Works: 308 works in 1,007 publications in 9 languages and 30,677 library holdings
Genres: Biography  History  Biographies  Conference papers and proceedings  Records and correspondence  Criticism, interpretation, etc 
Roles: Author, Honoree, Creator, Dedicatee
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 )
82 editions published between 1940 and 1999 in English and held by 833 libraries worldwide
On formally undecidable propositions of Principia mathematica and related systems by Kurt Gödel( Book )
44 editions published between 1962 and 2012 in 4 languages and held by 727 libraries worldwide
In 1931, a young Austrian mathematician published an epoch-making 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 20th-century mathematics.The present volume reprints the first English translation of
Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Gödel by Erwin Engeler( Book )
18 editions published in 1969 in English and German and held by 536 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
Unpublished philosophical essays by Kurt Gödel( Book )
11 editions published between 1995 and 1997 in 3 languages and held by 236 libraries worldwide
Collected works by Kurt Gödel( Book )
44 editions published between 2003 and 2014 in 3 languages and held by 187 libraries worldwide
Collected works by Kurt Gödel( Book )
38 editions published between 1986 and 2001 in English and German and held by 174 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
Mathematical logic and its applications by Dimitŭr Genchev Skordev( Book )
11 editions published between 1987 and 1988 in English and held by 168 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 )
7 editions published in 2010 in English and held by 152 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
Le théorème de Gödel by Ernest Nagel( Book )
7 editions published between 1989 and 1997 in French and held by 75 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
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 39 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ändigkeitssätze in aller Munde und eine Flut an Büchern widmet sich ihrem fulminanten Inhalt. Doch kaum ein Werk behandelt die Gödel'sche Arbeit in ihrer ursprünglichen Form - und dies hat triftige Gründe: Seine komplexen, in akribischer Präzision beschriebenen Argumentationsketten, die vielen Definitionen und Sätze und die heute weitgehend überholte Notation machen Gödels historisches Meisterwerk zu einer schwer zu lesenden Arbeit. In diesem Buch wird Gödels Beweis aus dem Jahr 1931 detailliert aufgearbeitet. Alle Einzelschritte werden erläutert und anhand zahlreicher Beispiele verständlich erklärt. Doch dieses Buch ist mehr als eine kommentierte Fassung der historischen Arbeit. Die Beweise der Unvollständigkeitssätze in vollem Umfang zu verstehen, bedingt, die Geschichte zu verstehen, und so versetzen zahlreiche Exkurse den Leser in die Zeit zu Beginn des zwanzigsten Jahrhunderts zurück. Es ist die Zeit, in der die Mathematik die größte Krise ihrer Geschichte durchlebte, die Typentheorie und die axiomatische Mengenlehre Gestalt annahmen und sich Hilberts formalistische Logik und Brouwers intuitionistische Mathematik mit offenem Visier gegenüber standen
On undecidable propositions of formal mathematical systems by Kurt Gödel( Book )
4 editions published in 1934 in English and held by 27 libraries worldwide
Gödel, Escher, Bach : an eternal golden braid by Douglas R Hofstadter( Book )
6 editions published between 1979 and 1983 in English and Undetermined and held by 17 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
Collected works by Kurt Gödel( Book )
7 editions published in 1986 in English and German and held by 14 libraries worldwide
Incompleteness : the proof and paradox of Kurt Gödel by Rebecca Goldstein( Book )
1 edition published in 2005 in English and held by 8 libraries worldwide
"An introduction to the life and thought of Kurt Gödel, who transformed our conception of math forever"--Provided by publisher
A world without time : the forgotten legacy of Gödel and Einstein by Palle Yourgrau( Book )
1 edition published in 2005 in English and held by 8 libraries worldwide
It is a widely known but little considered fact that Albert Einstein and Kurt Godel were best friends for the last decade and a half of Einstein's life. The two walked home together from Princeton's Institute for Advanced Study every day; they shared ideas about physics, philosophy, politics, and the lost world of German science in which they had grown up. By 1949, Godel had produced a remarkable proof: In any universe described by the Theory of Relativity, time cannot exist. Einstein endorsed this result-reluctantly, since it decisively overthrew the classical world-view to which he was committed. But he could find no way to refute it, and in the half-century since then, neither has anyone else. Even more remarkable than this stunning discovery, however, was what happened afterward: nothing. Cosmologists and philosophers alike have proceeded with their work as if Godel's proof never existed-one of the greatest scandals of modern intellectual history. A World without Time is a sweeping, ambitious book, and yet poignant and intimate. It tells the story of two magnificent minds put on the shelf by the scientific fashions of their day, and attempts to rescue from undeserved obscurity the brilliant work they did together
Gödel : a life of logic by J. L Casti( Book )
1 edition published in 2000 in English and held by 7 libraries worldwide
Godel's Incompleteness Theorem suggested that logic would not allow a complete understanding of the universe, and this contemporary of Einstein established new theories that changed science and philosophy
Logical dilemmas : the life and work of Kurt Gödel by John W Dawson( Book )
2 editions published between 1998 and 2006 in English and held by 4 libraries worldwide
"This definitive biography of the logician and philosopher Kurt Godel is the first in-depth account to integrate details of his personal life with his work and is based on the author's intensive study of Godel's papers and surviving correspondence. Godel (1906-1978) is considered to be the preeminent logic researcher of the twentieth century. His noted works on the completeness of first-order logic, the incompleteness of formal number theory, and the relative consistency of the Axiom of Choice and the Continuum Hypothesis established bounds on the efficacy of formal methods in investigating foundational questions. He is also noted for his unique and distinctive writings on the philosophy behind mathematics, and his lesser-known results in cosmology raised problematic issues in the philosophy of time. Dawson, a logician and historian of science, examines the life of this driven man whose work on the foundation of mathematics has fundamentally changed our thoughts on these subjects and has stimulated much of the research conducted in this century. He further explores the relationship between Godel's personality and his scientific achievements and describes the impact Godel's results have had on our modern world view."--Jacket
Kurt Gödel : das Album = the album by Karl Sigmund( Book )
1 edition published in 2006 in German and held by 2 libraries worldwide
Time Magazine reihte ihn unter die hundert wichtigsten Personen des zwanzigsten Jahrhunderts. Die Harvard University verlieh ihm das Ehrendoktorat für die Entdeckung "der bedeutsamsten mathematischen Wahrheit des Jahrhunderts". Er gilt allgemein als der größte Logiker seit Aristoteles. Sein Freund Einstein ging, nach eigener Aussage, nur deshalb ans Institut, um Gödel auf dem Heimweg begleiten zu dürfen. Und John von Neumann, einer der Väter des Computers, schrieb: "Gödel ist tatsächlich absolut unersetzlich. Er ist der einzige Mathematiker, von dem ich das zu behaupten wage." Dieses Buch ist eine leichtverdauliche, einfache und anschauliche Einführung in Gödels Leben und Werk, gedacht für jene, die sich für die menschlichen und kulturellen Aspekte der Wissenschaft interessieren. Ausgangspunkt des Buches waren die Vorbereitungen zu einer Ausstellung über Kurt Gödel aus Anlass seines hundertsten Geburtstags. Eine Ausstellung hat etwas von einem Spaziergang an sich, und gerade das wollen wir bieten: einen Spaziergang mit Gödel. Albert Einstein genoss solche Spaziergänge sehr. Man kann also Gödel genießen. Time Magazine ranked him among the hundred most important persons of the twentieth century. Harvard University made him an honorary doctor "for the discovery of the most significant mathematical truth of the century". He is generally viewed as the greatest logician since Aristotle. His friend Einstein liked to say that he only went to the institute to have the privilege of walking back home with Kurt Gödel. And John von Neumann, one of the fathers of the computer, wrote: "Indeed Gödel is absolutely irreplaceable. He is the only mathematician about whom I dare make this assertion." This book wants to give a simple, intuitive and easily digestible introduction to Gödel's life and work, meant for readers interested in the human and cultural aspects of science. Its starting point were the preparations for an exhibition on Kurt Gödel, on
The disappearance of time : Kurt Gödel and the idealistic tradition in philosophy by Palle Yourgrau( Book )
1 edition published in 1991 in English and held by 2 libraries worldwide
 
moreShow More Titles
fewerShow Fewer Titles
Alternative Names
Curtius Gödel
Gēderu 1906-1978
Gkentel, Kourt
Gkentel, Kourt 1906-1978
Gödel, K
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
Kurt Gödel Amerikaans wiskundige
Kurt Gödel austriacki logik i matematyk
Kurt Gödel Austrian-American logician, mathematician, and philosopher of mathematics
Kurt Gödel lógico matemático
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
UKurt Gödel
Κουρτ Γκέντελ Αυστρο-αμερικάνος επιστήμονας της λογικής, μαθηματικός και φιλόσοφος
Гедель
Курт Гедел
Курт Гёдель
Курт Гедель австрійсько-американський логік, математик і філософ математики
Курт Гёдэль
Курт Гьодел
Կուրտ Գյոդել
גדל
קורט גדל
كورت غودل
کرٹ گوڈل
کورت قودل
کورت گودل
कर्ट गोडेल
कुर्ट ग्योडेल
কুর্ট গ্যোডেল
ਕੁਰਟ ਗੋਡਲ
கியேடல்
ಕರ್ಟ್ ಗುಡ್ಲ್
ಕರ್ಟ್ ಗುಡ್ಲ್ ಗಣಿತಜ್ಞ
കുർട്ട് ഗോഡൽ
คูร์ท เกอเดิล
ကာ့ ဂူဒယ်
괴델, 쿠르트 1906-1978
쿠르트 괴델 수학자
クルト・ゲーデル
ゲーデル 1906-1978
ゲーデル, クルト
哥德
哥德爾
库尔特·哥德尔
Languages
English (400)
German (21)
French (11)
Chinese (6)
Spanish (4)
Japanese (3)
Italian (1)
Multiple languages (1)
Russian (1)
Covers
Close Window

Please sign in to WorldCat 

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