阿隆佐·邱奇

✍ dations ◷ 2025-07-21 05:14:52 #1903年出生,1995年逝世,数学家,美国数学家,逻辑学家,计算机领域先驱者,洛杉矶加州大学教师,普林斯顿大学校友

阿隆佐·邱奇(Alonzo Church,1903年6月14日-1995年8月11日)是美国数学家,1936年发表可计算函数的第一份精确定义,对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年,曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。

解决算法问题包括构造一个能解决某一指定集及其他相关集的算法,如果该算法无法构建,则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破,邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。

数理逻辑介绍,Alonzo Church, (ISBN 0-691-02906-7)

相关

  • 固氮作用固氮作用(英语:Nitrogen fixation),简称固氮,指将空气中游离态的氮(氮气)转化为含氮化合物(如硝酸盐、氨、二氧化氮)的过程。可分为自然固氮以及人工固氮两种。自然固氮(Natural nitro
  • 白内障手术白内障手术(英语:Cataract surgery)是一种眼科手术,其目的是为了去除已经混浊的水晶体,并装入透明的人工晶体,以取代天然晶体的作用。白内障的可能原因包括水晶体随着年龄增长而退
  • 生化工程生化工程(英语:biochemical engineering),亦称生物技术工程(biotechnology engineering)或生物程序工程(bioprocess engineering)等,是化学工程的一门分支,主要致力于设计并建立包含生
  • 欧安组织欧洲安全与合作组织(简称欧安组织;英文:Organization for Security and Co-operation in Europe,缩写:OSCE)是世界上主要的国际组织之一,前身是1975年于冷战期间成立的“欧洲安全与
  • 河鲀毒素河鲀毒素(英文:Tetrodotoxin,缩写:TTX)是一种强力的神经毒素,目前并没有有效的解毒剂,它会和神经细胞的细胞膜上的快速钠离子通道结合,令神经中的动作电位受阻截。它的名字来自鲀形
  • 消防分队消防局,又称消防站、消拯局(消防拯救局),〈昔日俗称灭火局、救火队、水车馆〉,是一所放置消防设施及驻有消防员的建筑物。内里停放不同类型的消防车,作为救灾用途。部分地区的消
  • 态叠加原理在量子力学里,态叠加原理(superposition principle)表明,假若一个量子系统的量子态可以是几种不同量子态中的任意一种,则它们的归一化线性组合也可以是其量子态。称这线性组合为
  • 毒杀芬毒杀芬(英语:Toxaphene)是属于环境荷尔蒙的一种化合物,也是持久性有机污染物。联合国环境署提出了十二种可能会对生态系或人体影响的物质,而毒杀芬也被列为其中的一种,其致癌性分
  • 中国新华新闻电视网中国新华电视亚太台(CNC,前身呼号“中国新华电视中文台”),是由新华通讯社主办的24小时华语新闻频道,于2010年1月1日正式开播。中国新华新闻电视网英语电视台(CNC World)是由新华通
  • 佩塔卢马佩塔卢马(英语:Petaluma)是美国加利福尼亚州索诺玛县的一个城市,2010年人口普查后的人口是57,941,其中80.4%为白人,其他种族包括亚洲人、黑人和拉丁裔等。总面积为37.6平方公里,气