Новиков Пётр Сергеевич
Но́виков Пётр Серге́евич [15(28).8.1901, Москва – 9.1.1975, там же], российский математик, академик АН СССР (1960). Отец С. П. Новикова. Окончил МГУ (1925). В 1929–1934 гг. работал в Московском химико-технологическом институте имени Д. И. Менделеева, с 1934 г. – в Математическом институте имени В. А. Стеклова АН СССР, с 1945 г. профессор Московского государственного педагогического института имени В. И. Ленина. Создал школу математической логики в СССР.
Основные труды по теории множеств, математической логике, теории алгоритмов и теории групп. Создал сильный метод исследования проблем дескриптивной теории множеств, получивший название «принцип сравнения индексов» и метод доказательства непротиворечивости формальных систем, основанный на понятии регулярной формулы. Доказал неразрешимость проблемы тождества, сопряжённости и изоморфизма в теории групп. Получил (вместе с С. И. Адяном) решение известной проблемы У. Бёрнсайда о периодических группах.
Ленинская премия (1957). Награждён орденами Ленина (1961, 1971).