Edsger Dijkstra: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica |
Nessun oggetto della modifica |
||
Riga 3:
*Chiedersi se un [[computer]] possa [[pensiero|pensare]] non è più interessante del chiedersi se un sottomarino possa nuotare. {[http://www.quotationspage.com/quote/788.html])
*L'[[informatica]] non riguarda i computer più di quanto l'[[astronomia]] riguardi i telescopi.
*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à. ([http://www.cs.utexas.edu/users/EWD/transcriptions/EWD04xx/EWD498.html How do we tell truths that might hurt?], 1975)
|