|
Поиск атрибутный
| |
|
|
|
Морозов Андрей Сергеевич
Морозов А.С. - специалист в области математической логики, автор более 100 публикаций, из них 1 монография.
Основные научные результаты Морозова А.С. относятся к теории вычислимости и определимости. Он выполнил большой цикл работ симметриям в теории вычислимости, решил проблему Г.Хигмана о конечно порожденных подгруппах вычислимых перестановок, доказал $\Pi^1_1$-полноту проблемы жесткости и $\Sigma^1_1$-полноту проблем изоморфизма и вложимости для вычислимых моделей, в соавторстве с А.Нисом доказал $\Pi^1_1$-полноту теории конечно порожденных групп, дал решения для ряда математических проблем, возникших в теоретической информатике, доказал ряд важных теорем по допустимым множествам. Его именем названы инварианты типов изоморфизма для счетных однородных булевых алгебр.
Морозов А.С. преподает в Новосибирском госуниверситете. |
|