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 Ви можете акуратно викласти 2 церковних …