Zveme všechny zájemce z řad studentů i učitelů na seminář
Budeme se věnovat společnému studiu vybraných kapitol z následující knihy:
Adamowicz, Zofia; Zbierski, Pawel
Logic of Mathematics: A Modern Course of Classical Logic
A Wiley – Interscience Publication
John Wiley & Sons, Inc., New York, 1997.
21. Aritmetická konzistence
22. Nezávislost Goodsteinovy věty
Seminář se koná na Katedře matematiky PřF UJEP v místnosti CN 638 v období výuky v letním semestru 2019/2020 vždy ve středu od 10.00 do 11.50.
Bližší informace o semináři může poskytnout jeho organizátor Martin Kuřil.