Философская энциклопедия - новиков

НОВИКОВ

Пётр Сергеевич [15(28).8.1901, Москва,— 9.1.1975, там же], сов. математик и логик, акад. ?? СССР (1960; чл.-корр. 1953). Осн. труды по теории множеств, математич. логике, теории алгоритмов и теории групп. Создал метод доказательства непротиворечивости формальных систем, основанных на понятии регулярной формулы. Доказал неразрешимость проблемы тождества, сопряжённости и изоморфизма в теории групп. Ленинская пр. (1957).

Элементы математич. логики, M., 19732; Конструктивная математич. логика с т. зр. классической, М., 1977; Избр. труды, М., 1979. ?, С. ?., «Успехи математич. наук», 1971, т. 26, в. 5.

Философский энциклопедический словарь. — М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983.