Kurt Gödel

El Vikipedio, la libera enciklopedio
Salti al navigilo Salti al serĉilo
Kurt Gödel
1925 kurt gödel.png
Persona informo
Kurt Friedrich Gödel
Naskonomo Kurt Friedrich Gödel
Naskiĝo 28-an de aprilo 1906 (1906-04-28)
en Brno, Flags of Austria-Hungary.png Aŭstrio-Hungario
Morto 14-an de januaro 1978 (1978-01-14) (71-jara)
en Princeton
Mortis pro inanicio [#]
Tombo Princeton Cemetery [#]
Religio kristanismo [#]
Lingvoj germana angla [#]
Loĝloko Aŭstrio [#]
Ŝtataneco UsonoAŭstrioAŭstrio-HungarioUnua respubliko de Ĉeĥoslovakio [#]
Alma mater Universitato de Vieno [#]
Subskribo Kurt Gödel
Familio
Edz(in)o Adele Gödel [#]
Profesio
Okupo matematikisto • filozofo • universitata profesoro • komputikistofizikisto [#]
Laborkampo aroteoriomatematika logiko [#]
Doktoreca konsilisto Hans Hahn [#]
Verkado
Verkoj teoremoj de nekompleteco ❦
kompletec-teoremo de Gödel ❦
Gödel numbering ❦
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 [#]
[#] Fonto: Vikidatumoj
Wikidata-logo.svg
Information icon.svg
vdr

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:

Vidu ankaŭ[redakti | redakti fonton]

Eksteraj ligiloj[redakti | redakti fonton]