<div id="ymail_android_signature"><br></div> <br> <blockquote style="margin: 0 0 20px 0;"> <div style="font-family:Roboto, sans-serif; color:#6D00F6;"> <div>Στις Δευ, 8 Ιουν, 2020 στις 11:48, ο χρήστηςPhilip Taylor</div><div id="yMail_cursorElementTracker_1591606341848"><P.Taylor@Hellenic-Institute.Uk> έγραψε:</div></div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606300747"><br clear="none">Dijkstra was indeed a /very/ great theoretician, and I think that the <br clear="none">IT world is a far poorer place not only for his passing but for the <br clear="none">passing of the generation of computer scientists that he epitomised.  <br clear="none">Dijkstra, I think, saw computer programming purely as an intellectual <br clear="none">exercise, one that did not require access to a physical computer in <br clear="none">order to be practised — all one had to do was to write the program, <br clear="none">prove that it was correct, and one's task was done.</div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606360392">Years ago I read somewhere that in the </div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606469650">early days of computing, programmers</div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606490646">wrote the code on paper and typists where</div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606541500">the ones that actually fed the code to the</div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606602435">machine. In addition. Dijkstra was Dutch </div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606643591">so he was probably familiar with</div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606689978">intuitionism. Roughly, this philosophy of</div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606707007">mathematics among others seea</div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606733092">theorem proving as a mental activity.</div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606839072">Since mathematics and programming</div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606859912">are similar, I think Dijkstra's view was</div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606930784">quite natural.</div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606940530"><br></div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606940747">Regards,</div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606946273"><br></div><div style="padding: 10px 0 0 20px; margin: 10px 0 0 0; border-left: 1px solid #6D00F6;" id="yMail_cursorElementTracker_1591606946546">Apostolos</div> </blockquote>