Church integer

Also found in: Wikipedia

0.01 sec.

(theory)

Church integer - A representation of integers as functions invented by Alonzo Church, inventor of lambda-calculus. The integer N is represented as a higher-order function which applies a given function N times to a given expression. In the pure lambda-calculus there are no constants but numbers can be represented by Church integers.

A Haskell function to return a given Church integer could be written:

church n = c where c f x = if n == 0 then x else c' f (f x) where c' = church (n-1)

A function to turn a Church integer into an ordinary integer:

unchurch c = c (+1) 0

See also von Neumann integer.

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, add the site to iGoogle, or visit the webmaster's page for free fun content.

?Page tools

Printer friendly
Cite / link

Feedback

Mentioned in	?		Encyclopedia browser	?		Full browser	?
No references found			Chungking Chunhyang-Jon Chuni Chunia Chuniri Chunizhekov, Chalchik Chunizhekov, Chalchik Anchinovich chunk glass chunker Chunnel Chunqiu Chunskii Chupa Chupakhovka Chuprov, Aleksandr Chuprov, Aleksandr Aleksandrovich Chuprov, Aleksandr Ivanovich Chuquet, Nicolas Chuquicamata Chur churada Church church and state Church and State, Separation of church house Church integer Church Marriage church mode Church Music Church of Christ, Scientist Church of England Church of Our Savior Church of Scientology Church of the Brethren Church of the Nazarene Church of the SubGenius Church Slavonic Church Slavonicism Church Spectacle Drama church stile Church's thesis Church, Alonzo Church, Benjamin Church, Frederic Edwin Church, Frederick Church, Frederick Edwin Church, Richard William Church, Sir Richard Church, Thomas Church-Rosser theorem Churches of Christ			Church Growth Development International Church Growth Investment Fund Church Growth Movement Church Growth Resource Network Church Growth Software Demo Church Growth Today Church Handbook of Instructions church hat Church Headquarters Church heraldry Church High Blood Pressure Program Church Hill Classics Church history Church History and Religious Culture Church History Library Church Homes of Northern California Church House Church House Bookshop Church House Deaneries Group Church Hymnal Corporation Church in a Box Solutions Church in a Day Church in the Gardens Church Insurance Company Church integer church key church key Church Ladies for Choice Church Lads Brigade Church law Church law Church law Church Law & Tax Report Church Leader Internet Portal Church Leadership Connection Church Leadership Development International Church Leadership Training Institute Church Library Association of Ontario Church Life Insurance Corporation Church living Church Loans & Investments Trust Church Management & Tax Conference Church management software Church Management System Church Marriage Church Media Net Church Media Resource Center Church Medical Association of Zambia church member Church Membership Keeper Church militant Church militant and church triumphant

Encyclopedia

Free Tools:	For surfers: Free toolbar & extensions \| Word of the Day \| Help For webmasters: Free content \| Linking \| Lookup box \| Double-click lookup

Disclaimer
All content on this website, including dictionary, thesaurus, literature, geography, and other reference data is for informational purposes only. This information should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional.