Новиков Петр Сергеевич

1901-1975

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

XPOHOC

ВВЕДЕНИЕ В ПРОЕКТ

БИБЛИОТЕКА ХРОНОСА

ИСТОРИЧЕСКИЕ ИСТОЧНИКИ

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ

СТРАНЫ И ГОСУДАРСТВА

ЭТНОНИМЫ

РЕЛИГИИ МИРА

СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ

МЕТОДИКА ПРЕПОДАВАНИЯ

КАРТА САЙТА

АВТОРЫ ХРОНОСА

ХРОНОС:

В Фейсбуке

ВКонтакте

В ЖЖ

Twitter

Форум

Личный блог

Родственные проекты:

РУМЯНЦЕВСКИЙ МУЗЕЙ

ДОКУМЕНТЫ XX ВЕКА

ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ

ПРАВИТЕЛИ МИРА

ВОЙНА 1812 ГОДА

ПЕРВАЯ МИРОВАЯ

СЛАВЯНСТВО

ЭТНОЦИКЛОПЕДИЯ

АПСУАРА

РУССКОЕ ПОЛЕ

Новиков Петр Сергеевич

Новиков Петр Сергеевич (15/28.08.1901-9.01.1975), русский математик. Окончил Московский университет. С 1934 работал в Математическом институте АН. Основные работы посвящены теории множеств, математической логике, теории алгоритмов, теории групп.

+ + +

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

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

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

Новиков Петр Сергеевич (28 августа 1901, Москва – 9 января 1975, там же) – российский математик и логик. В 1925 окончил физико-математический факультет Московского университета, в 1929 аспирантуру под руководством H.H. Лузина. С 1934 сотрудник отдела теории функций Математического института им. В.А.Стеклова АН СССР, в 1957–1973 заведует отделом математической логики. Доктор физико-математических наук (1935), академик АН СССР (1960). Вел активную и разностороннюю педагогическую работу. В 1944–1970 заведующий кафедрой математического анализа Московского педагогического института им. В.И. Ленина. Для научного творчества Новикова характерно обращение к труднейшим и принципиальным вопросам оснований математики. В дескриптивной теории множеств в кон. 20-х – нач. 40-х гг. им получены фундаментальные результаты и разработаны методы исследования, существенно повлиявшие на дальнейшее развитие этой теории. Цикл работ Новикова (1939–49) посвящен проблемам эффективности и непротиворечивости в математике и математической логике. В обширном исследовании (1951) создан оригинальный метод доказательства непротиворечивости (логической совместимости с принципами множеств теории в предположении, что последние сами образуют непротиворечивую систему) предложений дескриптивной теории множеств и получены доказательства непротиворечивости ряда важных положений этой теории. Когда встал вопрос о существовании алгоритмически неразрешимых проблем в традиционной математике, А.А. Марков и Э. Постдали (1947) примеры конечно определенных полугрупп с алгоритмически неразрешимой проблемой равенства слов. Однако оставался открытым поставленный еще в 1912 вопрос об алгоритмической разрешимости проблемы равенства слов для конечно определенных групп, т. е. для одного из основных типов алгебраических структур. В 1952 Новиков строит пример группы, для которой не существует алгоритма, решающего названную массовую проблему (публикация с полным доказательством – 1955, Ленинская премия – 1957). Как непосредственное следствие данного результата с помощью разработанного им метода изучения конечно определенных групп самим Новиковым, а затем и рядом др. авторов было обнаружено большое число др. алгоритмически неразрешимых массовых проблем в алгебре. Развитый Новиковым технический аппарат позволил ему сформулировать (1959) идею отрицательного решения одной из труднейших проблем алгебры – так называемой проблемы Бернсайда о периодических группах (1902).

Научное творчество Новикова, существенно обогатившее такие разделы математики, как дескриптивная теория множеств, математическая логика и алгебра, имеет непреходящее значение в области усилий человеческого интеллекта выявить границы и природу феномена абстракции актуальной бесконечности, который, впрочем, и создан был самим этим интеллектом.

Ф.А. Кабаков

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. III, Н – С, с. 99.

Далее читайте:

Философы, любители мудрости (биографический указатель).

Сочинения:

Элементы математической логики, 2-е изд. М., 1973;

Конструктивная математическая логика с точки зрения классической. М., 1977;

Избранные тр. М., 1979.

Литература:

Петр Сергеевич Новиков. – Успехи математических наук, т. 26, вып. 5. М., 1971.

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ

ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС