阿隆佐·邱奇

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

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

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

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

相关

细胞因子细胞因子（英语：cytokine，又称细胞介素、细胞激素、细胞素、细胞活素），是一组蛋白质及多肽，在生物中用作信号蛋白。这些类似激素或神经递质的蛋白用作细胞间沟通的信号。细胞因子多
布伦特兰夫人格罗·哈莱姆·布伦特兰（挪威语：Gro Harlem Brundtland，读音帮助·信息，1939年4月20日－），挪威政治家、外交家、医生，曾任挪威首相及世界卫生组织总干事。她被视为国际上的可持续
五大湖五大湖（英语：Great Lakes）是位于加拿大与美国交界处的5个大型淡水湖泊，按面积从大到小分别为：苏必利尔湖（Lake Superior）、休伦湖（Lake Huron）、密歇根湖（Lake Michigan）、伊利湖（Lake E
埃及第十九王朝第八第十埃及第十九王朝：公元前1293年-公元前1185年（大约持续了108年）埃及第十九王朝是古埃及历史上的一个王朝，其与第十八王朝和第二十王朝统称新王国时期，第十九王朝是新王国时
节组（拉丁语：Sectio 英语：Section）是一个植物学生物分类等级。处于属以下，种以上。如果存在亚属，则组低于亚属。如果存在系，则系在组之下。部分组又可以再分成亚组。组通常用来帮
西班牙国王这是一份西班牙君主的列表。严格来说，是现代定义下统一的西班牙的君主列表，此前在现今西班牙乃至葡萄牙领土上的君主国统治者，请参看下面的列表：上述各系王室，最终在亚拉冈国王费
氰醇羟腈（cyanohydrin），又称氰醇（cyanoalcohol），有机化合物的一类，是醛或酮分子中羰基发生氰化氢加成反应生成的化合物。羟腈水解可得α-羟基羧酸，羟腈脱水可得α,β-不饱和酸。羟腈为重
遥视透视（英语：clairvoyance）、灵视是一种超感官知觉。此能力能透过普通感官之外的管道，看到遥远的人、物体甚至事件，或是能“看透”不透明物，或是能感知到人类正常情况下收不到的能量
北京申办奥运会国际奥林匹克委员会第112次全体会议于2001年7月12日至16日在俄罗斯莫斯科召开，此次会议的主要议程包括投票产生2008年夏季奥林匹克运动会主办城市及选举第8任国际奥林匹克委
XXVI宪法正文I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII ∙