Доказательство возможности создания программы, решающей проблему остановки...
Что дается на вход программе, предположительно решающей проблему остановки?
Что предполагается при доказательстве нерешения программы остановки?
Какой вывод делается в конце доказательства нерешения программы остановки?
Предполагается ли при доказательстве нерешения проблемы остановки о существовании такой программы?
Доказательство того, что множество всех возможных языков - счетное, ...
Доказательство того, что множество всех возможных языков - больше, чем счетное, ...
Решением проблемы остановки будет являться:
Какое противоречие возникает при окончании доказательства нерешения проблемы остановки?
Что подается на вход исследуемой программе на последнем этапе доказательства нерешения проблемы остановки?
