Edsger Dijkstra: "Uma demonstração convincente de correção sendo impos...

"Uma demonstração convincente de correção sendo impossível, desde que o mecanismo seja considerado como uma caixa preta, nossa única esperança não reside em relação ao mecanismo como uma caixa preta."

--- Edsger Dijkstra

#Grandes #Preto #Mentindo #Impossible #Correção #Caixas #Demonstration #Convincing #Caixas pretas #Mecanismo

Versão em inglês

A convincing demonstration of correctness being impossible as long as the mechanism is regarded as a black box, our only hope lies in not regarding the mechanism as a black box.