John Tukey: "em Um mundo em que o preço do cálculo continua a diminuir...

"em Um mundo em que o preço do cálculo continua a diminuir rapidamente, mas o preço do teorema provador continua a se manter firme ou aumento, a economia elementar indica que devemos gastar uma fração maior e maior do nosso tempo no cálculo."

--- John Tukey

#Mundo #Deveria #Nosso tempo #Teoremas #Economia #Diminuir #Prove #Aumentar #Frações #Estável #Cálculos

Versão em inglês

In a world in which the price of calculation continues to decrease rapidly, but the price of theorem proving continues to hold steady or increase, elementary economics indicates that we ought to spend a larger and larger fraction of our time on calculation.