Frases de "Leslie Lamport" sobre "DADO"

"O pensamento não garante que não cometemos erros. Mas não pensando em garantias de que vamos."

--- Leslie Lamport

#Pensamento #Erro #Cometer erros

"O pensamento não é a capacidade de manipular a linguagem; É a capacidade de manipular conceitos."

--- Leslie Lamport

#Pensamento #Linguagem #Conceitos

"Formatação não é substituto para escrever."

--- Leslie Lamport

#Escrevendo #Substitutos #Estatísticas

"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 #Compreensão

"Quando eu escrevo um papel, mudo a nossa notação muito mais do que eu mudo meus conceitos."

--- Leslie Lamport

#Escrevendo #Conceitos #Papel

""Às vezes" é às vezes "não nunca"."

--- Leslie Lamport

#Às vezes

"Um sistema distribuído é aquele em que a falha de um computador que você nem sabia que existia pode tornar seu próprio computador inutilizável."

--- Leslie Lamport

#Sabe #Programação #Ciência da Computação