Статья 425

Напротив, очевидно, что при достаточно больших представимых и у компьютер не сможет вычислить по программе из-за выхода числа за границы области представимых на этой машине чисел. Представимость и не гарантирует представимости. Разве можно после этого утверждать, что программа является правильной.
Строго говоря, этого утверждать нельзя. Согласно определению частичной правильности, при истинности и завершении работы программы также должно быть истинным. Но если результат возведения в степень не представим, выполнение программы завершится сообщением об ошибке. Тем более не приходится говорить о тотальной правильности.
Что-нибудь вроде слишком большое число в строке.
Таким образом, между программами и существует важное логическое различие. Программа давала ответ на вопрос о наличии или отсутствии отношения делимости между числами.