Цитата(xds @ 2.11.2006 17:34)
Отсутствие ошибок не гарантировано в принципе.
Цитата(Archon @ 3.11.2006 1:23)
А кто сможет гарантировать, что ошибки нет в самом алгоритме проверки на безошибочность?
Я так понял, что Альтаир говорил о приципиальной возможности существования такого алгоритма. Вопрос не праздный, конечно. Можно сравнить с известной "Гипотезой континуума", которая была решена, и решение гласило, что доказательство наличия или отсутствия промежуточной между алеф-ноль и алеф-один мощности
не может быть получено вообще в рамках существующей системы аксиом. Так и здесь, вопрос заключается в том - а существует ли такой прцесс хотя бы теоретически? Мне кажется, интересующихся этой проблемой можно отослать к книге Пойа "Теория доказательств" - если не за решением, то хотя бы за правильной постановкой.
Но к практике это не имеет ни малейшего отношения. Более того, ошибки наверняка кроются не только в программных кодах, но и в проектах, и даже в ТЗ на программные системы. Как грится, "Оставь надежды.."