История изменений
Исправление Iron_Bug, (текущая версия) :
а что тут раскрывать? это математический принцип. чтобы доказать отсутствие ошибки, тебе пришлось бы описать ВСЮ систему (включая Солнечную, например). поэтому ошибки иногда выявляются. но доказать в общем случае их отсутствие невозможно даже теоретически.
нет, есть доказательства алгоритмов. унылые и бесполезные. потому что алгоритм алгоритмом, но софт работает в конкретном окружении, на какой-то операционной системе, на железе, он скомпилирован каким-то компилятором и вот это всё. и то, что алгоритм правильный и ты проверил теоретически все ветвления, ещё не значит, что ошибка не произойдёт.
Исправление Iron_Bug, :
а что тут раскрывать? это математический принцип. чтобы доказать отсутствие ошибки, тебе пришлось бы описать ВСЮ систему (включая Солнечную, например). поэтому ошибки иногда выявляются. но доказать в общем случае их отсутствие невозможно даже теоретически.
нет, есть доказательства алгоритмов. унылые и бесполезные. потому что алгоритм алгоритмом, но софт работает в конкретном окружении, на какой-то операционной системе, на железе и вот это всё. и то, что алгоритм правильный и ты проверил теоретически все ветвления, ещё не значит, что ошибка не произойдёт.
Исправление Iron_Bug, :
а что тут раскрывать? это математический принцип. чтобы доказать отсутствие ошибки, тебе пришлось бы описать ВСЮ систему (включая Солнечную, например). поэтому ошибки иногда выявляются. но доказать в общем случае их отсутствие невозможно даже теоретически.
Исходная версия Iron_Bug, :
а что тут раскрывать? это математический принцип. чтобы доказать отсутствие ошибки, тебе пришлось бы описать ВСЮ систему (включая Солнечную, например).