 | Станислав Сперанский (СПбГУ) , "Об «элементарных» теориях естественных классов вероятностных пространств" |
|
Коллоквиум лаборатории Чебышева
Четверг 17 ноября 17:15 ауд. 14 (14-я линия В.О., 29)
Станислав Сперанский (СПбГУ)
Речь пойдёт об одном весьма естественном формальном языке для описания свойств вероятностных пространств. Этот язык содержит кванторы по событиям, и в нём можно без труда выразить ряд основных свойств, таких как «быть дискретным (по модулю событий меры ноль)» или «быть безатомным». Кроме того, мы поговорим об алгоритмической сложности теорий различных естественных классов вероятностных пространств в этом языке. В частности, теория класса всех безатомных пространств оказывается алгоритмически разрешимой, тогда как теория всех дискретных пространств имеет очень высокую «степень алгоритмической неразрешимости». Приглашаются все желающие! |