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.
Tato tradiční společná konference českých a slovenských fyziků se pořádá jednou za tři roky. Střídavě ji organizuje Česká fyzikální společnost a Slovenská fyzikální společnost.
Další setkání členů Středočeské pobočky JČMF s progamem:
1. Přednáška „Rovinné grafy a rozklad rovinné konvexní oblasti" (Doc. RNDr. Emil Calda, CSc., KDM MFF UK Praha)
2. Přednáška „Osudy židovských matematiků v době nacismu“ (Doc. RNDr. Leoš Boček, CSc. KDM MFF UK Praha)
3. Přednáška „Systém Vernier a matematika reálného světa“ (Mgr. Jakub Jermář, Mgr. Pavel Böhm, KDF MFF UK Praha)
4. Zpráva o činnosti pobočky
5. Neformální diskuse v kuloárech
