El Vikipedio, la libera enciklopedio
| Kurt Gödel
|
|
|
|
| Persona informo
|
| Kurt Friedrich Gödel
|
| Naskonomo
|
Kurt Friedrich Gödel
|
| Naskiĝo
|
28-an de aprilo 1906 (1906-04-28)
en Brno
|
| Morto
|
14-an de januaro 1978 (1978-01-14) (71-jaraĝa)
en Princeton
|
| Mortis pro
|
Sinmortigo  vd
|
| Mortis per
|
Inanicio vd
|
| Tombo
|
Princeton Cemetery (en)  , 3-10-010 40° 21′ 19″ Nordo 74° 39′ 33″ Okcidento / 40.355235 °N, 74.659134 °U / 40.355235; -74.659134 (mapo) vd
|
| Religio
|
kristanismo vd
|
| Lingvoj
|
germana • angla vd
|
| Loĝloko
|
Aŭstrio vd
|
| Ŝtataneco
|
Usono (1948–1978)
Aŭstrio (1929–)
Ĉeĥoslovakio (1918–1929)
Cislajtio (1906–1918) vd
|
| Alma mater
|
Universitato de Vieno (1923–1929) vd
|
|
|
Subskribo 
|
|
|
Memorigilo 
|
| Familio
|
| Edz(in)o
|
Adele Gödel vd
|
| Profesio
|
| Okupo
|
matematikisto
komputosciencisto
universitata instruisto
filozofo
fizikisto vd
|
| Laborkampo
|
Aro-teorio, matematika logiko, analiza filozofio, matematiko, fiziko, fizika relativeco, logiko, predikata logiko, filozofio kaj 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:
