НОВИКОВ

НОВИКОВ Петр Сергеевич (1901-75), российский ученый, основатель школы математической логики, академик АН СССР (1960). Основные труды по теории множеств, математической логике, теории алгоритмов, теории групп. Ленинская премия (1957).