Большая советсткая энциклопедия Новиков Петр Сергеевич

Новиков Петр Сергеевич

Новиков Петр Сергеевич [р. 15(28).8. 1901, Москва], советский математик, академик АН СССР (1960; член-корреспондент 1953). Окончил Московский университет (1925). В 1929—34 работал в Московском химико-технологическом институте, с 1934 — в Математическом институте им. В. А. Стеклова АН СССР, с 1957 руководит отделом математической логики. Основные труды по теории множеств, математической логике, теории алгоритмов и теории групп. Создал сильный метод исследования проблем дескриптивной теории множеств, получивший название "принцип сравнения индексов". Доказал, что во втором классе проективных множеств имеют место законы отделимости, обратные по отношению к законам отделимости в первом проективном классе. Создал метод доказательства непротиворечивости формальных систем, основанный на понятии регулярной формулы. Доказал неразрешимость проблемы тождества, сопряженности и изоморфизма в теории групп. Получил (вместе со своим учеником С. И. Адяном) решение известной проблемы Бернсайда о периодических группах. Создал школу математической логики в СССР. Ленинская премия (1957). Награжден 2 орденами Ленина, орденом Трудового Красного Знамени и медалями.

Соч.: Об алгоритмической неразрешимости проблемы тождества слов в теории групп, М., 1955 (Тр. Математического института АН СССР, т. 44); Элементы математической логики, М., 1959.

Лит.: Петр Сергеевич Новиков, "Успехи математических наук", 1971, т. 26, в. 5.

С. И. Адян.