Y комбинатор

Завтра приезжает Рома Чепляка, чтобы прочесть лекцию "Рекурсивные функции и неподвижные точки". Согласно завету, что "на встречу со звездой надо приходить подготовленными", посмотрел эту страничку. Там в середине сказано, что только Y комбинатор обеспечивает возможность рекурсии. Вот оно что. Помнится Рома уже рассказывал на эту тему год назад, когда мы сидели на траве морского склона, но я тогда не очень понял. Теперь предоставляется второй шанс. А впрочем, что такое год по сравнению с почти столетием, когда Шёнфинкель из Одессы открыл комбинаторную логику.