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:
“It is manifest therefore that they who have sovereign power, are immediate rulers of the church under Christ, and all others but subordinate to them. If that were not, but kings should command one thing upon pain of death, and priests another upon pain of damnation, it would be impossible that peace and religion should stand together.”
—Thomas Hobbes (1579–1688)