определенная непознаваемость или неразрешимость называется проблемой остановки: в общем, вы не можете знать даже такую простую вещь, как остановится ли выполнение программы!