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

GC>·>Это не допущение, а просто такое понятие, которое позволяет выразить в формальном виде проблему остановки.
GC>Вот тут интересно. Спасибо. Надо будет ознакомится с этим поподробнее.
GC>Оказывается, тут какое-то формальное определение есть, спасибо.
Не совсем прям уж определение, это просто часть док-ва. Т.е. понятие такого анализатора вводится не просто так, а чтобы на его основе построить доказательство теоремы.

GC>>> Другой (мой) вариант существования анализатора, это случай, когда анализатор всегда останавливается
GC>>> и возвращает 1 или 0 в зависимости от того, зависла или нет анализируемая программа.
GC>·>Да пожалуйста. Но теперь тебе придётся выразить проблему остановки для такого варианта анализатора.
GC>Интересно, многого я не знал. Но выразить проблему это же не такая большая проблема?
GC>Выразить проблему — это же задача порядка проще?
Ну да, это будет гипотезой. Интереснее эту гипотезу доказать.