邱奇

✍ dations ◷ 2025-10-29 05:52:54 #邱奇

阿隆佐·邱奇（Alonzo Church，1903年6月14日－1995年8月11日）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。数理逻辑介绍，Alonzo Church, Introduction to Mathematical Logic (ISBN 0-691-02906-7)

相关

嗜热细菌嗜热生物，或者多数可被称作嗜热菌，是在相对高的温度下中生存的生物，温度范围在45和122 °C（113和252 °F），是嗜极生物的一类。很多嗜热生物是古细菌。在地球上，嗜热生物可以在很多
身高身高，又称身长，是指一个人从头顶到脚底的身体长度。成年人的身高有一个标准范围，并且在同民族同性别内部遵循正态分布。身高的标准范围可以用正态分布中的标准差（σ）定义的z-scor
学者症候群学者症候群（英语：Savant syndrome）是指在某种艺术或学术上超乎常人的能力。具有这种能力的人，其天赋有多种不同形式，有演奏乐器、绘画、记忆、计算及日历运算能力。10%的自闭症儿
不孕症不孕（英语：Infertility）又称不育，是指人类、动物或植物无法透过有性生殖繁衍后代的情形。对于大部分健康的成熟动植物个体而言，会在生命中的特定时期内有生育能力，不过真社会性物
斐济面积以下资讯是以2016年估计国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计人类发展指数以下资讯是以2018年估计斐
美国联邦存款保险公司美国联邦存款保险公司（英文：Federal Deposit Insurance Corporation，缩写：FDIC），是一个在大萧条时期由美国联邦政府创办、为商业银行储蓄客户提供存款保险的公司。目前为每一银行
戏剧古希腊戏剧是指大致繁荣于公元前6世纪末至前4世纪初之间的古希腊世界的戏剧。当时古希腊的政治和军事中心雅典城同时也是古希腊戏剧的中心。雅典的悲剧和喜剧也包括在全世界
代谢物组学代谢物组学（英语：metabolomics）是涉及代谢产物的化学过程的科学研究。具体而言，代谢物组学是“对特定的细胞过程遗留下的特殊化学指纹的系统研究”，对它们的小分子代谢产物的整体
周边神经病变周边神经病变（英语：Peripheral neuropathy，缩写PN）俗称神经系统疾病，是指神经系统的疾病或异常状态下的神经系统。虽然在大众文化中神经病常常是一种代替精神病的说法，但神经病实
人事管理人事管理，人力资源管理发展的第一阶段（有时也作为广义的“人力资源管理”的代称），限于纯人事管理——工资和薪水的计算、人员档案管理。人力只是作为一种手段、而非目的，是通过企