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:
“The tavern will compare favorably with the church. The church is the place where prayers and sermons are delivered, but the tavern is where they are to take effect, and if the former are good, the latter cannot be bad.”
—Henry David Thoreau (1817–1862)