邱池整数

【邱池整数】基础信息( 英文,繁体)

词语
英文 Church integer
繁体 邱池整數

【邱池整数】是什么意思

指由λ演算发明者Alonzo Church所提出以函数方式表示的整数。在λ演算中无常数,而以邱池整数表示数目

一个已知邱池整数的转回函数可表示如下:

church n=c若n=0nbsp;nbsp;nbsp;nbsp;nbsp;nbsp;nbsp; cfx=x

否则nbsp;nbsp;nbsp;nbsp;nbsp;nbsp;nbsp; cfx=c`f(fx)而c`=church(n-1)。

另外nbsp;nbsp;nbsp;nbsp;nbsp;nbsp;nbsp; unchurch c=c(+1)0系将邱池整数换为一般整数的函数。

【邱池整数】相关的组词

【邱】组词

【池】组词

【整】组词

【数】组词

热门词语