кто решал задачу 1.6 из SICP?
По идее считается, что при cond будет бесконечный цикл, а при if не будет. Действительно, if — работает, cond — бесконечный цикл. Но я в упор не вижу объяснения этому в учебнике. Наоборот, написано, что как только предикат верный, то возвращается следствие и всё. Как раз в нашем случае при проверке good-enough? в итоге отыщется нужное значение, и вычисления должны остановиться. Good-enough? рекурсии не содержит. Тогда почему выходит бесконечный цикл?