Edsger Dijkstra
cientista da computação holandês
(Redirecionado de Edsger H. Dijkstra)
Edsger Wybe Dijkstra (11 de maio de 1930 - 6 de agosto de 2002) foi um cientista de computação Neerlandês.
Edsger Dijkstra |
---|
Wikipédia |
Wikimedia Commons |
- "Testes de programas podem ser uma maneira muito eficaz para demonstrar a presença de erros, mas é irremediavelmente insuficiente para mostrar a sua ausência."
- - Program testing can be a very effective way to show the presence of bugs, but is hopelessly inadequate for showing their absence.
- - The Humble Programmer, ACM Turing Lecture 1972
- "A introdução de abstrações adequadas é a nossa única ajuda mental para reduzir o apelo à enumeração, para organizar e dominar a complexidade."
- - The introduction of suitable abstractions is our only mental aid to reduce the appeal to enumeration, to organize and master complexity.
- - Selected writings on computing: a personal perspective - página 2, Edsger Wybe Dijkstra - Springer-Verlag, 1982, ISBN 0387906525, 9780387906522 - 362 páginas
- - The introduction of suitable abstractions is our only mental aid to reduce the appeal to enumeration, to organize and master complexity.
Atribuídas
editar- "Ciência da Computação está tão relacionada aos computadores quanto a Astronomia aos telescópios, Biologia aos microscópios, ou Química aos tubos de ensaio. A Ciência não estuda ferramentas. Ela estuda como nós as utilizamos, e o que descobrimos com elas."
- - Computer science is no more about computers than astronomy is about telescopes, biology is about microscopes or chemistry is about beakers and test tubes. Science is not about tools, it is about how we use them and what we find out when we do.
- - Fellows, M.R., and Parberry, I., "SIGACT trying to get children excited about CS", January 1993, Computing Research News.
- - Computer science is no more about computers than astronomy is about telescopes, biology is about microscopes or chemistry is about beakers and test tubes. Science is not about tools, it is about how we use them and what we find out when we do.