VIAF

Virtual International Authority File

Search

Gödel, Kurt, 1906-1978. National Library of Australia ISNI NUKAT Center of Warsaw University Library National Library of Chile National Library of Latvia NUK/COBISS.SI, Slovenia Library and Archives Canada National Library of Spain National Library of Poland National Library of Sweden National Library of Estonia National Library of Lithuania National Library of Brazil National Library of Korea Sudoc [ABES], France National Library of Portugal Swiss National Library National Library of the Czech Republic National Library of France German National Library National Diet Library, Japan

Gödel, Kurt National Library of Israel National and University Library in Zagreb National Library and Archives of Québec National Library of Catalonia Central Institute for the Union Catalogue of the Italian libraries NII (Japan) National Library of Greece BIBSYS Library of Congress/NACO

Gödel, Kurt (Kurt Friedrich), 1906-1978 National Library of the Netherlands

Kurt Friedrich Gödel Wikidata

גדל, קורט, 1906-1978 National Library of Israel

VIAF ID: 97851774 (Personal)

Permalink: http://viaf.org/viaf/97851774

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (78)

Open Section Close Section 5xx's: Related Names (4)

Open Section Close SectionWorks

Title Sources
2: Publications 1938-1974 / Kurt Godel ; edited by Solomon Feferman (editor-in-chief) ... [et al.! Central Institute for the Union Catalogue of the Italian libraries NUKAT Center of Warsaw University Library
Albert Einstein philosopher - scientist German National Library
Apo tēn paranoia stous algorithmous, 2006 National Library of Australia Library of Congress/NACO
Bericht über das Kolloquium 1931/32 . Gesammelte Mitteilungen des Jahres 1931/32 NII (Japan)
The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory National Library of the Netherlands BIBSYS NUKAT Center of Warsaw University Library NUK/COBISS.SI, Slovenia Library and Archives Canada National Library of Catalonia NII (Japan) National Library of the Czech Republic National Library of Australia Sudoc [ABES], France Wikidata National Library of Portugal National Library of Sweden Library of Congress/NACO German National Library National Library of France
Correspondence H-Z National Library of the Czech Republic National Library of France NUKAT Center of Warsaw University Library
La Démonstration : Lecture commentée d'une méta-démonstration de Kurt Gödel : de la comptabilité de l'axiome du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles Sudoc [ABES], France
Ensayos inéditos National Library of Catalonia National Library of Spain Central Institute for the Union Catalogue of the Italian libraries German National Library
Ergebnisse eines mathematischen Kolloquiums. Sudoc [ABES], France
An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation Wikidata
The Fibrational formulation of intuitionistic predicate calculus I National Library and Archives of Québec
Filosofické eseje National Library of the Czech Republic
Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Gödel. Library of Congress/NACO Sudoc [ABES], France NII (Japan) National Library of the Netherlands
Frege and Gödel : two fundamental texts in mathematical logic National Library of Latvia National Library of Catalonia National Library of the Netherlands Sudoc [ABES], France National Library of Sweden Library of Congress/NACO
Fukanzensei teiri National Diet Library, Japan
GDEL. Collected works Sudoc [ABES], France National Library of the Czech Republic
Gederu mikan tetsugaku ronko National Diet Library, Japan
Gödel, Escher, Bach NUKAT Center of Warsaw University Library
Gödel logique à la folie National Library of France
Goedelov dokaz National and University Library in Zagreb
"Ich habe manchmal Heimweh nach Wien" German National Library
Kurt Gödel : das Album = the album NUK/COBISS.SI, Slovenia NII (Japan)
Kurt Gödel : essays for his centennial Library of Congress/NACO National Library of the Netherlands
Kurt Gödel : unpublished philosophical essays xR Extended Relationships National Library of the Netherlands
Kurt Gödel : Wahrheit & Beweisbarkeit National Library of Catalonia National Library of the Netherlands
Mathematical logic and its applications [proceedings of an Advanced International Summer School and Conference on Mathematical Logic and Its Applications, in honor of the 80th anniversary of Kurt Gödel's birth, held September 24 - October 4, 1986, in Druzhba, Bulgaria] BIBSYS National Library of Catalonia National Library of the Netherlands Sudoc [ABES], France National Library of Sweden Library of Congress/NACO German National Library
metriko de Gödel Wikidata
Obras completas National Library of Catalonia National Library of Spain Sudoc [ABES], France German National Library
Oeuvres complètes Sudoc [ABES], France
On intuitionistic arithmetic and number theory BIBSYS
On undecidable propositions of formal mathematical systems : notes on lectures by Kurt Gödel, February - May, 1934 BIBSYS National Library of Sweden NII (Japan)
The P=NP question and Gödel's lost letter National Library of Catalonia Library of Congress/NACO
Philosophical notebooks German National Library
Philosophie I Maximen 0/ Philosophy I Maxims 0 German National Library
Platonizm matematyczny National Library of Poland
Principia Mathematica Library of Congress/NACO National Library of Sweden xR Extended Relationships National Library of Spain NUKAT Center of Warsaw University Library NUK/COBISS.SI, Slovenia National Library of Catalonia NII (Japan) National Library of the Netherlands Sudoc [ABES], France Wikidata BIBSYS National Library of France German National Library National Diet Library, Japan
Proceedings of the National Academy of Sciences of the United States of America German National Library
Remarks before the Princeton Bicentennial Conference on Problems in Mathematics BIBSYS
Sammlung German National Library
Scritti scelti 1933 - 1964 German National Library
Sentences undecidable in formalized arithmetic, an exposition of the theory of Kurt Gödel NUK/COBISS.SI, Slovenia Sudoc [ABES], France
théorème de Gödel National Library of Portugal National Library of France Sudoc [ABES], France German National Library National Library of the Netherlands
Über die Länge von Beweisen Wikidata
ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES Wikidata
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I xR Extended Relationships NII (Japan)
Univers de Gödel Wikidata
Unpublished philosophical essays BIBSYS Library of Congress/NACO National Library of Sweden NUKAT Center of Warsaw University Library National Library of Catalonia xR Extended Relationships NII (Japan) National Library of the Netherlands Sudoc [ABES], France National Library of the Czech Republic National Library of France German National Library National Diet Library, Japan
Úplnost a neúplnost National Library of the Czech Republic
Die Vollständigkeit der Axiome des logischen Funktionenkalküls Wikidata
Vorbemerkung des Herausgebers ; Gesammelte Mitteilungen der Jahre 1928/29 NII (Japan)
What is Cantor's Continuum Problem? Wikidata
Works. 1986 National Library of Australia Library and Archives Canada National Library of Spain Central Institute for the Union Catalogue of the Italian libraries National Library of Sweden Library of Congress/NACO German National Library BIBSYS National Library of the Czech Republic NUK/COBISS.SI, Slovenia National Library of Catalonia NII (Japan) National Library of the Netherlands Sudoc [ABES], France xR Extended Relationships National Library of France
Метрика Гёделя Wikidata
оригинальное доказательство теоремы Гёделя Wikidata
متریک گودل Wikidata
ゲーデルの完全性定理の原証明 Wikidata
ゲーデル解 Wikidata
不完全性定理 NII (Japan) National Diet Library, Japan
哥德尔宇宙 Wikidata
哥德爾度規 Wikidata
数学基礎論 : 撰出公理及び一般連続仮說の集合論公理との無矛盾性 NII (Japan) National Diet Library, Japan

Open Section Close Section Selected Co-authors

Open Section Close Section Countries and Regions of Publication (15)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (13)

Open Section Close Section About

Open Section Close Section History of VIAF ID:97851774 (44)