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:
“In my dreams is a country where the State is the Church and the Church the people: three in one and one in three. It is a commonwealth in which work is play and play is life: three in one and one in three. It is a temple in which the priest is the worshiper and the worshiper the worshipped: three in one and one in three. It is a godhead in which all life is human and all humanity divine: three in one and one in three.”
—George Bernard Shaw (1856–1950)