Возможно ли построить автоматический верификатор произвольных функциональных программ на зацикливаемость?
(Отметьте один правильный вариант ответа.)
Варианты ответа
да, поскольку функциональные программы имеют четкие математические денотаты
нет, поскольку невозможно учесть побочные эффекты
да, поскольку чистое лямбда-исчисление является полным
нет, поскольку проблема самоприменимости неразрешима(Верный ответ)