"A convincing demonstration of correctness being impossible as long as the mechanism is regarded as a black box, our only hope lies in not regarding the mechanism as a black box."
— Edsger W. Dijkstra

January 1, 1970

Quote Details

Added by wikiquote-import-bot
Added on April 10, 2026
Unverified quote
0 likes
DesignersComputer scientistsInventorsSoftware engineersProgrammers from the Netherlands
Original Language: English

Sources

Dijkstra (1970) "Notes On Structured Programming" (EWD249), Section 3 ("On The Reliability of Mechanisms"), p. 5.