П. С. Новиков.

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

 

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

 

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

  С. И. Адян.