Что такое теорема об аресте?
Кто-то упомянул это как нечто важное, связанное с машиной Тьюринга, но я нигде не могу найти ничего, связанного с такой теоремой... Может кто-то мне помочь или эта теорема имеет неправильное название?
1 ответ
Решение
В контексте это звучит как неправильный перевод проблемы остановки.
Чтобы быть уверенным, вам нужно будет спросить человека, который сказал вам это. Они единственные, кто знает, что они намеревались сказать, особенно как единственный результат в Google для "theorem of arrest" это страница