sort by
approximate search
1shortlisttitle datasearch history  
results search [or] ISN:000000011031567X | 1 hits
Person
ISNI: 
0000 0001 1031 567X
Name: 
Curtius Gödel
Gkentel, Kourt
Gödel, K.
Gödel, Kurt
Gödel, Kurt Friedrich
Goedel
Goedel, Kurt
kurt.gedyl
Kurt Gödel (Amerikaans wiskundige)
Kurt Gödel (austriacki logik i matematyk)
Kurt Gödel (logician, mathematician, and philosophy of mathematicsphilosopher of mathematics)
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
Κουρτ Γκέντελ (Αυστρο-αμερικάνος επιστήμονας της λογικής, μαθηματικός και φιλόσοφος)
Гедель
Курт Гедел
Курт Гёдель
Курт Гёдэль
Курт Гьодел
Կուրտ Գյոդել
גדל
גדל, קורט
קורט גדל
كورت غودل
کرٹ گوڈل
کورت گودل
कर्ट गोडेल
कुर्ट ग्योडेल
কুর্ট গ্যোডেল
ਕੁਰਟ ਗੋਡਲ
கியேடல்
ಕರ್ಟ್ ಗುಡ್ಲ್
കുർട്ട് ഗോഡൽ
คูร์ท เกอเดิล
ကာ့ ဂူဒယ်
쿠르트 괴델 (수학자)
クルト・ゲーデル
ゲーデル, クルト
哥德
哥德爾
库尔特·哥德尔
Dates: 
1906-1978
Creation class: 
article
Language material
Nonmusical sound recording
Text
Creation role: 
author
contributor
Related names: 
Association for symbolic logic
Braithwaite, Richard Bevan (1900-1990)
Feferman, Solomon (1928-...)
Fiala, Jiří (1939-2012)
Garrido, Manuel (1925-)
Lourenço, M. S. (1936-2009)
Meltzer, Bernard
Mosterín, Jesús
Nagel, Ernest (1901-1985)
Rodríguez Consuegra, Francisco
Rodriguez-Consuegra, Francisco A.
Scherrer, Jean-Baptiste
Skordev, Dimitǔr Genčev
Van Heijenoort, Jean (1912-1986)
Whitehead, Alfred North (1861-1947)
近藤, 洋逸 (1911-1979)
Titles: 
2: Publications 1938-1974 ; edited by Solomon Feferman (editor-in-chief) ... [et al.!
Albert Einstein philosopher - scientist
Apo tēn paranoia stous algorithmous, 2006:
Collected works
Consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory, The
Correspondence H-Z
Démonstration, par 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
Ensayos inéditos
Ergebnisse eines mathematischen Kolloquiums.
Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation, An
Fibrational formulation of intuitionistic predicate calculus I, The
Filosofické eseje
Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Gödel.
Frege and Gödel : two fundamental texts in mathematical logic
Fukanzensei teiri
Gederu mikan tetsugaku ronko
Gödel, Escher, Bach
Gödel logique à la folie
Goedelov dokaz
"Ich habe manchmal Heimweh nach Wien"
Kurt Gödel : essays for his centennial
Kurt Godel : unpublished philosophical essays
Kurt Gödel : Wahrheit & Beweisbarkeit
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]
Metrica di Gödel
Metryka Gödla
Obras completas
Oeuvres complètes
On formally undecidable propositions of Principia mathematica and related systems
P=NP question and Gödel's lost letter, The
Principia Mathematica : Vorwort und Einleitungen
Proceedings of the National Academy of Sciences of the United States of America
Sammlung
Scritti scelti 1933 - 1964
Sentences undecidable in formalized arithmetic, an exposition of the theory of Kurt Gödel
Sobre proposiciones formalmente indecidibles de los Principia Mathematica y sistemas afines, I
Sūgaku kisoron : Senshutsu kōri oyobi ippan renzoku kasetsu no shūgōron kōri tono mu mujunsei
Théorème de Gödel
Über die Länge von Beweisen
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme 1
Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I.
Universo de Gödel
Метрика Гёделя
متریک گودل
ゲーデル解
不完全性定理
数学基礎論 : 撰出公理及び一般連続仮說の集合論公理との無矛盾性
Contributed to or performed: 
MONATSHEFTE FUR MATHEMATIK
Notes: 
Sources: 
VIAF B2Q BNC BNCHL BNE DNB ICCU LC LNB NDL NKC NLI NSK NUKAT PTBNP SELIBR SUDOC SWNL WKD
BOWKER
NTA
ZETO