Можно ли создать функцию остановки без ссылки / сборки / генерации решателя на входе?
Вопрос в том, можно ли решить проблему остановки, если решатель не собирается, не эмулируется, не генерируется, не воссоздается, а не помещает ваш выбор здесь / не используется ли он в какой-либо форме внутри анализируемой функции?
Есть очень похожий вопрос: возможно ли сделать функцию остановки, если вы не вызываете ее самостоятельно? но ответ на это обычно таков: "мы не вызываем функцию, а передаем функцию", однако, если мы исключим и такие ситуации, станет ли она разрешимой?