Edsger Dijkstra: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
mNessun oggetto della modifica |
fixes, sfid |
||
Riga 2:
'''Edsger Wybe Dijkstra''' (1930 – 2002), informatico olandese.
*Chiedersi se un [[computer]] possa
:''The Fathers of the field had been pretty confusing: John von Neumann speculated about computers and the human brain in analogies sufficiently wild to be worthy of a medieval thinker and Alan M. Turing thought about criteria to settle the question of whether Machines Can Think, a question of which we now know that it is about as relevant as the question of whether Submarines Can Swim.'' (da ''[http://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EWD898.html The threats to computing science]'', E.W. Dijkstra Archive (EWD898))
*Il test di un programma può essere usato per mostrare la presenza di bug, ma mai per mostrare la loro assenza. (da ''Notes On Structured Programming'', 1970)
*La semplicità è un prerequisito per l'affidabilità. (da ''[http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD498.html How do we tell truths that might hurt?]'', 1975)
Line 12 ⟶ 11:
{{DEFAULTSORT:Dijkstra, Edsger}}
[[Categoria:Informatici olandesi]]
|