Здравствуйте, MaxxK, Вы писали:

MK>Почему преждевременно? Для программ «обычного человека» у нас есть характеристики корректности «наверное не упадёт», «наверное посчитает правильный ответ», «наверное не повиснет» и «наверное хватит памяти/стека». Для программ «курильщика Coq» эти характеристики — «точно не упадёт», «точно посчитает правильный ответ», «точно не повиснет», «наверное хватит памяти/стека». 3 гарантии из 4 (да даже 1 из 2, как в исходном примере), на мой взгляд, вполне себе повод для заявлений «полнота по Тьюрингу не нужна».

Теоретически, она не является необходимым условием. Ты это имел ввиду ? Я же говорю про экономическую целесообразность.