. . . . . "\u90B1\u5947\u7F16\u7801\u662F\u628A\u6570\u636E\u548C\u8FD0\u7B97\u7B26\u5D4C\u5165\u5230lambda\u6F14\u7B97\u5185\u7684\u4E00\u79CD\u65B9\u5F0F\uFF0C\u6700\u5E38\u89C1\u7684\u5F62\u5F0F\u5373\u90B1\u5947\u6570\uFF0C\u5B83\u4F7F\u7528lambda\u7B26\u53F7\u8868\u793A\u81EA\u7136\u6570\u3002\u65B9\u6CD5\u5F97\u540D\u4E8E\u963F\u9686\u4F50\u00B7\u90B1\u5947\uFF0C\u4ED6\u9996\u5148\u4EE5\u8FD9\u79CD\u65B9\u6CD5\u628A\u6570\u636E\u7F16\u7801\u5230lambda\u6F14\u7B97\u4E2D\u3002 \u900F\u904E\u90B1\u5947\u7DE8\u78BC\uFF0C\u5728\u5176\u4ED6\u7B26\u53F7\u7CFB\u7EDF\u4E2D\u901A\u5E38\u88AB\u8BA4\u5B9A\u4E3A\u57FA\u672C\u7684\u9879\uFF08\u6BD4\u5982\u6574\u6570\u3001\u5E03\u5C14\u503C\u3001\u6709\u5E8F\u5BF9\u3001\u5217\u8868\u548Ctagged unions\uFF09\u90FD\u6703\u88AB\u6620\u5C04\u5230\u9AD8\u9636\u51FD\u6570\u3002\u5728\u7121\u578B\u5225lambda\u6F14\u7B97\uFF0C\u51FD\u6578\u662F\u552F\u4E00\u7684\u539F\u59CB\u578B\u5225\u3002 \u90B1\u5947\u7DE8\u78BC\u672C\u8EAB\u4E26\u975E\u7528\u4F86\u5BE6\u8E10\u539F\u59CB\u578B\u5225\uFF0C\u800C\u662F\u900F\u904E\u5B83\u4F86\u5C55\u73FE\u6211\u5011\u4E0D\u9808\u984D\u5916\u539F\u59CB\u578B\u5225\u5373\u53EF\u8868\u9054\u8A08\u7B97\u3002 \u5F88\u591A\u5B66\u6570\u5B66\u7684\u5B66\u751F\u719F\u6089\u53EF\u8BA1\u7B97\u51FD\u6570\u96C6\u5408\u7684\u54E5\u5FB7\u5C14\u7F16\u53F7\uFF1B\u90B1\u5947\u7F16\u7801\u662F\u5B9A\u4E49\u5728lambda\u62BD\u8C61\u800C\u4E0D\u662F\u81EA\u7136\u6570\u4E0A\u7684\u7B49\u4EF7\u8FD0\u7B97\u3002"@zh . "Unter Church-Kodierung versteht man die Einbettung von Daten und Operatoren in den Lambda-Kalk\u00FCl. Die bekannteste Form sind die Church-Numerale, welche die nat\u00FCrlichen Zahlen repr\u00E4sentieren. Benannt sind sie nach Alonzo Church, der Daten als Erster auf diese Weise modellierte."@de . "\u0412 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0435 \u043A\u043E\u0434\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435 \u0427\u0451\u0440\u0447\u0430 \u043E\u0437\u043D\u0430\u0447\u0430\u0435\u0442 \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u0435 (\u0438\u043B\u0438 \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u0443 \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u044F) \u0434\u0430\u043D\u043D\u044B\u0445 \u0438 \u043E\u043F\u0435\u0440\u0430\u0442\u043E\u0440\u043E\u0432 \u0432 \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u0435 \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044F. \u041D\u0435\u043E\u0431\u0445\u043E\u0434\u0438\u043C\u043E\u0441\u0442\u044C \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u044B \u0432\u044B\u0437\u0432\u0430\u043D\u0430 \u0442\u0435\u043C, \u0447\u0442\u043E \u0432 \u0447\u0438\u0441\u0442\u043E\u043C \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0438 \u0441\u0440\u0435\u0434\u0438 \u0442\u0435\u0440\u043C\u043E\u0432 \u043F\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044E\u0442 \u0442\u043E\u043B\u044C\u043A\u043E \u043F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u044B\u0435 \u0438 \u043E\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044E\u0442 \u043A\u043E\u043D\u0441\u0442\u0430\u043D\u0442\u044B. \u0414\u043B\u044F \u0442\u043E\u0433\u043E, \u0447\u0442\u043E\u0431\u044B \u043F\u043E\u043B\u0443\u0447\u0438\u0442\u044C \u043E\u0431\u044A\u0435\u043A\u0442\u044B, \u0432\u0435\u0434\u0443\u0449\u0438\u0435 \u0441\u0435\u0431\u044F \u0442\u0430\u043A\u0438\u043C \u0436\u0435 \u043E\u0431\u0440\u0430\u0437\u043E\u043C \u043A\u0430\u043A \u0438 \u0447\u0438\u0441\u043B\u0430, \u043F\u0440\u0438\u043C\u0435\u043D\u044F\u0435\u0442\u0441\u044F \u043A\u043E\u0434\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435 \u0427\u0451\u0440\u0447\u0430. \u0421\u0430\u043C\u0430 \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u0430 \u043D\u0430\u0437\u0432\u0430\u043D\u0430 \u0432 \u0447\u0435\u0441\u0442\u044C \u0410\u043B\u043E\u043D\u0437\u043E \u0427\u0451\u0440\u0447\u0430, \u0440\u0430\u0437\u0440\u0430\u0431\u043E\u0442\u0430\u0432\u0448\u0435\u0433\u043E \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 \u0438 \u0432\u043F\u0435\u0440\u0432\u044B\u0435 \u043F\u0440\u0438\u043C\u0435\u043D\u0438\u0432\u0448\u0435\u0433\u043E \u044D\u0442\u043E\u0442 \u043C\u0435\u0442\u043E\u0434 \u043A\u043E\u0434\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u0434\u0430\u043D\u043D\u044B\u0445. \u041F\u043E \u0430\u043D\u0430\u043B\u043E\u0433\u0438\u0438 \u0441 \u0447\u0438\u0441\u043B\u0430\u043C\u0438, \u043A\u043E\u0434\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435 \u0427\u0451\u0440\u0447\u0430 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u043F\u0440\u0438\u043C\u0435\u043D\u0435\u043D\u043E \u0438 \u0434\u043B\u044F \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u044F \u043E\u0431\u044A\u0435\u043A\u0442\u043E\u0432 \u0434\u0440\u0443\u0433\u0438\u0445 \u0442\u0438\u043F\u043E\u0432, \u0432\u0435\u0434\u0443\u0449\u0438\u0445 \u0441\u0435\u0431\u044F \u043A\u0430\u043A \u043A\u043E\u043D\u0441\u0442\u0430\u043D\u0442\u044B. \u0422\u0435\u0440\u043C\u044B, \u043A\u043E\u0442\u043E\u0440\u044B\u0435 \u0432 \u0434\u0440\u0443\u0433\u0438\u0445 \u043D\u043E\u0442\u0430\u0446\u0438\u044F\u0445 \u043E\u0431\u044B\u0447\u043D\u043E \u044F\u0432\u043B\u044F\u044E\u0442\u0441\u044F \u043F\u0440\u0438\u043C\u0438\u0442\u0438\u0432\u0430\u043C\u0438 (\u0442\u0430\u043A\u0438\u0435 \u043A\u0430\u043A \u0446\u0435\u043B\u044B\u0435 \u0447\u0438\u0441\u043B\u0430, \u043B\u043E\u0433\u0438\u0447\u0435\u0441\u043A\u0438\u0435 \u0437\u043D\u0430\u0447\u0435\u043D\u0438\u044F, \u043F\u0430\u0440\u044B, \u0441\u043F\u0438\u0441\u043A\u0438 \u0438 \u0442\u0435\u0433\u043E\u0432\u044B\u0435 \u043E\u0431\u044A\u0435\u0434\u0438\u043D\u0435\u043D\u0438\u044F), \u0432 \u043A\u043E\u0434\u0438\u0440\u043E\u0432\u043A\u0435 \u0427\u0435\u0440\u0447\u0430 \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u044F\u044E\u0442\u0441\u044F \u043F\u0440\u0438 \u043F\u043E\u043C\u043E\u0449\u0438 \u0444\u0443\u043D\u043A\u0446\u0438\u0439 \u0432\u044B\u0441\u0448\u0435\u0433\u043E \u043F\u043E\u0440\u044F\u0434\u043A\u0430. \u0412 \u043E\u0434\u043D\u043E\u0439 \u0438\u0437 \u0441\u0432\u043E\u0438\u0445 \u0444\u043E\u0440\u043C\u0443\u043B\u0438\u0440\u043E\u0432\u043E\u043A \u0442\u0435\u0437\u0438\u0441 \u0422\u044C\u044E\u0440\u0438\u043D\u0433\u0430 - \u0427\u0451\u0440\u0447\u0430 \u0443\u0442\u0432\u0435\u0440\u0436\u0434\u0430\u0435\u0442, \u0447\u0442\u043E \u0432 \u043A\u043E\u0434\u0438\u0440\u043E\u0432\u043A\u0435 \u0427\u0451\u0440\u0447\u0430 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D \u043B\u044E\u0431\u043E\u0439 \u0432\u044B\u0447\u0438\u0441\u043B\u0438\u043C\u044B\u0439 \u043E\u043F\u0435\u0440\u0430\u0442\u043E\u0440 (\u0438 \u0435\u0433\u043E \u043E\u043F\u0435\u0440\u0430\u043D\u0434\u044B). \u0412 \u0431\u0435\u0441\u0442\u0438\u043F\u043E\u0432\u043E\u043C \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0438 \u0435\u0434\u0438\u043D\u0441\u0442\u0432\u0435\u043D\u043D\u044B\u043C \u043F\u0440\u0438\u043C\u0438\u0442\u0438\u0432\u043D\u044B\u043C \u0442\u0438\u043F\u043E\u043C \u0434\u0430\u043D\u043D\u044B\u0445 \u044F\u0432\u043B\u044F\u044E\u0442\u0441\u044F \u0444\u0443\u043D\u043A\u0446\u0438\u0438, \u0430 \u0432\u0441\u0435 \u043E\u0441\u0442\u0430\u043B\u044C\u043D\u044B\u0435 \u0441\u0443\u0449\u043D\u043E\u0441\u0442\u0438 \u043A\u043E\u043D\u0441\u0442\u0440\u0443\u0438\u0440\u0443\u044E\u0442\u0441\u044F \u043F\u0440\u0438 \u043F\u043E\u043C\u043E\u0449\u0438 \u043A\u043E\u0434\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u0427\u0451\u0440\u0447\u0430. \u041A\u043E\u0434\u0438\u0440\u043E\u0432\u043A\u0430 \u0427\u0435\u0440\u0447\u0430, \u043A\u0430\u043A \u043F\u0440\u0430\u0432\u0438\u043B\u043E, \u043D\u0435 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0435\u0442\u0441\u044F \u0434\u043B\u044F \u043F\u0440\u0430\u043A\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0439 \u0440\u0435\u0430\u043B\u0438\u0437\u0430\u0446\u0438\u0438 \u043F\u0440\u0438\u043C\u0438\u0442\u0438\u0432\u043D\u044B\u0445 \u0442\u0438\u043F\u043E\u0432 \u0434\u0430\u043D\u043D\u044B\u0445. \u041E\u043D\u0430 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u0435\u0442\u0441\u044F \u0434\u043B\u044F \u0446\u0435\u043B\u0435\u0439 \u0434\u043E\u043A\u0430\u0437\u0430\u0442\u0435\u043B\u044C\u043D\u043E\u0439 \u0434\u0435\u043C\u043E\u043D\u0441\u0442\u0440\u0430\u0446\u0438\u0438 \u0442\u043E\u0433\u043E, \u0447\u0442\u043E \u0434\u043B\u044F \u043F\u0440\u043E\u0432\u0435\u0434\u0435\u043D\u0438\u044F \u0432\u044B\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0439 \u0434\u0440\u0443\u0433\u0438\u0435 \u043F\u0440\u0438\u043C\u0438\u0442\u0438\u0432\u043D\u044B\u0435 \u0442\u0438\u043F\u044B \u0434\u0430\u043D\u043D\u044B\u0445 \u043D\u0435 \u043E\u0431\u044F\u0437\u0430\u0442\u0435\u043B\u044C\u043D\u044B."@ru . . . . . . . . "Em matem\u00E1tica, a codifica\u00E7\u00E3o de Church \u00E9 uma forma de incorporar dados e operadores ao c\u00E1lculo lambda, a forma mais conhecida dos numerais de Church, uma representa\u00E7\u00E3o dos n\u00FAmeros naturais usando a nota\u00E7\u00E3o lambda. O m\u00E9todo \u00E9 conhecido como Alonzo Church, que foi o primeiro a codificar os dados no c\u00E1lculo lambda desta forma. Termos que s\u00E3o geralmente considerados primitivos em outras nota\u00E7\u00F5es (com inteiros, booleanos e pares, por exemplo) s\u00E3o mapeados para fun\u00E7\u00F5es de ordem superior na codifica\u00E7\u00E3o de Church. A tese de Church-Turing afirma que qualquer operador comput\u00E1vel (e seus operandos) pode ser representado sob a codifica\u00E7\u00E3o de Church. Muitos estudantes de matem\u00E1tica est\u00E3o familiarizados com a numera\u00E7\u00E3o de G\u00F6del de elementos de um conjunto. A codifica\u00E7\u00E3o de Church \u00E9 uma opera\u00E7\u00E3o equivalente, definida sob lambda-abstra\u00E7\u00F5es, o inv\u00E9s de n\u00FAmeros naurais."@pt . . . . . . "\u039A\u03C9\u03B4\u03B9\u03BA\u03BF\u03C0\u03BF\u03AF\u03B7\u03C3\u03B7 \u03A4\u03C3\u03B5\u03C1\u03C4\u03C2"@el . "The Church-Turing thesis is that lambda calculus is Turing complete."@en . . "40926"^^ . "Liczby naturalne Churcha \u2013 konstrukcja w rachunku lambda, umo\u017Cliwiaj\u0105ca wykonywanie normalnej arytmetyki. Rachunek lambda bez typ\u00F3w nie zawiera sam z siebie liczb, wi\u0119c nale\u017Cy je skonstruowa\u0107. Liczba naturalna Churcha to funkcja wy\u017Cszego rz\u0119du pobieraj\u0105ca dwa argumenty \u2013 funkcj\u0119 i argument kt\u00F3ra -krotnie aplikuje do Tak wi\u0119c w zapisie matematycznym: \n* 0 to \n* 1 to \n* 2 to \n* 3 to \n* N+1 to a w zapisie lambda: liczba naturalna to gdzie: to to Operacje na liczbach naturalnych Churcha s\u0105 opisane w artykule arytmetyka w rachunku lambda."@pl . . . . . . . . . "Liczby naturalne Churcha \u2013 konstrukcja w rachunku lambda, umo\u017Cliwiaj\u0105ca wykonywanie normalnej arytmetyki. Rachunek lambda bez typ\u00F3w nie zawiera sam z siebie liczb, wi\u0119c nale\u017Cy je skonstruowa\u0107. Liczba naturalna Churcha to funkcja wy\u017Cszego rz\u0119du pobieraj\u0105ca dwa argumenty \u2013 funkcj\u0119 i argument kt\u00F3ra -krotnie aplikuje do Tak wi\u0119c w zapisie matematycznym: \n* 0 to \n* 1 to \n* 2 to \n* 3 to \n* N+1 to a w zapisie lambda: liczba naturalna to gdzie: to to Operacje na liczbach naturalnych Churcha s\u0105 opisane w artykule arytmetyka w rachunku lambda."@pl . . . . "Em matem\u00E1tica, a codifica\u00E7\u00E3o de Church \u00E9 uma forma de incorporar dados e operadores ao c\u00E1lculo lambda, a forma mais conhecida dos numerais de Church, uma representa\u00E7\u00E3o dos n\u00FAmeros naturais usando a nota\u00E7\u00E3o lambda. O m\u00E9todo \u00E9 conhecido como Alonzo Church, que foi o primeiro a codificar os dados no c\u00E1lculo lambda desta forma. Termos que s\u00E3o geralmente considerados primitivos em outras nota\u00E7\u00F5es (com inteiros, booleanos e pares, por exemplo) s\u00E3o mapeados para fun\u00E7\u00F5es de ordem superior na codifica\u00E7\u00E3o de Church. A tese de Church-Turing afirma que qualquer operador comput\u00E1vel (e seus operandos) pode ser representado sob a codifica\u00E7\u00E3o de Church. Muitos estudantes de matem\u00E1tica est\u00E3o familiarizados com a numera\u00E7\u00E3o de G\u00F6del de elementos de um conjunto. A codifica\u00E7\u00E3o de Church \u00E9 uma opera\u00E7\u00E3o equivale"@pt . "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 (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. In the untyped lambda calculus the only primitive data type is the function."@en . "2989409"^^ . . . "\u03A3\u03C4\u03B1 \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03AC \u03B7 \u03BA\u03C9\u03B4\u03B9\u03BA\u03BF\u03C0\u03BF\u03AF\u03B7\u03C3\u03B7 \u03A4\u03C3\u03B5\u03C1\u03C4\u03C2 (\u0391\u03B3\u03B3\u03BB\u03B9\u03BA\u03AC: Church encoding) \u03B5\u03AF\u03BD\u03B1\u03B9 \u03AD\u03BD\u03B1 \u03BC\u03AD\u03C3\u03BF \u03B1\u03BD\u03B1\u03C0\u03B1\u03C1\u03AC\u03C3\u03C4\u03B1\u03C3\u03B7\u03C2 \u03B4\u03B5\u03B4\u03BF\u03BC\u03AD\u03BD\u03C9\u03BD \u03BA\u03B1\u03B9 \u03C4\u03B5\u03BB\u03B5\u03C3\u03C4\u03CE\u03BD \u03BC\u03B5 \u03BB\u03AC\u03BC\u03B4\u03B1-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03CC (\u03C3\u03C5\u03BC\u03B2\u03BF\u03BB\u03AF\u03B6\u03B5\u03C4\u03B1\u03B9 \u03C9\u03C2 \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03CC\u03C2 \u03AE \u03C3\u03C4\u03B1 \u03B1\u03B3\u03B3\u03BB\u03B9\u03BA\u03AC: \u03BB-calculus). \u03A4\u03B1 \u03B4\u03B5\u03B4\u03BF\u03BC\u03AD\u03BD\u03B1 \u03BA\u03B1\u03B9 \u03BF\u03B9 \u03C4\u03B5\u03BB\u03B5\u03C3\u03C4\u03AD\u03C2 \u03B4\u03B7\u03BC\u03B9\u03BF\u03C5\u03C1\u03B3\u03BF\u03CD\u03BD \u03BC\u03B9\u03B1 \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03AE \u03B4\u03BF\u03BC\u03AE \u03B7 \u03BF\u03C0\u03BF\u03AF\u03B1 \u03B5\u03BD\u03C3\u03C9\u03BC\u03B1\u03C4\u03CE\u03BD\u03B5\u03C4\u03B1\u03B9 \u03C3\u03C4\u03BF\u03BD \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03CC. \u03A4\u03B1 \u03B1\u03C1\u03B9\u03B8\u03BC\u03BF\u03B5\u03B9\u03B4\u03AE \u03A4\u03C3\u03B5\u03C1\u03C4\u03C2 (\u03AE \u03BA\u03B1\u03B9 \u03B1\u03C1\u03B9\u03B8\u03BC\u03B9\u03B1\u03BA\u03AC \u03A4\u03C3\u03B5\u03C1\u03C4\u03C2, \u03C3\u03C4\u03B1 \u0391\u03B3\u03B3\u03BB\u03B9\u03BA\u03AC: Church numerals) \u03B5\u03AF\u03BD\u03B1\u03B9 \u03B1\u03BD\u03B1\u03C0\u03B1\u03C1\u03B1\u03C3\u03C4\u03AC\u03C3\u03B5\u03B9\u03C2 \u03C4\u03C9\u03BD \u03C6\u03C5\u03C3\u03B9\u03BA\u03CE\u03BD \u03B1\u03C1\u03B9\u03B8\u03BC\u03CE\u03BD \u03C7\u03C1\u03B7\u03C3\u03B9\u03BC\u03BF\u03C0\u03BF\u03B9\u03CE\u03BD\u03C4\u03B1\u03C2 \u03BB\u03AC\u03BC\u03B4\u03B1 \u03C3\u03C5\u03BC\u03B2\u03BF\u03BB\u03B9\u03C3\u03BC\u03BF\u03CD\u03C2. \u039F\u03B9 \u03B1\u03BD\u03B1\u03C0\u03B1\u03C1\u03B1\u03C3\u03C4\u03AC\u03C3\u03B5\u03B9\u03C2 \u03B1\u03C5\u03C4\u03AD\u03C2 \u03AD\u03C7\u03BF\u03C5\u03BD \u03C0\u03AC\u03C1\u03B5\u03B9 \u03B1\u03C0\u03CC \u03C4\u03BF \u03CC\u03BD\u03BF\u03BC\u03B1 \u03C4\u03BF\u03C5 \u0391\u03BB\u03CC\u03BD\u03B6\u03BF \u03A4\u03C3\u03B5\u03C1\u03C4\u03C2 \u03BF \u03BF\u03C0\u03BF\u03AF\u03BF\u03C2 \u03C0\u03C1\u03CE\u03C4\u03B7 \u03C6\u03BF\u03C1\u03AC \u03BA\u03C9\u03B4\u03B9\u03BA\u03BF\u03C0\u03BF\u03AF\u03B7\u03C3\u03B5 \u03B4\u03B5\u03B4\u03BF\u03BC\u03AD\u03BD\u03B1 \u03BC\u03B5 \u03B1\u03C5\u03C4\u03AE \u03C4\u03B7 \u03BC\u03BF\u03C1\u03C6\u03AE (\u03C7\u03C1\u03B7\u03C3\u03B9\u03BC\u03BF\u03C0\u03BF\u03B9\u03CE\u03BD\u03C4\u03B1\u03C2 \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03CC). \u039F\u03B9 \u03CC\u03C1\u03BF\u03B9 \u03C3\u03C5\u03BD\u03AE\u03B8\u03C9\u03C2 \u03B8\u03B5\u03C9\u03C1\u03BF\u03CD\u03BD\u03C4\u03B1\u03B9 \u03C0\u03C1\u03C9\u03C4\u03BF\u03B3\u03B5\u03BD\u03B5\u03AF\u03C2 (\u0391\u03B3\u03B3\u03BB\u03B9\u03BA\u03AC: primitive) \u03C3\u03B5 \u03B4\u03B9\u03B1\u03C6\u03BF\u03C1\u03B5\u03C4\u03B9\u03BA\u03AE \u03B1\u03BD\u03B1\u03C0\u03B1\u03C1\u03AC\u03C3\u03C4\u03B1\u03C3\u03B7 (\u03CC\u03C0\u03C9\u03C2 \u03B1\u03BA\u03AD\u03C1\u03B1\u03B9\u03BF\u03B9, \u03BB\u03BF\u03B3\u03B9\u03BA\u03BF\u03AF \u03C4\u03CD\u03C0\u03BF\u03B9, \u03B6\u03B5\u03CD\u03B3\u03B7 \u03AE \u03BB\u03AF\u03C3\u03C4\u03B5\u03C2) \u03BA\u03B1\u03B9 \u03B1\u03BD\u03C4\u03B9\u03C3\u03C4\u03BF\u03B9\u03C7\u03AF\u03B6\u03BF\u03BD\u03C4\u03B1\u03B9 \u03C3\u03B5 \u03C3\u03C5\u03BD\u03B1\u03C1\u03C4\u03AE\u03C3\u03B5\u03B9\u03C2 \u03B1\u03BD\u03CE\u03C4\u03B5\u03C1\u03BF\u03C5 \u03B2\u03B1\u03B8\u03BC\u03BF\u03CD (\u0391\u03B3\u03B3\u03BB\u03B9\u03BA\u03AC: high order functions) \u03BA\u03AC\u03C4\u03C9 \u03B1\u03C0\u03CC \u03C4\u03B7\u03BD \u03BA\u03C9\u03B4\u03B9\u03BA\u03BF\u03C0\u03BF\u03AF\u03B7\u03C3\u03B7 \u03A4\u03C3\u03B5\u03C1\u03C4\u03C2. \u03A3\u03CD\u03BC\u03C6\u03C9\u03BD\u03B1 \u03BC\u03B5 \u03C4\u03B7\u03BD \u03B8\u03AD\u03C3\u03B7 \u03A4\u03C3\u03B5\u03C1\u03C4\u03C2-\u03A4\u03BF\u03CD\u03C1\u03BD\u03B9\u03BD\u03B3\u03BA \u03B1\u03C0\u03BF\u03B4\u03B5\u03B9\u03BA\u03BD\u03CD\u03B5\u03C4\u03B1\u03B9 \u03CC\u03C4\u03B9 \u03BA\u03AC\u03B8\u03B5 \u03C5\u03C0\u03BF\u03BB\u03BF\u03B3\u03AF\u03C3\u03B9\u03BC\u03BF\u03C2 \u03C4\u03B5\u03BB\u03B5\u03C3\u03C4\u03AE\u03C2 (\u03BA\u03B1\u03B9 \u03BF\u03B9 \u03C0\u03B1\u03C1\u03AC\u03BC\u03B5\u03C4\u03C1\u03BF\u03AF \u03C4\u03BF\u03C5) \u03BC\u03C0\u03BF\u03C1\u03BF\u03CD\u03BD \u03BD\u03B1 \u03B1\u03BD\u03B1\u03C0\u03B1\u03C1\u03B1\u03C3\u03C4\u03B1\u03B8\u03BF\u03CD\u03BD \u03BC\u03B5 \u03C4\u03B7\u03BD \u03BA\u03C9\u03B4\u03B9\u03BA\u03BF\u03C0\u03BF\u03AF\u03B7\u03C3\u03B7 \u03C4\u03BF\u03C5 \u03A4\u03C3\u03B5\u03C1\u03C4\u03C2. \u03A3\u03C4\u03BF\u03BD \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03CC \u03C7\u03C9\u03C1\u03AF\u03C2 \u03C4\u03CD\u03C0\u03BF\u03C5\u03C2 \u03BF \u03BC\u03CC\u03BD\u03BF\u03C2 \u03C0\u03C1\u03C9\u03C4\u03BF\u03B3\u03B5\u03BD\u03AE\u03C2 \u03C4\u03CD\u03C0\u03BF\u03C2 \u03B5\u03AF\u03BD\u03B1\u03B9 \u03B7 \u03C3\u03C5\u03BD\u03AC\u03C1\u03C4\u03B7\u03C3\u03B7."@el . "December 2019"@en . . . . . "1122831184"^^ . . . "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."@en . . . . . "March 2022"@en . . "Church-Kodierung"@de . . . "Church encoding"@en . . . . "Codifica\u00E7\u00E3o de Church"@pt . . . . . . . . . "In informatica, un booleano di Church \u00E8 una funzione concettuale che prende in considerazione due parametri di valutazione lazy (come i blocchi o i lambda) e valuta o l'uno o l'altro. Il concetto prende il nome da Alonzo Church, inventore del lambda calcolo. Ci sono solo due booleani di Church: vero e falso. Alcuni linguaggi di programmazione li usano come modello di implementazione per l'aritmetica booleana: esempi ne sono Smalltalk e Pico. Definizione formale nel lambda calcolo: \n* vero=\u03BBab.a \n* falso=\u03BBab.b"@it . "\u0412 \u043C\u0430\u0442\u0435\u043C\u0430\u0442\u0438\u043A\u0435 \u043A\u043E\u0434\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435 \u0427\u0451\u0440\u0447\u0430 \u043E\u0437\u043D\u0430\u0447\u0430\u0435\u0442 \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u0435 (\u0438\u043B\u0438 \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u0443 \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u044F) \u0434\u0430\u043D\u043D\u044B\u0445 \u0438 \u043E\u043F\u0435\u0440\u0430\u0442\u043E\u0440\u043E\u0432 \u0432 \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u0435 \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u044F. \u041D\u0435\u043E\u0431\u0445\u043E\u0434\u0438\u043C\u043E\u0441\u0442\u044C \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u044B \u0432\u044B\u0437\u0432\u0430\u043D\u0430 \u0442\u0435\u043C, \u0447\u0442\u043E \u0432 \u0447\u0438\u0441\u0442\u043E\u043C \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0438 \u0441\u0440\u0435\u0434\u0438 \u0442\u0435\u0440\u043C\u043E\u0432 \u043F\u0440\u0438\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044E\u0442 \u0442\u043E\u043B\u044C\u043A\u043E \u043F\u0435\u0440\u0435\u043C\u0435\u043D\u043D\u044B\u0435 \u0438 \u043E\u0442\u0441\u0443\u0442\u0441\u0442\u0432\u0443\u044E\u0442 \u043A\u043E\u043D\u0441\u0442\u0430\u043D\u0442\u044B. \u0414\u043B\u044F \u0442\u043E\u0433\u043E, \u0447\u0442\u043E\u0431\u044B \u043F\u043E\u043B\u0443\u0447\u0438\u0442\u044C \u043E\u0431\u044A\u0435\u043A\u0442\u044B, \u0432\u0435\u0434\u0443\u0449\u0438\u0435 \u0441\u0435\u0431\u044F \u0442\u0430\u043A\u0438\u043C \u0436\u0435 \u043E\u0431\u0440\u0430\u0437\u043E\u043C \u043A\u0430\u043A \u0438 \u0447\u0438\u0441\u043B\u0430, \u043F\u0440\u0438\u043C\u0435\u043D\u044F\u0435\u0442\u0441\u044F \u043A\u043E\u0434\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435 \u0427\u0451\u0440\u0447\u0430. \u0421\u0430\u043C\u0430 \u043F\u0440\u043E\u0446\u0435\u0434\u0443\u0440\u0430 \u043D\u0430\u0437\u0432\u0430\u043D\u0430 \u0432 \u0447\u0435\u0441\u0442\u044C \u0410\u043B\u043E\u043D\u0437\u043E \u0427\u0451\u0440\u0447\u0430, \u0440\u0430\u0437\u0440\u0430\u0431\u043E\u0442\u0430\u0432\u0448\u0435\u0433\u043E \u043B\u044F\u043C\u0431\u0434\u0430-\u0438\u0441\u0447\u0438\u0441\u043B\u0435\u043D\u0438\u0435 \u0438 \u0432\u043F\u0435\u0440\u0432\u044B\u0435 \u043F\u0440\u0438\u043C\u0435\u043D\u0438\u0432\u0448\u0435\u0433\u043E \u044D\u0442\u043E\u0442 \u043C\u0435\u0442\u043E\u0434 \u043A\u043E\u0434\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u0434\u0430\u043D\u043D\u044B\u0445. \u041F\u043E \u0430\u043D\u0430\u043B\u043E\u0433\u0438\u0438 \u0441 \u0447\u0438\u0441\u043B\u0430\u043C\u0438, \u043A\u043E\u0434\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435 \u0427\u0451\u0440\u0447\u0430 \u043C\u043E\u0436\u0435\u0442 \u0431\u044B\u0442\u044C \u043F\u0440\u0438\u043C\u0435\u043D\u0435\u043D\u043E \u0438 \u0434\u043B\u044F \u043F\u0440\u0435\u0434\u0441\u0442\u0430\u0432\u043B\u0435\u043D\u0438\u044F \u043E\u0431\u044A\u0435\u043A\u0442\u043E\u0432 \u0434\u0440\u0443\u0433\u0438\u0445 \u0442\u0438\u043F\u043E\u0432, \u0432\u0435\u0434\u0443\u0449\u0438\u0445 \u0441\u0435\u0431\u044F \u043A\u0430\u043A \u043A\u043E\u043D\u0441\u0442\u0430\u043D\u0442\u044B."@ru . . "Booleano di Church"@it . "\u90B1\u5947\u7F16\u7801\u662F\u628A\u6570\u636E\u548C\u8FD0\u7B97\u7B26\u5D4C\u5165\u5230lambda\u6F14\u7B97\u5185\u7684\u4E00\u79CD\u65B9\u5F0F\uFF0C\u6700\u5E38\u89C1\u7684\u5F62\u5F0F\u5373\u90B1\u5947\u6570\uFF0C\u5B83\u4F7F\u7528lambda\u7B26\u53F7\u8868\u793A\u81EA\u7136\u6570\u3002\u65B9\u6CD5\u5F97\u540D\u4E8E\u963F\u9686\u4F50\u00B7\u90B1\u5947\uFF0C\u4ED6\u9996\u5148\u4EE5\u8FD9\u79CD\u65B9\u6CD5\u628A\u6570\u636E\u7F16\u7801\u5230lambda\u6F14\u7B97\u4E2D\u3002 \u900F\u904E\u90B1\u5947\u7DE8\u78BC\uFF0C\u5728\u5176\u4ED6\u7B26\u53F7\u7CFB\u7EDF\u4E2D\u901A\u5E38\u88AB\u8BA4\u5B9A\u4E3A\u57FA\u672C\u7684\u9879\uFF08\u6BD4\u5982\u6574\u6570\u3001\u5E03\u5C14\u503C\u3001\u6709\u5E8F\u5BF9\u3001\u5217\u8868\u548Ctagged unions\uFF09\u90FD\u6703\u88AB\u6620\u5C04\u5230\u9AD8\u9636\u51FD\u6570\u3002\u5728\u7121\u578B\u5225lambda\u6F14\u7B97\uFF0C\u51FD\u6578\u662F\u552F\u4E00\u7684\u539F\u59CB\u578B\u5225\u3002 \u90B1\u5947\u7DE8\u78BC\u672C\u8EAB\u4E26\u975E\u7528\u4F86\u5BE6\u8E10\u539F\u59CB\u578B\u5225\uFF0C\u800C\u662F\u900F\u904E\u5B83\u4F86\u5C55\u73FE\u6211\u5011\u4E0D\u9808\u984D\u5916\u539F\u59CB\u578B\u5225\u5373\u53EF\u8868\u9054\u8A08\u7B97\u3002 \u5F88\u591A\u5B66\u6570\u5B66\u7684\u5B66\u751F\u719F\u6089\u53EF\u8BA1\u7B97\u51FD\u6570\u96C6\u5408\u7684\u54E5\u5FB7\u5C14\u7F16\u53F7\uFF1B\u90B1\u5947\u7F16\u7801\u662F\u5B9A\u4E49\u5728lambda\u62BD\u8C61\u800C\u4E0D\u662F\u81EA\u7136\u6570\u4E0A\u7684\u7B49\u4EF7\u8FD0\u7B97\u3002"@zh . . "Liczby naturalne Churcha"@pl . . "Unter Church-Kodierung versteht man die Einbettung von Daten und Operatoren in den Lambda-Kalk\u00FCl. Die bekannteste Form sind die Church-Numerale, welche die nat\u00FCrlichen Zahlen repr\u00E4sentieren. Benannt sind sie nach Alonzo Church, der Daten als Erster auf diese Weise modellierte."@de . . . . . . . . . . . . . . . . . "\u03A3\u03C4\u03B1 \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03AC \u03B7 \u03BA\u03C9\u03B4\u03B9\u03BA\u03BF\u03C0\u03BF\u03AF\u03B7\u03C3\u03B7 \u03A4\u03C3\u03B5\u03C1\u03C4\u03C2 (\u0391\u03B3\u03B3\u03BB\u03B9\u03BA\u03AC: Church encoding) \u03B5\u03AF\u03BD\u03B1\u03B9 \u03AD\u03BD\u03B1 \u03BC\u03AD\u03C3\u03BF \u03B1\u03BD\u03B1\u03C0\u03B1\u03C1\u03AC\u03C3\u03C4\u03B1\u03C3\u03B7\u03C2 \u03B4\u03B5\u03B4\u03BF\u03BC\u03AD\u03BD\u03C9\u03BD \u03BA\u03B1\u03B9 \u03C4\u03B5\u03BB\u03B5\u03C3\u03C4\u03CE\u03BD \u03BC\u03B5 \u03BB\u03AC\u03BC\u03B4\u03B1-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03CC (\u03C3\u03C5\u03BC\u03B2\u03BF\u03BB\u03AF\u03B6\u03B5\u03C4\u03B1\u03B9 \u03C9\u03C2 \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03CC\u03C2 \u03AE \u03C3\u03C4\u03B1 \u03B1\u03B3\u03B3\u03BB\u03B9\u03BA\u03AC: \u03BB-calculus). \u03A4\u03B1 \u03B4\u03B5\u03B4\u03BF\u03BC\u03AD\u03BD\u03B1 \u03BA\u03B1\u03B9 \u03BF\u03B9 \u03C4\u03B5\u03BB\u03B5\u03C3\u03C4\u03AD\u03C2 \u03B4\u03B7\u03BC\u03B9\u03BF\u03C5\u03C1\u03B3\u03BF\u03CD\u03BD \u03BC\u03B9\u03B1 \u03BC\u03B1\u03B8\u03B7\u03BC\u03B1\u03C4\u03B9\u03BA\u03AE \u03B4\u03BF\u03BC\u03AE \u03B7 \u03BF\u03C0\u03BF\u03AF\u03B1 \u03B5\u03BD\u03C3\u03C9\u03BC\u03B1\u03C4\u03CE\u03BD\u03B5\u03C4\u03B1\u03B9 \u03C3\u03C4\u03BF\u03BD \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03CC. \u03A4\u03B1 \u03B1\u03C1\u03B9\u03B8\u03BC\u03BF\u03B5\u03B9\u03B4\u03AE \u03A4\u03C3\u03B5\u03C1\u03C4\u03C2 (\u03AE \u03BA\u03B1\u03B9 \u03B1\u03C1\u03B9\u03B8\u03BC\u03B9\u03B1\u03BA\u03AC \u03A4\u03C3\u03B5\u03C1\u03C4\u03C2, \u03C3\u03C4\u03B1 \u0391\u03B3\u03B3\u03BB\u03B9\u03BA\u03AC: Church numerals) \u03B5\u03AF\u03BD\u03B1\u03B9 \u03B1\u03BD\u03B1\u03C0\u03B1\u03C1\u03B1\u03C3\u03C4\u03AC\u03C3\u03B5\u03B9\u03C2 \u03C4\u03C9\u03BD \u03C6\u03C5\u03C3\u03B9\u03BA\u03CE\u03BD \u03B1\u03C1\u03B9\u03B8\u03BC\u03CE\u03BD \u03C7\u03C1\u03B7\u03C3\u03B9\u03BC\u03BF\u03C0\u03BF\u03B9\u03CE\u03BD\u03C4\u03B1\u03C2 \u03BB\u03AC\u03BC\u03B4\u03B1 \u03C3\u03C5\u03BC\u03B2\u03BF\u03BB\u03B9\u03C3\u03BC\u03BF\u03CD\u03C2. \u039F\u03B9 \u03B1\u03BD\u03B1\u03C0\u03B1\u03C1\u03B1\u03C3\u03C4\u03AC\u03C3\u03B5\u03B9\u03C2 \u03B1\u03C5\u03C4\u03AD\u03C2 \u03AD\u03C7\u03BF\u03C5\u03BD \u03C0\u03AC\u03C1\u03B5\u03B9 \u03B1\u03C0\u03CC \u03C4\u03BF \u03CC\u03BD\u03BF\u03BC\u03B1 \u03C4\u03BF\u03C5 \u0391\u03BB\u03CC\u03BD\u03B6\u03BF \u03A4\u03C3\u03B5\u03C1\u03C4\u03C2 \u03BF \u03BF\u03C0\u03BF\u03AF\u03BF\u03C2 \u03C0\u03C1\u03CE\u03C4\u03B7 \u03C6\u03BF\u03C1\u03AC \u03BA\u03C9\u03B4\u03B9\u03BA\u03BF\u03C0\u03BF\u03AF\u03B7\u03C3\u03B5 \u03B4\u03B5\u03B4\u03BF\u03BC\u03AD\u03BD\u03B1 \u03BC\u03B5 \u03B1\u03C5\u03C4\u03AE \u03C4\u03B7 \u03BC\u03BF\u03C1\u03C6\u03AE (\u03C7\u03C1\u03B7\u03C3\u03B9\u03BC\u03BF\u03C0\u03BF\u03B9\u03CE\u03BD\u03C4\u03B1\u03C2 \u03BB-\u03BB\u03BF\u03B3\u03B9\u03C3\u03BC\u03CC)."@el . . "\u90B1\u5947\u6570"@zh . . "\u041A\u043E\u0434\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u0435 \u0427\u0451\u0440\u0447\u0430"@ru . "In informatica, un booleano di Church \u00E8 una funzione concettuale che prende in considerazione due parametri di valutazione lazy (come i blocchi o i lambda) e valuta o l'uno o l'altro. Il concetto prende il nome da Alonzo Church, inventore del lambda calcolo. Ci sono solo due booleani di Church: vero e falso. Alcuni linguaggi di programmazione li usano come modello di implementazione per l'aritmetica booleana: esempi ne sono Smalltalk e Pico. Definizione formale nel lambda calcolo: \n* vero=\u03BBab.a \n* falso=\u03BBab.b"@it .