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 National Library of Poland National Library of Spain 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 and University Library in Zagreb RERO - Library Network of Western Switzerland National Library and Archives of Québec National Library of Catalonia NII (Japan) Central Institute for the Union Catalogue of the Italian libraries National Library of Israel 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 (71)

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
<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 RERO - Library Network of Western Switzerland National Library of Catalonia 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 Central Institute for the Union Catalogue of the Italian libraries 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
Demostración original del teorema de completitud de Gödel Wikidata
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. National Library of France Library of Congress/NACO Sudoc [ABES], France National Library of the Netherlands
Frege and Gödel : two fundamental texts in mathematical logic BIBSYS NUKAT Center of Warsaw University Library National Library of Latvia RERO - Library Network of Western Switzerland 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
Gödel remembered : Salzburg, 10-12 july 1983 RERO - Library Network of Western Switzerland
Goedelov dokaz National and University Library in Zagreb
Kurt Gödel : das Album = the album NUK/COBISS.SI, Slovenia
Kurt Gödel : essays for his centennial Library of Congress/NACO National Library of the Netherlands
Kurt Godel : 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] National Library of Catalonia National Library of the Netherlands Sudoc [ABES], France National Library of Sweden Library of Congress/NACO German National Library
meétrica de Gödel Wikidata
Metryka Gödla Wikidata
n79007770 National Diet Library, Japan
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
The P=NP question and Gödel's lost letter National Library of Catalonia Library of Congress/NACO
Platonizm matematyczny National Library of Poland
Principia Mathematica Library of Congress/NACO National Library of Sweden xR Extended Relationships National Library of Catalonia NUKAT Center of Warsaw University Library NUK/COBISS.SI, Slovenia RERO - Library Network of Western Switzerland National Library of Spain National Library of the Netherlands Sudoc [ABES], France Wikidata BIBSYS National Library of France German National Library
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 Sudoc [ABES], France National Library of Portugal National Library of France RERO - Library Network of Western Switzerland 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 NUKAT Center of Warsaw University Library Wikidata NUK/COBISS.SI, Slovenia BIBSYS Library of Congress/NACO National Library of France National Library of Sweden National Diet Library, Japan
Univers de Gödel Wikidata
Unpublished philosophical essays BIBSYS Library of Congress/NACO National Library of Sweden National Library of Catalonia NUKAT Center of Warsaw University Library RERO - Library Network of Western Switzerland 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
What is Cantor's Continuum Problem? Wikidata
Works. 1986 BIBSYS National Library of Sweden National Library of Catalonia National Library of the Czech Republic NUK/COBISS.SI, Slovenia RERO - Library Network of Western Switzerland Central Institute for the Union Catalogue of the Italian libraries National Library of the Netherlands National Library of Australia Sudoc [ABES], France xR Extended Relationships Library of Congress/NACO German National Library 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 (40)