Kurt Gödel

aŭstra Usona matematikisto

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.

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 Redakti la valoron en Wikidata vd
Mortis per Inanicio Redakti la valoron en Wikidata vd
Tombo Princeton Cemetery (en) Traduki, 3-10-010 40° 21′ 19″ Nordo 74° 39′ 33″ Okcidento / 40.355235 °N, 74.659134 °U / 40.355235; -74.659134 (mapo) Redakti la valoron en Wikidata vd
Religio kristanismo vd
Lingvoj germanaangla vd
Loĝloko Aŭstrio vd
Ŝtataneco Usono (1948–1978)
Aŭstrio (1929–)
Ĉeĥoslovakio (1918–1929)
Cislajtio (1906–1918) Redakti la valoron en Wikidata vd
Alma mater Universitato de Vieno (1923–1929) Redakti la valoron en Wikidata vd
Subskribo Kurt Gödel
Memorigilo Kurt Gödel
Familio
Edz(in)o Adele Gödel Redakti la valoron en Wikidata vd
Profesio
Okupo matematikisto
komputosciencisto
universitata instruisto
filozofo
fizikisto Redakti la valoron en Wikidata vd
Laborkampo Aro-teorio, matematika logiko, analiza filozofio, matematiko, fiziko, fizika relativeco, logiko, predikata logiko, filozofio kaj filozofio de matematiko Redakti la valoron en Wikidata 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
vd Fonto: Vikidatumoj
vdr

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

Vidu ankaŭ

redakti

Eksteraj ligiloj

redakti