Как получить Y комбинатор через S комбинатор или другие?

Question

У меня есть уравнение Y = FY (уравнение с фиксированной точкой). Как получить из него уравнение для F через другой комбинатор (в частности, S-комбинатор с первым фиксированным параметром)?

Answer 1

Нет способа сделать это - рассмотрим функции g и g ∘ g. Тогда Y(g) и Y(g ∘ g) оба являются g(g(g(g(g(g)))))), поэтому нет пути от Y(F) к F в общем.