17 октября 2019 г. состоялось пятое заседание Математического коллоквиума и лектория.
Докладчик: Зюзьков Валентин Михайлович, кандидат физ.-мат. наук, доцент кафедры вычислительной математики и компьютерного моделирования ММФ ТГУ, профессор кафедры компьютерных систем в управлении и проектировании ТУСУР.
Темы докладов:
- “Рыцари, лжецы и теорема Гёделя”
- “Теоремы Гёделя”