Na Seminaru za matematičku logiku i osnove matematike, u ponedjeljak 24.
listopada 2016. u 17 sati, u predavaonici 104, PMF-MO, Zvonimir Šikić će
održati predavanje

Od lašca do Tarskog, Gödela i Rossera (2)

Sažetak: Sve detaljnijom (iteriranom) analizom prešutnih pretpostavki u
paradoksu lašca doći ćemo do teorema o nedefinabilnosti istine Tarskog i
teorema nepotpunosti Tarskog, Gödela i Rossera. (Ideja je da sve bude
krajnje jednostavno.)