2
Warum können λ-Kalkül-optimale Bewerter große modulare Exponentiationen ohne Formeln berechnen?
Kirchenzahlen sind eine Kodierung natürlicher Zahlen als Funktionen. (\ 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 Ordentlich können Sie 2 Kirchennummern potenzieren, indem …