НОВИКОВ Петр Сергеевич (15.8.1901, Москва – 9.1.1975, Москва) – математик; д-р физ.-мат. наук (1935), проф. (1939); зав. каф. математического анализа (1944−71); чл.-корр. АН СССР (1953), акад. АН СССР (1960).
В 1919–26 учился на физ.-мат. факультете 1-го Московского ун-та. Был призван в ряды Красной Армии (1920–22), затем вновь вернулся к учебе. Проходил аспирантуру под руководством Н.Н. Лузина (1926–29). Работал в Московском химико-технологическом ин-те им. Д.И. Менделеева (1929–34). После перехода в 1934 в Математический институт им. В.А. Стеклова АН СССР (МИАН) продолжил педагогическую работу по совместительству. Руководил науч.-исслед. семинаром по математической логике на мех.-мат. факультете МГУ, где сформировалась известная науч. школа Н. в обл. математической логики и теории алгоритмов. Руководил отд. математической логики МИАН им. В.А. Стеклова (1957–73). Автор фундаментальных трудов по теории функции, дескриптивной теории множеств в математической логике. Создал метод, получивший название принципа сравнения индексов. Ввел понятие счетно-кратной отделимости и распространил доказанные Н.Н. Лузиным два принципа отделимости для Д-множеств и их дополнений на случаи конечного и счетного числа Д-множеств, а также на более широкие кл. т.н. сомножеств. Выполнил ставшую впоследствии широко известной работу о единственности восстановления формы тела по его гравитационному потенциалу. В кон. 1930-х занялся математической логикой и теорией алгоритмов. В нач. 1940-х предложил метод доказательства непротиворечивости формальных теорий, основанный на понятии регулярности. В 1938 была опубликована работа «Об единственности обратной задачи потенциала», относящаяся к математической физике. Н. принадлежит также работа в обл. теории Ньютоновского потенциала, имеющая принципиальное значение в современной геофизике. Опубликовал в Трудах МИАН доказательство алгоритмической неразрешимости проблемы тождества слов в конечно определенных группах (1955). Автор первого в отечественной литературе учеб. пос. по математической логике «Элементы математической логики» (1959). Большое влияние на исследования по теории доказательств и по неклассическим логикам оказала кн. Н. «Конструктивная математическая логика с точки зрения классической» (1977).
Многие аспиранты Н. стали д-рами наук и проф.
Удостоен Ленинской премии за науч. труд «Об алгоритмической неразрешимости проблемы тождества слов в теории групп» (1957).
С о ч.: Об единственности обратной задачи потенциала. М., 1938; Элементы математической логики. М., 1959; Конструктивная математическая логика с точки зрения классической. М., 1977.
