邱奇数 邱奇编码是把数据和运算符嵌入到lambda演算内的一种方式最常见的形式即邱奇数它使用lambda符号表示自然数方法得名于阿隆佐邱奇他首先以这种方法把数据编码到lambda演算中 透過邱奇編碼在其他符号系统中通常被认定为基本的项比如整数布尔值有序对列表和tagged unions都會被映射到高阶函数在無型別lambda演算函數是唯一的原始型別 邱奇編碼本身並非用來實踐原始型別而是透過它來展現我們不須額外原始型別即可表達計算 很多学数学的学生熟悉可计算函数集合的哥德尔编号邱奇编码是定义在lambda抽象而不是自然数上的等价运算