Powered by Indico
v3.1
В освітньому світі є три незмінні речі:
1. Студенти прогулють пари.
2. Викладачі ставлять незарахи.
3. Студматсемінар проводить засідання.
Тож із радістю запрошуємо вас відвідати 8-ме засідання СМС, яке відбудеться вживу в найближчий вівторок, 5.03 о 17:30 в найкращому місці для таких подій - ауд 219 Інституту математики НАНУ! 😍
Тема: "Темна сторона компактності. Нестандартні моделі."
Доповідач: Артем Гак (студент МП КН-2 у КМА).
Зум: https://zoom.us/j/5197673308?pwd=eGRtaVIzbHlNT3RoRjc5U2FsVENGUT09
ID: 519 767 3308
code: 213122
Минулого сезону Артем зробив цікаву доповідь з матлогіки (https://t.me/mathSem/831), яка об'єднала в собі сюжети навіть із теорії графів й топології. 😱 Цього ж разу ми поговоримо про негативні наслідки compactness theorem у логіці! А саме, про існування нестандартних моделей у деяких стандартних математичних об'єктів (таких, як натуральні числа). 🙊
Але хай там що, пам'ятайте, спілкування після доповіді за сприяння чаю зі смаколиками вам гарантовано. 🥰