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