«Поиск всего кода в заданном двоичном файле эквивалентен проблеме остановки». В самом деле?

Я только что читал высоко оцененный вопрос относительно эмуляторов и утверждение

. Было доказано, что нахождение всех код в данном двоичном коде эквивалентен к проблеме остановки.

На самом деле мне не понравилось.

Разве это не может быть правдой? Разве это не просто большой граф зависимостей?

Был бы очень благодарен за дальнейшее понимание этого заявления.