The art of programming
10.06
Теорема Кука — Левина.
Гладишь ты такой в ночи бельишко, и на фоне играет третьесортный русский телесериал. И тут герой обсуждает теорему Кука, у меня чуть утюг не выпал.
Точнее, работу в кругах математиков принято называть теоремой Кука — Левина. Доказательство теоремы было сформулировано Стивеном Куком в работе 1971 года. Но в то же самое время независимо теорему доказал советский математик Леонид Левин.
В этом дуэте через некоторое время возник третий участник — Ричард Карп. Стивен за свою работу в 1982 году получает престижную премию Алана Тьюринга. И вслед за ним в 1985 году ту же премию получает Ричард, по факту за продолжительный вклад в теорию алгоритмов и решение ряда задач.
Как-то уже писал, что в 1983 году Кен Томпсон и Деннис Ритчи получили премию Тьюринга за разработку общей теории операционных систем и, в частности, за создание ОС UNIX.
Тут мысль остановилась и пошла спать.
еще контент в этом сообществе
еще контент в этом соообществе
The art of programming
10.06
войдите, чтобы увидеть
и подписаться на интересных профи