Alfred Tarski: "No entanto, a máquina nos permitiria testar a hipótese...

"No entanto, a máquina nos permitiria testar a hipótese para qualquer valor especial de n. Poderíamos realizar esses testes para uma sequência de valores consecutivos n = 2,3 ,. Até, digamos, n = 100. Se o resultado de pelo menos um teste fosse negativo, a hipótese provaria ser falsa; Caso contrário, nossa confiança na hipótese aumentaria, e devemos nos sentir encorajados a tentar estabelecer a hipótese, em vez de tentar construir um contraexemplo."

--- Alfred Tarski

#IFS #Sentimentos #Devemos #Tentando #Ciência #Resultados #Matemática #Valores #Máquinas #Especial #Negative #Prove #Testes #Aumentar #Hipótese #Constructs #Seqüência #Permit #Consecutivo

Versão em inglês

However the machine would permit us to test the hypothesis for any special value of n. We could carry out such tests for a sequence of consecutive values n=2,3,.. up to, say, n=100. If the result of at least one test were negative, the hypothesis would prove to be false; otherwise our confidence in the hypothesis would increase, and we should feel encouraged to attempt establishing the hypothesis, instead of trying to construct a counterexample.