It's amazing how much an electronic technology would one day, due to the required discipline to keep it controlled, have such a profound impact in mathematics and other formal sciences. Predicate calculus, mathematical elegance, Leibniz's dream... All came about due to the programming challenge, and thanks to prof. Dijkstra. R.I.P.
Amazing discipline so early on. Now elegance is assumed to be the cornerstone of any good proof in physics and other natural sciences even. Thanks for a great video (and double-thanks that the video had subtitles, though I noticed if you only half-look at the subtitles and listen to the speaker's voice, most of the meaning is conveyed).
Heel veel dank voor het uploaden. Door Dijkstra, een trotse Nederlander!
lurconis666 10 months ago
It's amazing how much an electronic technology would one day, due to the required discipline to keep it controlled, have such a profound impact in mathematics and other formal sciences. Predicate calculus, mathematical elegance, Leibniz's dream... All came about due to the programming challenge, and thanks to prof. Dijkstra. R.I.P.
Gretgor666 1 year ago
Thanks for posting
amillionzillion 2 years ago
Incredibly smart. Incredibly arrogant.
pedog 3 years ago
Amazing discipline so early on. Now elegance is assumed to be the cornerstone of any good proof in physics and other natural sciences even. Thanks for a great video (and double-thanks that the video had subtitles, though I noticed if you only half-look at the subtitles and listen to the speaker's voice, most of the meaning is conveyed).
dollaresque 3 years ago