![image][1]
_Изображение с сайта [abv24.com][2]_

Один из тех людей, с именем которых связано превращение программирования из шаманства в науку, — Эдсгер Дейкстра. Он небезуспешно доказывал, что программирование — высокое искусство и интеллектуальное творчество.

Во всех своих исследованиях Дейкстра придает большое значение простоте и изяществу математических рассуждений. При написании своих работ он создал новый стиль научных и технических сообщений, который можно описать как нечто среднее между журнальными публикациями и дружеской перепиской.

Программирование – не набор пассов и заклинаний, не шаманство, не танцы с бубном, а математическая дисциплина. А всякая дисциплина, если она претендует на нечто большее, чем на внешний эффект, должна строиться на прочном фундаменте. Таким фундаментом для Дейкстры является математическая логика, а точнее – исчисление предикатов.

Сейчас это не кажется чем-то необычным, но в 50-е годы это прозвучало как откровение. Дейкстра понял и убедительно показал, как теория может и должна помочь практике. [Читать дальше →][3]

[1]: https://habrastorage.org/getpro/habr/post_images/572/80f/304/57280f304c4fdf026414a7aff69505b7.jpg
[2]: https://habrastorage.org/getpro/habr/post_images/572/80f/304/57280f304c4fdf026414a7aff69505b7.jpg
[3]: https://habrahabr.ru/post/303712/?utm_source=habrahabr&utm_medium=rss&utm_campaign=feed_posts#habracut