Kurt Gödel

Kurt Gödel
Persona informo
Kurt Friedrich Gödel
Naskonomo	Kurt Friedrich Gödel
Naskiĝo	28-an de aprilo 1906 (1906-04-28) en Brno
Morto	14-an de januaro 1978 (1978-01-14) (71-jaraĝa) en Princeton
Mortis pro	Sinmortigo vd
Mortis per	Inanicio vd
Tombo	Princeton Cemetery (en) , 3-10-010 40.355235 °N, 74.659134 °U / 40.355235; -74.659134 (mapo) vd
Religio	kristanismo vd
Lingvoj	germana • angla vd
Loĝloko	Aŭstrio vd
Ŝtataneco	Usono (1948–1978) Aŭstrio (1929–) Ĉeĥoslovakio (1918–1929) Cislajtio (1906–1918) vd
Alma mater	Universitato de Vieno (1923–1929) vd
Subskribo
Memorigilo
Familio
Edz(in)o	Adele Gödel vd
Profesio
Okupo	matematikisto komputosciencisto universitata instruisto filozofo fizikisto vd
Laborkampo	Aro-teorio, matematika logiko, analiza filozofio, matematiko, fiziko, fizika relativeco, logiko, predikata logiko, filozofio kaj filozofio de matematiko vd
Aktiva en	Brno vd
Doktoreca konsilisto	Hans Hahn vd
Verkado
Verkoj	teoremoj de nekompleteco ❦ kompletec-teoremo de Gödel ❦ Gödel-numerado ❦ Von Neumann–Bernays–Gödel set theory ❦ metriko de Gödel ❦ konstruebla universo ❦ ontologia pruvo de Gödel ❦ beta-funkcio de Gödel ❦ Gödel-incomplete machine ❦ Gödel's speed-up theorem ❦ Gödel logic ❦ Gödel's second incompleteness theorem ❦ Godel's first incompleteness theorem ❦ Gödel operation vd
Honorigoj Honorigoj (1974)  Nacia Medalo de Scienco (1968)  eksterlanda ano de la Reĝa Societo (1951)  Josiah Willard Gibbs Lectureship (en) (1951)  Albert Einstein Award (en)  honora doktoro de la Universitato de Vieno  honorary doctorate from Princeton University (en) vd
Membrecoj Membrecoj Reĝa Societo de Londono Akademio de Sciencoj de Francio Usona Akademio de Artoj kaj Sciencoj Usona Nacia Akademio de Sciencoj vd
vd	Fonto: Vikidatumoj

Kurt GÖDEL [gedl], en esperanto Godelo (naskiĝis la 28-an de aprilo 1906 en Brno (Aŭstrio-Hungario, hodiaŭ Ĉeĥio), mortis la 14-an de januaro 1978 en Princeton en Usono) estis Ĉeĥio-devena germanparolanta matematikisto-logikisto, laborinta en Aŭstrio kaj Usono.

Li estis ano de la Viena rondo kaj estas konsiderata elstara logikisto; interalie li pruvis jenajn teoremojn:

• teoremo de Gödel pri kompleteco
• teoremoj de Gödel pri nekompleteco
• nekontraŭdireco de la elekta aksiomo kaj la kontinuumo-hipotezo al ceteraj aksiomoj de la aro-teorio

Vidu ankaŭ

• 3366 Gödel
• Komputa logiko

Eksteraj ligiloj

• esperantlingva taglibra enskribo pri centjariĝo de Godelo kun traduko de gazeta artikolo pri lia vivo