Статья 432

Доказательства правильности программ и доказательства теорем на компьютерах.

Вернемся теперь к вопросу о том, можно ли доказывать математические теоремы на компьютерах. Допустим, мы утверждаем, что делится. Утверждение о делимости можно рассматривать как пример теоремы арифметики, которую надлежит доказать или опровергнуть.
Очевидно, перед нами очень простая теорема, и ее доказательство не доставит нам никаких особых хлопот.

Предложите доказать эту теорему своему товарищу и параллельно запустите программу, введя в нее соответствующие входные данные.

Какому из.
Так, вряд ли кто-либо будет возводить в степень по программе, поскольку практически на всех компьютерах реализована операция возведения в степень, время выполнения которой будет лучше по сравнению временем выполнения.