SS
Технологии и инженерия

Shmuel Safra

Поделиться
Кто

Shmuel Safra · Технологии и инженерия

Что

Сафра — соавтор теоремы PCP, поворотного результата, показавшего, что доказательства можно проверять, прочитав всего несколько случайных битов, с глубокими следствиями для трудности приближённых решений.

Когда

1960, Jerusalem, Israel

Где

Israel (Tel Aviv University)

Биография

Сафра — соавтор теоремы PCP, поворотного результата, показавшего, что доказательства можно проверять, прочитав всего несколько случайных битов, с глубокими следствиями для трудности приближённых решений. Родившийся в Иерусалиме, он профессор Тель-Авивского университета и разделил в 2001 году премию Гёделя. Его работы — краеугольный камень теории вычислительной сложности.

Источники и внешние ссылки

Проверьте и углубитесь с помощью этих внешних источников.

Источник: Jinfo.org — Jewish recipients of the Gödel Prize

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

Достижения и источники

Сафра — соавтор теоремы PCP, поворотного результата, показавшего, что доказательства можно проверять, прочитав всего несколько случайных битов, с глубокими следствиями для трудности приближённых решений.

2001

Источник: Jinfo.org — Jewish recipients of the Gödel Prize