Door The FOSS: Ach, hij heeft met de kennis van die tijd wat propaganda over UNIX en PC's bekritiseerd... Wat zou hij niet van de smartphone propaganda hebben gedacht. Houd op met uitspraken uit context te citeren! De quotes in de juiste context bevallen je kennelijk niet. Dijkstra heeft nog een retrospective geschreven. Let wel het zijn zijn notties zijn tekst. http://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/EWD1308.html 2001 Nuenen "Looking back I cannot fail to observe my fear of formal mathematics at the time. In 1970 I had spent more than a decade hoping and then arguing that programming would and should become a mathematical activity; I had (re)arranged the programming task so as to make it better amenable to mathematical treatment, but carefully avoided creating the required mathematics myself. I had to wait for Bob Floyd, who laid the foundation, for Jim King, who showed me the first example that convinced me, and for Tony Hoare, who showed how semantics could be defined in terms of ...