Я прочитал много статей, в которых говорится, что код не может быть без ошибок, и они говорят об этих теоремах: Проблема остановки Теорема Гёделя о неполноте Теорема Райса На самом деле теорема Райс выглядит как следствие проблемы остановки, и проблема остановки находится в тесной связи с теоремой...