#матлог #учёба #спецсеминар

23 сентября 2026 г. состоится заседание Рабочего семинара по математической логике под руководством С.Л. Кузнецова и С.О. Сперанского.

Время начала: 16:00
Место: МИАН (ул. Губкина, 8), ауд. 303 + Контур.Толк
Всех слушателей просим зарегистрироваться на странице семинара: www.mathnet.ru/conf2533

Станислав Сперанский (МИАН, https://www.mathnet.ru/rus/person/71546)

О сложности теории безатомных конечно-аддитивных вероятностных пространств

Аннотация:

Пусть L — элементарный язык вероятностных пространств, содержащий переменные по событиям и переменные по вещественным числам; см. подробности тут (https://homepage.mi-ras.ru/~speranski/files/preprints/speranski-2024-igpl-a.pdf). Известно, что любые два безатомных (счётно-аддитивных) вероятностных пространства имеют одну и ту же L-теорию; более того, соответствующая теория (совпадающая с L-теорией пространства Лебега на отрезке [0, 1]) алгоритмически разрешима. Мы обсудим вычислительные аспекты понятия безатомности при переходе к «слабым» вероятностным пространствам, в которых меры подразумеваются конечно-аддитивными, но не обязательно счётно-аддитивными.

Рассказ будет ориентирован на студенческую аудиторию; используемые понятия будут пояснены в ходе доклада.