Що: 10-те ювілейне засідання СМС у цьому сезоні.
Коли: Пт, 24.11.
Де: ауд 219 Інституту математики.
Тема: "Між логікою топологією і графами: теорема Гьоделя про компактність".
Доповідач: Артем Гак (студент МП КН-2 у КМА).
Зум: https://zoom.us/j/5197673308?pwd=eGRtaVIzbHlNT3RoRjc5U2FsVENGUT09
ID: 519 767 3308
code: 213122
На засіданні ми поринемо в фантастичні світи матлогіки, топології та навіть теорії графів. Зокрема, на імпровізованій машині часу ми спочатку заїдемо в гості до логіки (Гьодель, Мальцев), там зустрінемо топологію (Тихонов) й спробуємо обігнати теорію графів (Ердеш, де Брейн).