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 Аккуратно, вы можете возвести в степень …