Kurt Gödel
Kurt Gödel | |||||
---|---|---|---|---|---|
![]() | |||||
Persona informo | |||||
Kurt Friedrich Gödel | |||||
Naskonomo | Kurt Friedrich Gödel | ||||
Naskiĝo | 28-an de aprilo 1906 en Brno, ![]() | ||||
Morto | 14-an de januaro 1978 (71-jara) en Princeton | ||||
Mortis pro | inanicio [#] | ||||
Tombo | Princeton Cemetery [#] | ||||
Religio | kristanismo [#] | ||||
Lingvoj | germana • angla [#] | ||||
Loĝloko | Aŭstrio [#] | ||||
Ŝtataneco | Usono • Aŭstrio • Cislajtio • Ĉeĥoslovakio [#] | ||||
Alma mater | Universitato de Vieno [#] | ||||
Subskribo ![]() | |||||
Familio | |||||
Edz(in)o | Adele Gödel [#] | ||||
Profesio | |||||
Okupo | matematikisto • filozofo • universitata instruisto • komputikisto • fizikisto [#] | ||||
Laborkampo | aro-teorio • matematika logiko • analiza filozofio • matematiko • fiziko • fizika relativeco • logiko • predikata logiko • filozofio • filozofio de matematiko [#] | ||||
Doktoreca konsilisto | Hans Hahn [#] | ||||
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 [#] | ||||
| |||||
| |||||
[#] | 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 kontinuaĵa hipotezo al ceteraj aksiomoj de la aro-teorio