Теорема Кука — Левина.

Гладишь ты такой в ночи бельишко, и на фоне играет третьесортный русский телесериал. И тут герой обсуждает теорему Кука, у меня чуть утюг не выпал.

Точнее, работу в кругах математиков принято называть теоремой Кука — Левина. Доказательство теоремы было сформулировано Стивеном Куком в работе 1971 года. Но в то же самое время независимо теорему доказал советский математик Леонид Левин.

В этом дуэте через некоторое время возник третий участник — Ричард Карп. Стивен за свою работу в 1982 году получает престижную премию Алана Тьюринга. И вслед за ним в 1985 году ту же премию получает Ричард, по факту за продолжительный вклад в теорию алгоритмов и решение ряда задач.

Как-то уже писал, что в 1983 году Кен Томпсон и Деннис Ритчи получили премию Тьюринга за разработку общей теории операционных систем и, в частности, за создание ОС UNIX.

Тут мысль остановилась и пошла спать.