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ĝa) en Princeton | ||||
| Mortis pro | sinmortigo vd | ||||
| Mortis per | inanicio vd | ||||
| Tombo | Princeton Cemetery vd | ||||
| Religio | kristanismo vd | ||||
| Lingvoj | germana • angla vd | ||||
| Loĝloko | Aŭstrio vd | ||||
| Ŝtataneco | Usono • Aŭstrio • Cislajtio • Ĉeĥoslovakio vd | ||||
| Alma mater | Universitato de Vieno vd | ||||
Subskribo 
| |||||
Memorigilo 
| |||||
| Familio | |||||
| Edz(in)o | Adele Gödel vd | ||||
| Profesio | |||||
| Okupo | matematikisto • filozofo • universitata instruisto • komputosciencisto • fizikisto • sciencisto vd | ||||
| Laborkampo | aro-teorio • matematika logiko • analiza filozofio • matematiko • fiziko • fizika relativeco • logiko • predikata logiko • filozofio • filozofio 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 | ||||
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 kontinuumo-hipotezo al ceteraj aksiomoj de la aro-teorio
