Brněnský rodák Kurt Gödel, právem považovaný za logika významem srovnatelného s Aristotelem, svými výsledky dokázal jak úplnost predikátové logiky I. řádu pro logiku, tak principiální nemožnost sestavení podobného formalizovaného systému pro matematiku. Aritmetizace matematických pojmů, kterou pro to vyvinul, dovoluje i pohled na bohatství matematických tvrzení a jejich obrazné srovnání s velikostí vesmíru.
Přednáška se koná v souvislosti se 120. výročím Gödelova narození.
Přednáší prof. RNDr. Jiří Zlatuška, CSc. Kontakt: Irena Vykoupilová, tel. 541 646 168.
VSTUP VOLNÝ
