Артем Гак, "Між логікою топологією і графами: теорема Гьоделя про компактність"

Europe/Kiev
IM/2-219 (IM)

IM/2-219

IM

30
Артем Гак
Description

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

ID: 519 767 3308
code: 213122

На засіданні ми поринемо в фантастичні світи матлогіки, топології та навіть теорії графів. Зокрема, на імпровізованій машині часу ми спочатку заїдемо в гості до логіки (Гьодель, Мальцев), там зустрінемо топологію (Тихонов) й спробуємо обігнати теорію графів (Ердеш, де Брейн).

The agenda of this meeting is empty