邱奇编码是把数据和运算符嵌入到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项的递归函数。”邱...

通過否定後件，得出「如果Q是真，則P是真」。 Q → P {\displaystyle Q\rightarrow P} 例子1：對於大於2的整數，奇數是成為質數的必要條件。如果一個整數大於2且是質數，它必定是奇數。 例子2：年滿30歲是成為美國參議員的必要條件。如果他是參議員，他必定年滿30歲。...

U16籃球賽自2009年起，於奇數年舉辦，台灣自彼時便組中華台北U16男子籃球代表隊參賽。 2009 教練團：葉安展 林育正 鄭曉嵐何佳洛 其他球員：鍾維平 吳家駿 高柏宇 林揚軒 林任鴻 鄭騏寬 王人傑 楊興治 范士恩 溫立煌 2011 教練團：林正明 邱國達 許時清 陳奕丞 球員：吳宥達 劉人豪...

中国科学院院士的遴选标准为“在科学技术领域做出系统的、创造性的成就和重大贡献，热爱祖国，学风正派，具有中国国籍的研究员、教授或同等职称的学者、专家”。目前每两年（奇数年）增选一次，每次增选人数不超过60人。先后于1955年、1957年、1980年、1991年、1993年、1995年、1997年、1999年、200...

路、东西向线路和省道联络线，后两位为顺序号。 河南省级高速公路以标识符S加1位或2位数字顺序号组成，其中1和81-90表示省会放射线，11-69间的奇数表示北南纵线，10-70间的偶数表示东西横线，91-99则表示联络线或支线： 现行的河南省普通省道网由130条线路组成，包括4条省会放射线、46条北南纵线、38条东西横线和42条联络线。...

丙型海防艦是在“鹈来”级海防舰基础上设计，保留了“鹈来”级后置式六角形粗短烟囱的总体布局，为了节约成本而进一步简化结构。丙型没有舰名，以奇数编号来命名，因首舰编号为第一号，故又被称为“第一号型海防舰”，全舰编制136人，同型艦建造了56艘。 1947年6月28日，东京盟军总部举行日本军舰...

C))函數應用對應於肯定前件規則： MP：從A和A → B推出B。 公理AK和AS和規則MP對于直覺邏輯的蘊含片段是完備的。 函数式编程 组合子逻辑 B,C,K,W系统 邱奇數 S and K Combinators（页面存档备份，存于互联网档案馆） The SKI Combinator Calculus as a Universal...

辑，而非强于一阶逻辑。特别地，高阶逻辑的Henkin语义具有一阶逻辑的所有模型论性质，且从一阶逻辑继承了可靠、完备的证明系统。 高阶逻辑包括阿隆佐·邱奇的简单类型论的分支和直觉类型论的各种形式。Gérard Huet已经证明，三阶逻辑的类型论中，合一是不可判定问题，也就是说不会有算法可以决定二阶（遑论高阶）的任意方程是否有解。...

的系数。 楊輝三角形以正整數構成，數字左右对称，每行由1开始逐渐变大，然后变小，回到1。 楊輝三角形每一行的平方和在楊輝三角出現奇數次。 楊輝三角形第2的冪行所有數都是奇數，此為盧卡斯定理的特殊情況。 第 n {\displaystyle n} 行的数字个数为 n {\displaystyle n}...

{\displaystyle \{1,2\}-\{1,2\}=\varnothing } 若 U {\displaystyle U} 是整数集，则奇数的补集是偶数 给定集合 A {\displaystyle A} ， B {\displaystyle B} ，定义对称差运算 △ {\displaystyle...

数理逻辑和计算机科学尤其是理论计算机科学有许多重合之处，许多计算机科学的先驱者既是数学家、又是逻辑学家，如哥德尔、艾倫·圖靈、邱奇、克劳德·香农、斯蒂芬·科尔·克莱尼等。 计算机科学中的程序语言学、语义学的研究从模型论衍生而来，而程序验证中的模型检测则从模型论衍生而来。...

基隆與馬祖列島之間，自基隆港西二碼頭開往馬祖列島方向的班次，每月奇數日先駛往南竿島福澳港，再駛往東引島中柱港（即先馬後東航線），而每月偶數日則先駛往東引島中柱港，再駛往南竿島福澳港（即先東後馬航線）。於特定期間（多於旅遊旺季），每月奇數日往馬祖列島的班次，會先駛往東引島中柱港後，再駛往南竿島福澳港，...

類型論，數學、邏輯和電腦科學以下的一個分支，是研究不同類型系統及其表達形式的學科。某些類型系統適合用作數學基礎，取代數學家一般使用的集合論，其中最具影響力的有阿隆佐·邱奇的有類型λ演算和佩爾·馬丁-洛夫的直覺類型論。許多函式語言和電腦協助定理驗證（英语：Proof assistant）工具都建立在類型論的基礎上，如...

多年生草本，但作一年生或一年两季栽培。地下块茎呈圆、卵、椭圆等形，有芽眼，皮红、黄、白或紫色。地上茎呈棱形，有毛。奇数羽状复叶。聚伞花序顶生，花白、红或紫色。浆果（马铃薯果）呈球形，绿或紫褐色。种子肾形， 植株 葉 塊莖 芽 花 果实（马铃薯果）...

标识符+阿拉伯数字编号组成。其中，字母标识符采用汉语拼音“S”表示。数字编号规则如下： 纵向路线编号为两位数字，首位数字从“0”~“5”，末位数字为奇数，编号区间为“01”~“59”，由东向西升序编排。 横向路线编号为两位数字，首位数字从“0”~“5”，末位数字为偶数，编号区间为“02”~“58”，由北向南升序编排。...

转移原则（英语：Transfer principle） 真理谓词（英语：Truth predicate） 真值 型 超積 有效性 可计算性理论 邱奇数 邱奇-图灵论题 递归可枚举集合 可计算函数 递归集合 決定性問題 可决定性（英语：Decidability (logic)） 不可决定性 P NP...

转移原则（英语：Transfer principle） 真理谓词（英语：Truth predicate） 真值 型 超積 有效性 可计算性理论 邱奇数 邱奇-图灵论题 递归可枚举集合 可计算函数 递归集合 決定性問題 可决定性（英语：Decidability (logic)） 不可决定性 P NP...

转移原则（英语：Transfer principle） 真理谓词（英语：Truth predicate） 真值 型 超積 有效性 可计算性理论 邱奇数 邱奇-图灵论题 递归可枚举集合 可计算函数 递归集合 決定性問題 可决定性（英语：Decidability (logic)） 不可决定性 P NP...

转移原则（英语：Transfer principle） 真理谓词（英语：Truth predicate） 真值 型 超積 有效性 可计算性理论 邱奇数 邱奇-图灵论题 递归可枚举集合 可计算函数 递归集合 決定性問題 可决定性（英语：Decidability (logic)） 不可决定性 P NP...

转移原则（英语：Transfer principle） 真理谓词（英语：Truth predicate） 真值 型 超積 有效性 可计算性理论 邱奇数 邱奇-图灵论题 递归可枚举集合 可计算函数 递归集合 決定性問題 可决定性（英语：Decidability (logic)） 不可决定性 P NP...

转移原则（英语：Transfer principle） 真理谓词（英语：Truth predicate） 真值 型 超積 有效性 可计算性理论 邱奇数 邱奇-图灵论题 递归可枚举集合 可计算函数 递归集合 決定性問題 可决定性（英语：Decidability (logic)） 不可决定性 P NP...