1925 - Окончил Московский университет.
В 1929—34 - работал в Московском химико-технологическом институте.
С 1934 — в Математическом институте им. В. А. Стеклова АН СССР, с 1957 руководит отделом математической логики.
Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. Получил (вместе со своим учеником С. И. Адяном) решение известной проблемы Бернсайда о периодических группах. Создал школу математической логики в СССР.
Петр Сергеевич
Новиков