Блог

Насколько я понимаю, теорема Райса, по-видимому, подразумевает существование проблемы остановки. То есть с помощью теоремы Райса мы можем доказать, что проблема остановки неразрешима. Однако мне кажется, что можно написать доказательство, используя, что проблема остановки неразрешима, чтобы показать теорему Райса. Я не совсем уверен, как можно было бы доказать такую вещь (хотя кажется, что противоречие было бы естественным), но мне кажется, что это должно быть возможно?