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