Эдсгер Дейкстра
Подробнее
- Родился
- Умер
- Известен как
- Алгоритм Дейкстры, семафоры, структурное программирование
- Награды
- Премия Тьюринга 1972
Голландец, превративший программирование в математическую дисциплину и говоривший об этом так резко, что его одновременно цитировали и боялись.
Алгоритм кратчайшего пути он придумал примерно за двадцать минут в 1956 году в амстердамском кафе, без ручки и бумаги. Он ввёл семафоры и сформулировал задачу об обедающих философах, по сей день иллюстрирующую взаимную блокировку. Его письмо 1968 года «Go To Statement Considered Harmful» запустило движение за структурное программирование.
Статьи он писал от руки и нумеровал как EWD; сохранилось больше тысячи. Формулировки знамениты: тестирование может показать наличие ошибок, но не их отсутствие, а вопрос, могут ли машины думать, не интереснее вопроса, умеют ли подводные лодки плавать.