[람다 대수] 임의의 X에 대하여 G X = G G인 G는?

[기괴공학도(mecheng98)]

답이 Y(λgx. gg)라는데 증명을 어떻게 할지를 모르겠어요. 여기서 Y ≡ λf.(λx.f(xx))(λx.f(xx)).

수갤 가야하나요?

[커헠(msca8h)]

수갤은 당근 모를듯 - return 0;

[커헠(msca8h)]

이거 근데 그냥 유도하면 나오는거 아냐? - return 0;

[기괴공학도(mecheng98)]

제가 멍청해서 그냥 유도를 해도 안 돼요

[커헠(msca8h)]

나도 해봄 ㄱㄷ - return 0;

[기괴공학도(mecheng98)]

감사합니다

[커헠(msca8h)]

이거 근데 그니까 G가 Y 컴비네이터라는거임? 아니면 Y 에 gx.g g 넣으게 답이라는거임? - return 0;

[커헠(msca8h)]

뭐라고 쓴건지 모르겠음 - return 0;

[기괴공학도(mecheng98)]

Y*(λgx. g*g)

[기괴공학도(mecheng98)]

*는 application

[커헠(msca8h)]

아 Y 컴비네이터 들어가니까 너무 머리 아프다.. 귀찮다 힘내라 ㅋㅋㅋㅋ - return 0;

[기괴공학도(mecheng98)]

어차피 취미라서 ㄱㅊ 과제 아니에요

[작은하루방(61.79)]

ㄷㄷ - dc App