Изменения
→Проблема остановки
==Проблема остановки==
{{Определение
|definition= Проблема остановки {{---}} определить, остановится ли данная машина проблема определения факта остановки данной машины Тьюринга на данных входных данных когда-либо (закончит выполнение или нет).
}}
{{Теорема
