Статья 429

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

компьютеры

компьютеры


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