Kurt Gödel

Kurt GÖDEL , 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

 Vidu ankaŭ 
 3366 Gödel
 Komputa logiko

 Eksteraj ligiloj 

 esperantlingva taglibra enskribo pri centjariĝo de Godelo kun traduko de gazeta artikolo pri lia vivo

Kategorio:Aŭstraj matematikistoj
Kategorio:Usonaj matematikistoj
Kategorio:Usonaj logikistoj
Kategorio:Aŭstraj logikistoj
Kategorio:Aŭstraj filozofoj
Kategorio:Ontologoj
Kategorio:Platonistoj
Kategorio:Anoj de la Reĝa Societo de Londono
Kategorio:Homoj el Brno
Kategorio:Analizaj filozofoj