Если программа на каждом входе зацикливается, то для неё:

Множество всех программ, останавливающихся хотя бы на одном входе является:

Непознаваемая программа:

Программа, печатающая свой текст:

Какая программа печатает свой текст?

Существует ли Паскаль-программа, инвертирующая свой текст?

Программу А со свойством "никакая программа В не является доказуемо различной с А":

Множество перечислимо, если оно:

Нумерация - вычислимая, если:

Два образца - совместны, если:

Множество перечислимо, если: