2
λ 미적분 최적 평가자가 공식없이 큰 모듈 식 지수를 계산할 수있는 이유는 무엇입니까?
교회 번호는 자연수를 함수로 인코딩 한 것입니다. (\ f x → (f x)) -- church number 1 (\ f x → (f (f (f x)))) -- church number 3 (\ f x → (f (f (f (f x))))) -- church number 4 깔끔하게, 당신은 단지 그들을 적용하여 두 교회 번호를 …