❌запись 010-D/1
📄 Архивная справка: о проблеме остановки

В 1936 году было доказано, что не существует общего алгоритма, способного для произвольной программы и произвольных входных данных определить, завершится ли её выполнение. Это доказательство принципиальной невозможности метода.

Практическое следствие для Фонда прямое: поведение самовоспроизводящейся или самодостраивающейся системы нельзя гарантированно предсказать аналитически. Любое заключение вида "процесс гарантированно остановится" — является не результатом расчёта, а результатом наблюдения в течение конечного времени. Это не становится автоматически гарантией того, что он не запустится снова или не пойдёт по иному сценарию.
По этой причине процедуры содержания строятся на ограничении среды, а не лишь на одном предсказании поведения. Мы выполняем ту работу, которую можем, не прибегая к ложным выводам о собственных возможностях.

❌[ конец записи ]