Программирование, как вид человеческой деятельности

Автор: Эдсгер Вайб Дейкстра
Жанр: Статьи и рефераты; Самиздат, сетевая литература; Литература ХX века (эпоха Социальных революций); Программирование: прочее

https://coollib.net/b/543708-edsger-vayb-deykstra-programmirovanie-kak-vid-chelovecheskoy-deyatelnosti

Даже полагая, что машины работают безупречно, мы должны задать себе вопрос: «Когда компьютер выдает результаты, почему мы должны им доверять, если только мы им действительно доверяем?», а затем: «Какие меры мы можем предпринять, чтобы повысить степень нашей уверенности в том, что выданные результаты — это то, что нам нужно на самом деле?».
https://coollib.net/i/8/543708/cover.jpg