Едсгер Дейкстра

Edsger W. Dijkstra (11.03.1930 — 06.08.2002) — це не просто автор алгоритму найкоротшого шляху. Це людина, яка перетворила програмування з “інженерної практики з багами” на дисципліну, де ключовою одиницею є не код, а коректність мислення.

Його вплив складається з двох шарів:

• технічний — алгоритми, формальні методи, структурне програмування
• філософський — вимога, що програма має бути доведено правильною ще до запуску

🔷 Алгоритм Дейкстри (1956)

Його найвідоміший алгоритм — це не просто “пошук найкоротшого шляху”.

Його ідея радикально проста:

правильна структура вибору завжди дає оптимальний результат, якщо ми мислимо інкрементально і без хаосу

Алгоритм став фундаментом:

• маршрутизації в мережах
• GPS-систем
• графових моделей у ШІ
• оптимізації в компіляторах

Але для самого Дейкстри це була лише демонстрація головного принципу:

складні системи можна зробити керованими, якщо не допустити хаосу в мисленні.

🔷 Революція проти GOTO

Його коротка нота 1968 року:

“Go To Statement Considered Harmful”

не просто критикувала оператор GOTO — вона зламала епоху.

Дейкстра доводив, що неконтрольовані переходи в коді:

• руйнують локальність мислення
• роблять доведення коректності неможливим
• перетворюють програму на “спагеті-логіку”.

🔷 Його ключові цитати

“Computer science is no more about computers than astronomy is about telescopes.”
(Інформатика — це не про комп’ютери, а про мислення і абстракції)

“Program testing can be used to show the presence of bugs, but never to show their absence.”
(Тестування може показати наявність помилок, але не їх відсутність)

“Simplicity is prerequisite for reliability.”
(Простота — передумова надійності)

Це не мотиваційні фрази — це принципи, на яких побудована сучасна теорія програмування.

🔷 Програмування як відповідальність без “природних виправдань”

Дейкстра постійно підкреслював різницю між інженерією природи і інженерією програм:

У фізиці можна сказати: “так поводиться природа”.

У програмуванні такого “зовнішнього виправдання” не існує.

Якщо система поводиться неправильно — це завжди наслідок людського рішення, а не “закону світу”.

Це робить програмування унікальним:

ми створюємо формальні світи, і повністю відповідаємо за їх логіку

🔷 Проти інтуїтивного хаосу

Дейкстра різко критикував підхід “пишемо код і тестимо, поки не запрацює”.

Його позиція була протилежною:

• програма має бути правильною за визначенням
• тестування — лише додаткова перевірка, а не основа довіри
• складність потрібно усувати, а не “перевіряти”

🔷 Його спадок

Сьогодні його ідеї живуть у:

• структурному програмуванні
• формальних методах
• дизайні мов програмування
• принципах чистого коду
• навіть у сучасних системах типізації

Але головне — це стиль мислення:

програма має бути настільки простою і логічною, щоб її правильність можна було пояснити без запуску

🔷 Фінальна ідея (часто приписувана його підходу)

Є відома порада, яку часто переказують у різних формулюваннях:

Уявіть, що коли ви пишете програму, за вашою спиною стоїть Дейкстра і мовчки читає ваш код.
І кожного разу він питає себе: “чи мені це сподобалося б?”

І якщо відповідь — так, це вже достатній критерій якості.