|
Нóвиков Петр Сергеевич (род. 15(28).8.1901, Москва- ум. 9.1.1975, Москва) — советский математик.
Академик АН СССР по Отделению физико-математических наук (математика) с 10.06.1960; член-корреспондент (с 23.10.1953).
Окончил Московский университет (1925). В 1929-34 работал в Московском химико-технологическом институте, с 1934 - в Математическом институте им. В. А. Стеклова АН СССР, с 1957 руководит отделом математической логики.
С осени 1944 г. до 1971 г. — зав.каф. математического анализа МГПИ им. В.И.Ленина.
Основные труды по теории множеств, математической логике, теории алгоритмов и теории групп. Создал сильный метод исследования проблем дескриптивной теории множеств, получивший название "принцип сравнения индексов". Доказал, что во втором классе проективных множеств имеют место законы отделимости, обратные по отношению к законам отделимости в первом проективном классе. Создал метод доказательства непротиворечивости формальных систем, основанный на понятии регулярной формулы. Доказал неразрешимость проблемы тождества, сопряженности и изоморфизма в теории групп. Получил (вместе со своим учеником С. И. Адяном) решение известной проблемы Бернсайда о периодических группах. Создал школу математической логики в СССР. Ленинская премия (1957). Награжден 2 орденами Ленина, орденом Трудового Красного Знамени и медалями.
Соч.: Об алгоритмической неразрешимости проблемы тождества слов в теории групп, М., 1955 (Тр. Математического института АН СССР, т. 44); Элементы математической логики, М., 1959.
|
