Статья 375

Таким образом, программа решает первую задачу, а программа - вторую, но не наоборот. Очевидно, доказывать, что это действительно так, совершенно излишне. Факт слишком очевидный. Рассмотрим более сложный пример.
Даны два неотрицательных целых числа. Проверить, делится или нет.
Если бы были даны два конкретных числа, наши действия по проверке делимости можно было бы свести к обращению ко второй из приведенных выше программ, в которой 500 и 250 заменены на соответствующие новые числа. Взглянув на экран после выполнения программы, мы непосредственно убедились бы в факте делимости или его отсутствии, поскольку целые числа есть делимость печатаются на экране дисплея иначе, чем дробные нет делимости. Однако подобный образ действий вызывает сомнения. Получается, что компьютер решит задачу не полностью, поскольку на заключительном этапе требуется непосредственное участие человека.