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