Alfred Tarski
@alfredTarski
Cependant, la machine nous permettrait de tester l'hypothèse pour toute valeur particulière de n. Nous pourrions effectuer de tels tests pour une séquence de valeurs consécutives n = 2,3, .. jusqu'à, disons, n = 100. Si le résultat d'au moins un test était négatif, l'hypothèse s'avérerait fausse; Sinon, notre confiance dans l'hypothèse augmenterait, et nous devons nous sentir encouragés à tenter d'établir l'hypothèse, au lieu d'essayer de construire un contre-exemple.