O neúplnosti teorií

Přednáška profesora Jiřího Cihláře bude komentářem k výsledkům logiky z období okolo poloviny minulého století (Gödel, Tarski, Church a další). Připomeneme si problematiku bezespornosti a úplnosti teorií, odvoditelnosti formulí a jejich pravdivosti v modelech, existenci nestandardních modelů Peanovy aritmetiky, rozhodnutelnosti teorií a další zajímavosti.

Přednáška se koná v Liberci v budově H TUL (Voroněžská ulice) v 5. patře v posluchárně H52 ve 14:30 hodin ve středu 11.5.2011.