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 ![]() | |||||
Familio | |||||
Edz(in)o | Adele Gödel vd | ||||
Profesio | |||||
Okupo | matematikisto • filozofo • universitata instruisto • komputosciencisto • fizikisto vd | ||||
Laborkampo | aro-teorio • matematika logiko • analiza filozofio • matematiko • fiziko • fizika relativeco • logiko • predikata logiko • filozofio • filozofio de matematiko 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