Русская Википедия:Разборов, Александр Александрович

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:ФИО Шаблон:Учёный

Алекса́ндр Алекса́ндрович Разбо́ров (род. 16 февраля 1963 года, Белово, Кемеровская область) — российский и американский математик, член-корреспондент РАН (с 2000 года)[1], специалист в области теории вычислений. Имеет число Эрдёша, равное 2.[2]

Биография

Выпускник московской физико-математической школы № 2 (1980). Окончил механико-математический факультет МГУ (1987). Кандидат физико-математических наук (1987). Доктор физико-математических наук (1991). С 1991 по 2008 год работал в Математическом институте им. В. А. Стеклова РАН. В 2001—2006 году — постоянный член Института перспективных исследований Принстонского университета[3].

С 2008 года — заслуженный профессор в Университете Чикаго (США)[4][5].

26 мая 2000 года избран членом-корреспондентом РАН по Отделению математических наук.

Научные результаты

В наиболее известной его работе, написанной совместно со Стивеном Рудичем, он ввёл понятие о «естественных доказательствах», классе стратегий, используемых для доказательства фундаментальных нижних границ в определении вычислительной сложности. В частности, Разборов и Рудич показали, что, в предположении, что определённые виды односторонних функций существуют, такие доказательства не могут дать решение проблемы P = NP, поэтому для того, чтобы эту проблему решить, потребуется разработка новых методов доказательств.

Награды и премии

Библиография

См. также

Примечания

Шаблон:Примечания

Ссылки

Шаблон:Лауреаты премии Гёделя

Внешние ссылки

Шаблон:Выбор языка