НОВИКОВ

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

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

<< | >>

↑

Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме НОВИКОВ:

- Архитектура и строительство - Безопасность жизнедеятельности - Библиотечное дело - Бизнес - Биология - Военные дисциплины - География - Геология - Демография - Диссертации России - Естествознание - Журналистика и СМИ - Информатика, вычислительная техника и управление - Искусствоведение - История - Культурология - Литература - Маркетинг - Математика - Медицина - Менеджмент - Педагогика - Политология - Право России - Право України - Промышленность - Психология - Реклама - Религиоведение - Социология - Страхование - Технические науки - Учебный процесс - Физика - Философия - Финансы - Химия - Художественные науки - Экология - Экономика - Энергетика - Юриспруденция - Языкознание -