Добавлены видеозаписи:

• докладов:

А. В. Михайлов, Интегрируемые системы над некоммутативными алгебрами.
Семинар отдела теоретической физики МИАН, 2 сентября 2026 г.
#СеминарыМИАН

V. S. Anashin, "True Randomness" Cannot Be Certified Since Its Very Existence Cannot Be Proven.
Семинар отдела математической физики МИАН, 3 сентября 2026 г.
#СеминарыМИАН

А. В. Островский, Н.Н. Лузин, А‑множествa и ранняя дескриптивная теория множеств: новые материалы и интерпретации.
Семинар по истории математики, 3 сентября 2026 г.
#СеминарыПОМИ #СеминарПоИсторииМатематики

Е. А. Зайцев, Взаимодействие механики и оптики в творчестве И. Ньютона.
Семинар по истории математики, 3 сентября 2026 г.
#СеминарыПОМИ #СеминарПоИсторииМатематики

• докладов конференции:
Молодeжный коллоквиум по математической логике и еe приложениям, 31 августа–4 сентября 2026 г.

31 августа 2026 г.
- А. А. Разборов, Элементы теории сложности доказательств. Лекция 3.
- Д. О. Фролов, Формальная модель пространства нейросетевых ранжирующих функций и теорема о существовании оптимальной архитектуры.
- И. Н. Шиманогов, Вычислимые изоморфизмы относительно регулярных булевых алгебр.

2 сентября 2026 г.
- М. Е. Вишникин, О редуцируемости регулярных языков ординальной длины.
- Ф. Н. Пахомов, К. А. Ковалёв, О стандартных системах моделей арифметики Бюхи.
- А. В. Ерёмин, Модальная логика $\omega$-итерированной непротиворечивости.
- Д. С. Трофимов, О дизъюнктных фрагментах полимодальных логик доказуемости.
- К. К. Пчелин, Решение проблемы Поста о tag-системах: доказательство роста для примера Куриленко.
- Т. Г. Пшеницын, О свойствах языков, задаваемых коммутативными грамматиками Ламбека.
- Ю. А. Бушакова, С. И. Башмаков, О свойствах многоагентной логики ступенчатого времени с доступом в прошлое $p\mathcal{LTK}.{sl}$.
- Н. В. Лукашов, Унификация и допустимые правила вывода для модальных логик $\mathrm{K} + \Box^n \bot$.

#Конференции