Church encoding
id:
church-encoding-187-12923414
title:
Church encoding
text:
In mathematics, Church encoding is a means of representing data and operators in the lambda calculus. The Church numerals are 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 are mapped to higher-order functions under Church encoding. The Church–Turing thesis asserts that any computable operator can be represented under Church
brand slug:
wiki
category slug:
encyclopedia
description:
Representation of the natural numbers as higher-order functions
original url:
https://en.wikipedia.org/wiki/Church_encoding
date created:
2005-10-24T21:34:54Z
date modified:
2024-09-08T14:11:06Z
main entity:
{"identifier":"Q1089708","url":"https://www.wikidata.org/entity/Q1089708"}
image:
fields total:
13
integrity:
15