Предполагается ли при доказательстве нерешения проблемы остановки о существовании такой программы?

Что предполагается при доказательстве нерешения программы остановки?

Какое противоречие возникает при окончании доказательства нерешения проблемы остановки?

Что подается на вход исследуемой программе на последнем этапе доказательства нерешения проблемы остановки?

Какой вывод делается в конце доказательства нерешения программы остановки?

Решением проблемы остановки будет являться:

Доказательство невозможности создания программы, решающей проблему остановки...

Доказательство возможности создания программы, решающей проблему остановки...

Что дается на вход программе, предположительно решающей проблему остановки?

Если программа выводит все слова своего языка, то такой язык называется ...

Если программа всегда завершается при входных словах, не являющихся словами ее языка, то такой язык называется ...