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,  Aŭstrio-Hungario
| ||||
| 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
