Leslie Lamport: "Existe uma corrida entre a complexidade crescente dos...

"Existe uma corrida entre a complexidade crescente dos sistemas que construímos e nossa capacidade de desenvolver ferramentas intelectuais para entender sua complexidade. Se a corrida for ganha por nossas ferramentas, os sistemas acabarão mais nos tornar mais fáceis de usar e mais confiáveis. Se não, eles continuarão a se tornar mais difíceis de usar e menos confiáveis para todos, exceto relativamente pequeno de tarefas comuns. Dado como é o pensamento difícil, se essas ferramentas intelectuais devem ter sucesso, elas terão que substituir o cálculo do pensamento."

--- Leslie Lamport

#Pensamento #IFS #Programação #Usar #Compreensão #Duro #Dado #Habilidade #Ter sucesso #Aprendendo #Complexidade #Ferramentas #Programação de computadores #Comum #Mais fácil #Tarefas #Corrida #Mais difícil #Substitutos #Linguagem de computador #Intelectual #Linguagens de programação #Cálculos

Versão em inglês

There is a race between the increasing complexity of the systems we build and our ability to develop intellectual tools for understanding their complexity. If the race is won by our tools, then systems will eventually become easier to use and more reliable. If not, they will continue to become harder to use and less reliable for all but a relatively small set of common tasks. Given how hard thinking is, if those intellectual tools are to succeed, they will have to substitute calculation for thought.