Не исследован был вопрос о возможных сбоях в самой машине. Нужно было бы в качестве проверки эту же задачу рассмотреть, составив другую программу и рассчитав на принципиально другом компьютере.
Этот вопрос конечно интересный, но только с академической точки зрения. Если говорить о случайных сбоях, то понизить влияние такого сбоя можно, запустив
ту же программу на том же компьютере. Если говорить о систематических сбоях, типа Pentium fdiv bug, то здесь поможет proof checker. Prover выдаёт доказательство, которое проверяется proof checker-ом. Существование такой ошибки в процессоре, что prover выдаёт неправильное доказательство, и proof checker оценивает его как правильное, маловероятно.
-- Mon Sep 12, 2011 13:01:45 --Такое доказательство сможет выполнить и программист.
Программист - не сможет (1). Сложность его наивного алгоритма (0) будет запредельная.
Это поразительно, как вы ничтоже сумняшеся выдаёте противоречивое высказывание.
Вы говорите, что программист сможет написать алгоритм (0) и в то же время что не сможет (1). Мне с вами не о чём разговаривать.