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 National Library of Spain National Library of Sweden National Library of Estonia Swiss National Library National Library of Brazil National Library of Korea Sudoc [ABES], France National Library of Portugal 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 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

Gö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: https://viaf.org/viaf/97851774

Open Section Close Section Preferred Forms

 

 

 

 

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

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

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 tē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 National Library of France 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
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
démonstration, par Kurt Gödel, de la comptabilité de l'axiome du choix et de l'hypothèse généralisée du continu avec les axiomes de la théorie des ensembles lecture commentée d'une méta-démonstration de Gödel National Library of France 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 Gödel. National Library of France Library of Congress/NACO Sudoc [ABES], France German National Library 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 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
Gödel logique à la folie National Library of France
Goedelov dokaz National and University Library in Zagreb
"Ich habe manchmal Heimweh nach Wien" German National Library
Kurt Gö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
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 complètes Sudoc [ABES], France
On intuitionistic arithmetic and number theory BIBSYS
On the length of proofs BIBSYS
On undecidable propositions of formal mathematical systems : notes on lectures by Kurt Gödel, February - May, 1934 BIBSYS National Library of Sweden
Original proof of Gödel's completeness theorem Wikidata
The P=NP question and Gödel's lost letter National Library of Catalonia Library of Congress/NACO
Principia Mathematica National Library of Sweden xR Extended Relationships NUKAT Center of Warsaw University Library Library of Congress/NACO National Library of Catalonia 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 Gödel Sudoc [ABES], France
Sūgaku kisoron : Senshutsu kōri oyobi ippan renzoku kasetsu no shūgōron kōri tono mu mujunsei National Diet Library, Japan
théorème de Gö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
Über formal unentscheidbare Sätze der Principia Mathematíca und verwandter Systeme 1 xR Extended Relationships National Library of Sweden NUKAT Center of Warsaw University Library Wikidata National Library of France BIBSYS Library of Congress/NACO National Diet Library, Japan
Univers de Gödel Wikidata
Unpublished philosophical essays BIBSYS National Library of Sweden NUKAT Center of Warsaw University Library National Library of France National Library of Catalonia NII (Japan) National Library of the Netherlands Sudoc [ABES], France xR Extended Relationships National Library of the Czech Republic Library of Congress/NACO German National Library National Diet Library, Japan
Úplnost a neúplnost National Library of the Czech Republic
Works. 1986 BIBSYS National Library of Sweden National Library of the Czech Republic National Library of France National Library of Catalonia 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
Метрика Гёделя Wikidata
متریک گودل Wikidata
ゲーデルの完全性定理の原証明 Wikidata
ゲーデル解 Wikidata
不完全性定理 NII (Japan) National Diet Library, Japan
数学基礎論 : 撰出公理及び一般連続仮說の集合論公理との無矛盾性 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 (35)
http://viaf.org/viaf/97851774/
viaf.org
crawl=CC-MAIN-2017-47
317966
application/http; msgtype=response
sha1:EJAJEJTMQAEC4CKRPDSPA7JCTJI3PSXN
<urn:uuid:45da54a1-c536-42d1-99d9-6945ecb2692f>
2017-11-22T02:35:26Z
132.174.3.3
application/xhtml+xml
sha1:RI7CYHWD446JBCJNEAD26XPUJMNWOSCA
<urn:uuid:cc58b803-84dc-48f6-9e71-c347d9766e8c>
http://viaf.org/viaf/97851774/
length
response
<urn:uuid:85dddfd3-3062-4512-b94a-71045df6080d>
robots: classic
hostname: ip-10-169-239-161.ec2.internal
software: Nutch 1.6 (CC)
isPartOf: CC-MAIN-2017-47
operator: Common Crawl Admin
description: Wide crawl of the web for November 2017
publisher: Common Crawl
format: WARC File Format 1.0
conformsTo: http://bibnum.bnf.fr/WARC/WARC_ISO_28500_version1_latestdraft.pdf