Kurt Gödel
El Vikipedio
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ĥ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 arteorio
[redaktu] Eksteraj ligiloj
Se jam ekzistas alilingva samtema artikolo pli disvolvita, traduku kaj aldonu el ĝi.