Church Numerals
Church numerals are the representations of natural numbers under Church encoding. The higher-order function that represents natural number is a function that maps any function to its n-fold composition. In simpler terms, the "value" of the numeral is equivalent to the number of times the function encapsulates its argument.
Read more about this topic: Church Encoding
Famous quotes containing the word church:
“When the Church of Jesus
Shuts its outer door,
Lest the roar of traffic
Drown the voice of prayer:
May our prayers, Lord, make us
Ten times more aware
That the world we banish
Is our Christian care.”
—Frederick Pratt Green (b. 1903)