Заседания семинаров
Patrick De Causmaecker (KU Leuven)
Data Science Meets Scheduling.
Цзинхао Сян
Безатомные булевы алгебры с безатомным идеалом.
Максим Эдуардович Иванов (НГУ)
Неабелевы тензорные произведения и циклически упорядочиваемые группы.
Я. А. Гостюхин
Операторы Роты-Бакстера на йордановых алгебрах.
В. Н. Потапов
О представлении функций нескольких переменных в виде суперпозиции функций от меньшего числа переменных (реферат работ В. И. Арнольда и А. Н. Колмогорова).
Аннотация
В докладе будет изложен метод решения В. И. Арнольдом и А. Н. Колмогоровым 13й проблемы Гильберта о представлении вещественной непрерывной функции многих переменных в виде суперпозиции непрерывных функций двух переменных. А также, будет рассказано о возможности представления функций из некоторых других классов в виде суперпозиций функций от меньшего числа переменных.Жуков Георгий Алексеевич
О раскрасках графов с целью минимизации суммы весов одноцветных рёбер.
О. А. Ошмарина
Полином Ямады для виртуальных пространственных графов.
Арсен Вольский
Как спасти верификационизм А. Дж. Айера?
Аннотация
Верификационизм был одной из самых популярных программ в философии языка первой половины 20 века. Его суть, грубо говоря, заключалась в том, чтобы сводить осмысленность либо к аналитичности, либо к эмпирической проверяемости (понимаемой как возможность логического вывода некоторого предложения из класса т.н. протокольных предложений). Наибольшую популярность данная доктрина приобрела среди логических позитивистов, в частности у А. Дж. Айера. В своём докладе я представлю формализацию самого критерия верификации в изводе Айера, реконструирую чисто логическую критику этого критерия, выдвинутую Чёрчем, а также предложу способы ответа на эту критику посредством замены логики вывода с классической на релевантную и возможные возражения к этим способам.
В Институте математики СО РАН проходят около 30 семинаров по разным направлениям математики.
На наших семинарах выступают с докладами не только научные сотрудники института, но и приглашенные докладчики со всего мира.
Семинары проводятся как очно, так и на онлайн-платформах: Zoom, Google Meet, YouTube, Jitsi.
