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, Reĝlando Bohemio,  Aŭstrio-Hungario
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 vd
Religio kristanismo vd
Lingvoj germanaangla vd
Loĝloko Aŭstrio vd
Ŝtataneco UsonoAŭstrioCislajtioĈeĥoslovakio vd
Alma mater Universitato de Vieno vd
Subskribo Kurt Gödel
Memorigilo Kurt Gödel
Familio
Edz(in)o Adele Gödel vd
Profesio
Okupo matematikisto • filozofo • universitata instruisto • komputosciencistofizikisto vd
Laborkampo aro-teoriomatematika logikoanaliza filozofiomatematikofizikofizika relativecologikopredikata logikofilozofiofilozofio 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
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