Уважаемые коллеги!

Представляем Вашему вниманию анонс предстоящего заседания научного семинара «Теория вычислимости»:

Время: 10 июня (среда) 2020 г. 17:00 (мск.)

Докладчик: Ямалеев Марс Мансурович (к.ф.-м.н., научный сотрудник НОМЦ Приволжского федерального округа).

Название доклада: «Теорема Купера о разложении и её обобщения».

Аннотация: В докладе будет подробно рассмотрено доказательство теоремы Купера о разложении собственных 2-в.п. тьюринговых степеней. На основе анализа доказательства будут рассмотрены возможные обобщения этой теоремы. Одним из таких обобщений является разложимость произвольной собственной 2-в.п. степени с избеганием верхнего конуса произвольной другой собственной 2-в.п. степени при условии, что они образуют интервал без в.п. степеней.

Для участия в семинаре необходимо подключиться 10 июня после 16:50 по московскому времени к конференции Zoom по ссылке:
https://us04web.zoom.us/j/2252869439?pwd=MUhEbS95QlNkM0h2eHFzb2ErTURDZz09

Идентификатор конференции: 225 286 9439
Пароль: 7TVbdK