Steven Rudich
Steven Rudich · Технологии и инженерия
Теоретик сложности из Университета Карнеги — Меллона, Рудич вместе с Александром Разборовым сформулировал барьер «естественных доказательств», показав, почему широкий класс приёмов вряд ли разрешит задачу P против NP, — работа, за которую они разделили премию Гёделя 2007 года.
1961, United States — 2024, United States
United States
Теоретик сложности из Университета Карнеги — Меллона, Рудич вместе с Александром Разборовым сформулировал барьер «естественных доказательств», показав, почему широкий класс приёмов вряд ли разрешит задачу P против NP, — работа, за которую они разделили премию Гёделя 2007 года. Он был также признанным преподавателем и документирован среди еврейских американских учёных.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jewish recipients of the Gödel Prize
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Теоретик сложности из Университета Карнеги — Меллона, Рудич вместе с Александром Разборовым сформулировал барьер «естественных доказательств», показав, почему широкий класс приёмов вряд ли разрешит задачу P против NP, — работа, за которую они разделили премию Гёделя 2007 года.
Источник: Jinfo.org — Jewish recipients of the Gödel Prize
Похожие деятели
Michael Saks
Noam Nisan
Richard Lipton
