- Сегодня
- Завтра
Суббота, 13 сентября
Семинар «Математическая логика и теория категорий»: доклад Сергея Артёмова «The consistency of Peano Arithmetic PA is provable in PA, after all»
Воскресенье, 14 сентября
Фестиваль «Вышка школьникам»
Суббота, 13 сентября
Семинар «Математическая логика и теория категорий»: доклад Сергея Артёмова «The consistency of Peano Arithmetic PA is provable in PA, after all»
Воскресенье, 14 сентября
Фестиваль «Вышка школьникам»
очно/онлайн