Shmuel Safra
Shmuel Safra · Технологии и инженерия
Сафра — соавтор теоремы PCP, поворотного результата, показавшего, что доказательства можно проверять, прочитав всего несколько случайных битов, с глубокими следствиями для трудности приближённых решений.
1960, Jerusalem, Israel
Israel (Tel Aviv University)
Сафра — соавтор теоремы PCP, поворотного результата, показавшего, что доказательства можно проверять, прочитав всего несколько случайных битов, с глубокими следствиями для трудности приближённых решений. Родившийся в Иерусалиме, он профессор Тель-Авивского университета и разделил в 2001 году премию Гёделя. Его работы — краеугольный камень теории вычислительной сложности.
Проверьте и углубитесь с помощью этих внешних источников.
Источник: Jinfo.org — Jewish recipients of the Gödel Prize
Эта страница выходит на семи языках и переведена с английского. Переводы проверяются, но ошибка может проскользнуть. Если вы заметили её на этой карточке — неверное слово, потерянную дату, фразу, которой нет в английском, — сообщите нам.
Сафра — соавтор теоремы PCP, поворотного результата, показавшего, что доказательства можно проверять, прочитав всего несколько случайных битов, с глубокими следствиями для трудности приближённых решений.
Источник: Jinfo.org — Jewish recipients of the Gödel Prize