Church encoding
Em matemática, a codificação de Church é uma forma de incorporar dados e operadores ao cálculo lambda, a forma mais conhecida dos numerais de Church, uma representação dos números naturais usando a notação lambda. O método é conhecido como Alonzo Church, que foi o primeiro a codificar os dados no cálculo lambda desta forma. Termos que são geralmente considerados primitivos em outras notações (com inteiros, booleanos e pares, por exemplo) são mapeados para funções de ordem superior na codificação de Church. A tese de Church-Turing afirma que qualquer operador computável (e seus operandos) pode ser representado sob a codificação de Church. Muitos estudantes de matemática estão familiarizados com a numeração de Gödel de elementos de um conjunto. A codificação de Church é uma operação equivale
known for
Alonzo ChurchCalculus of constructionsChurch booleanChurch booleansChurch integerChurch numberChurch numbersChurch numeralChurch numeralsChurch–Turing thesisCombinatory logicConsDeductive lambda calculusDescription numberEager evaluationEvaluation strategyFixed-point combinatorGödel numberingLambda calculusList of functional programming topicsMogensen–Scott encodingOCamlParametricitySimply typed lambda calculusSystem FType theoryUnary numeral systemVisitor pattern
Link from a Wikipage to another Wikipage
known for
primaryTopic
Church encoding
Em matemática, a codificação de Church é uma forma de incorporar dados e operadores ao cálculo lambda, a forma mais conhecida dos numerais de Church, uma representação dos números naturais usando a notação lambda. O método é conhecido como Alonzo Church, que foi o primeiro a codificar os dados no cálculo lambda desta forma. Termos que são geralmente considerados primitivos em outras notações (com inteiros, booleanos e pares, por exemplo) são mapeados para funções de ordem superior na codificação de Church. A tese de Church-Turing afirma que qualquer operador computável (e seus operandos) pode ser representado sob a codificação de Church. Muitos estudantes de matemática estão familiarizados com a numeração de Gödel de elementos de um conjunto. A codificação de Church é uma operação equivale
has abstract
Em matemática, a codificação d ...... s, o invés de números naurais.
@pt
In informatica, un booleano di ...... :
* vero=λab.a
* falso=λab.b
@it
Liczby naturalne Churcha – kon ...... arytmetyka w rachunku lambda.
@pl
Unter Church-Kodierung versteh ...... r auf diese Weise modellierte.
@de
Στα μαθηματικά η κωδικοποίηση ...... γενής τύπος είναι η συνάρτηση.
@el
В математике кодирование Чёрча ...... ые типы данных не обязательны.
@ru
邱奇编码是把数据和运算符嵌入到lambda演算内的一种方式, ...... ;邱奇编码是定义在lambda抽象而不是自然数上的等价运算。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,026,128,854
Link from a Wikipage to another Wikipage
date
December 2019
@en
wikiPageUsesTemplate
subject
hypernym
comment
Em matemática, a codificação d ...... Church é uma operação equivale
@pt
In informatica, un booleano di ...... :
* vero=λab.a
* falso=λab.b
@it
Liczby naturalne Churcha – kon ...... arytmetyka w rachunku lambda.
@pl
Unter Church-Kodierung versteh ...... r auf diese Weise modellierte.
@de
Στα μαθηματικά η κωδικοποίηση ...... ή (χρησιμοποιώντας λ-λογισμό).
@el
В математике кодирование Чёрча ...... в, ведущих себя как константы.
@ru
邱奇编码是把数据和运算符嵌入到lambda演算内的一种方式, ...... ;邱奇编码是定义在lambda抽象而不是自然数上的等价运算。
@zh
label
Booleano di Church
@it
Church encoding
@en
Church-Kodierung
@de
Codificação de Church
@pt
Liczby naturalne Churcha
@pl
Κωδικοποίηση Τσερτς
@el
Кодирование Чёрча
@ru
邱奇数
@zh