Gödel [gédəl], Kurt, nemški matematik in logik, *28.4.1906 Brno, †14.1.1978 Princeton (NJ); od 1938 na Institutu for Advanced Study v Princetonu; v delih o temeljnih matematičnih raziskavah in teoriji znanosti je mdr. dokazal popolnost logike kvantifikatorjev (B. Russell, G. Frege) in 1931 v znanem »aksiomu neizpeljivosti« nepopolnost aksiomatske teorije o številih. S tem je pokazal, da v nekem formaliziranem miselnem sistemu ni nikoli mogoče dokazati njegove neprotislovnosti s sredstvi samega sistema. Aksiom je povzročil preobrat v temeljnem matematičnem raziskovanju oz. v programu formalizacije teorije.
Dostopnost