НОВИКОВ
Пётр Сергеевич [р. 15(28).8.
1901, Москва], советский математик, акад. АН СССР (1960; чл.-корр. 1953).
Окончил Моск. ун-т (1925). В 1929-34 работал в Моск. химико-технологич.
ин-те, с 1934 - в Матем. ин-те им. В. А. Стеклова АН СССР, с 1957 руководит
отделом матем. логики. Осн. труды по теории множеств, матем. логике, теории
алгоритмов и теории групп. Создал сильный метод исследования проблем дескриптивной
теории множеств, получивший назв. "принцип сравнения индексов". Доказал,
что во втором классе проективных множеств имеют место законы отделимости,
обратные по отношению к законам отделимости в первом проективном классе.
Создал метод доказательства непротиворечивости формальных систем, основанный
на понятии регулярной формулы. Доказал неразрешимость проблемы тождества,
сопряжённости и изоморфизма в теории групп. Получил (вместе со своим учеником
С. И. Адяном) решение известной проблемы Бернсайда о периодич. группах.
Создал школу математической логики в СССР. Ленинская пр. (1957). Награждён
2 орденами Ленина, орденом Трудового Красного Знамени и медалями.
С о ч.: Об алгоритмической неразрешимости
проблемы тождества слов в теории групп, М., 1955 (Тр. Математического ин-та
АН СССР, т. 44); Элементы математической логики, М., 1959.
Лит.: Петр Сергеевич Новиков, "Успехи
математических наук", 1971, т. 26, в. 5. С. И. Адян.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я