1
Оцінка обчислення лямбда за участю церковних цифр
Я розумію, що церковна цифра виглядає як (... n разів ...) . Це означає не що інше, як "функція застосована разів до функції ". λ s . λ z . s scнcnc_nλ s . λ z. сλs.λz.s\lambda s. \lambda z. ss n zсzszs\;zсssнnnzzz Можливе визначення функції таке: . Дивлячись на …