邱奇编码是把数据和运算符嵌入到lambda演算内的一种方式，最常见的形式即邱奇数，它使用lambda符号表示自然数。方法得名于阿隆佐·邱奇，他首先以这种方法把数据编码到lambda演算中。 透過邱奇編碼，在其他符号系统中通常被认定为基本的项（比如整数、布尔值、有序对、列表和tagged...

\alpha } ），则 n {\displaystyle n} 的邱奇数是接受函数f作为参数并返回f的n次幂的函数。就是说，邱奇数是一个高阶函数 -- 它接受一个单一参数函数f，并返回另一个单一参数函数。 本文用的系统F版本是显式类型的，或邱奇风格的演算。包含在λ-项内的类型信息使类型检查直接了当。Joe...

{\displaystyle (o\to o)\to (o\to o)} 的项(邱奇数)来编码自然数。Schwichtenberg 在 1976 年证明在 λ → {\displaystyle \lambda ^{\to }} 中扩展的多项式被准确的表示为在邱奇数上的函数；这些粗略的是在条件运算下闭合的多项式。 λ → {\displaystyle...

add4 : int -> int = <fun> # add4 98;; - : int = 102 下列代码定义自然数的邱奇编码，具有后继（succ）和加法（add）。邱奇数n是接受一个函数f和一个值x的一个高阶函数，它应用f到x精确的n次： let zero f x = x let succ n...

称为奇数。 4.4 当奇数 d i {\displaystyle d_{i}} =1时，乘率 x i {\displaystyle x_{i}} =1。 当奇数 d i {\displaystyle d_{i}} ≠1时，从定母 m i ′ {\displaystyle m'_{i}} 和奇数 d...

邱奇数，下面是它们的定义： 0 = λf.λx.x 1 = λf.λx.f x 2 = λf.λx.f (f x) 3 = λf.λx.f (f (f x)) 以此类推。直观地说，lambda演算中的数字n就是一个把函数f作为参数并以f的n次幂为返回值的函数。换句话说，邱奇整数是一个高阶函数...

如果我們將此表的"非"指派為二，"所有"指派為一，這樣可以建立另一種哥德尔編碼，但是每個字符序列的哥德尔数仍舊是唯一的。 邱奇数 Gödel, Kurt, "über formal unentscheidbare Sätze der Principia Mathematica...

纪后，举办规律经常更改。2003年--2007年改为奇数年每两年举办一届。自2008年起，又改为每年举办一届。2015年欧洲乒乓球联盟宣布，自2016年起，欧洲乒乓球锦标赛将在偶数年举办个人项目（男子单打和双打、女子单打和双打以及混合双打），在奇数年只举办团体项目。...

一種特殊的一進位系統TeX的軟體版本號上面使用，其版本號碼是一部份圆周率的十進位表示 – 版本號碼是位數的個數。現在的版本號是3.1415926，而這個數字會漸漸地接近π。 邱奇數 皮亞諾公理 Hext, Jan, Programming Structures: Machines and Programs, Programming...

言的要求，到f的参数将接着展开，生成f(f(Y(f)))。这个过程永远重复下去（直到系统耗尽内存），而不会实际上求值f的主体。 考虑阶乘函数（使用邱奇数）。平常的递归数学等式 fact(n) = if n=0 then 1 else n * fact(n-1) 可以用lambda演算把这个递归的一个“单一步骤”表达为...

奇数位置上的数字，得到的子数列便成了完全不随机的“000000……”。冯·米泽斯未曾就这个问题正式给出一个选取规则上的解释。1940年，美国数学家阿隆佐·邱奇将这个规则定义为“任何已经读取该无穷数列的前N项，并决定是否读取其第N+1项的递归函数。”邱...