【邱池整數】
英語翻譯：Churchinteger
【辭書名稱】資訊與通信術語辭典
指由λ演算發明者AlonzoChurch所提出以函數方式表示的整數。
在λ演算中無常數，而以邱池整數表示數目一個已知邱池整數的轉回函數可表示如下：churchn＝c若n＝0cfx＝x否則cfx＝c'f（fx）而c'＝church（n－1）。
另外unchurchc＝c（＋1）0係將邱池整數換為一般整數的函數。
轉自:http://edic.nict.gov.tw/cgi-bin/tudic/gsweb.cgi?o=ddictionary
| 歡迎光臨 【五術堪輿學苑】 (http://gw.wsky.ink/) | Powered by Discuz! X3.1 |