In mathematics, Church encoding is a means of embedding data and operators into the lambda calculus, the most familiar form being the Church numerals, a representation of the natural numbers using lambda notation. The method is named for Alonzo Church, who first encoded data in the lambda calculus this way.
Terms that are usually considered primitive in other notations (such as integers, booleans, pairs, lists, and tagged unions) are mapped to higher-order functions under Church encoding; the Church-Turing thesis asserts that any computable operator (and its operands) can be represented under Church encoding.
Many students of mathematics are familiar with Gödel numbering members of a set; Church encoding is an equivalent operation defined on lambda abstractions instead of natural numbers.
Read more about Church Encoding: Church Numerals, Church Booleans, Church Pairs, List Encodings
Famous quotes containing the word church:
“Be subject to one another out of reverence for Christ. Wives, be subject to your husbands as you are to the Lord. For the husband is the head of the wife just as Christ is the head of the church, the body of which he is the Savior. Just as the church is subject to Christ, so also wives ought to be, in everything, to their husbands. Husbands, love your wives, just as Christ loved the church and gave himself up for her...”
—Bible: New Testament, Ephesians 5:21-25.