В обычных вычислениях, проводимых вручную или при помощи арифмометров, принято проверять каждый шаг, и когда обнаруживается ошибка, она локализируется обратным процессом, начинаемым с точки, где она замечена. Для того чтобы быстродействующей машине работать аналогичным образом, необходимо, чтобы проверка шла с такой же скоростью, как и само вычисление; в противном случае эффективная скорость машины снижается более медленным процессом проверки. К тому же, если заставить машину сохранять все промежуточные результаты вычислений, то ее сложность и размер возрастут недопустимо — вероятно, значительно больше, чем в два или три раза.