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