邱奇

✍ dations ◷ 2025-07-18 09:46:09 #邱奇

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

相关

LL00-L08 皮肤和皮下组织的感染L10-L14 大疱性疾患L20-L30 皮炎和湿疹L40-L45 丘疹鳞屑性疾患L50-L54 荨麻疹和红斑L55-L59 与辐射有关的皮肤和皮下组织疾患L60-L75 皮肤附件
荧光淬灭荧光淬灭（英语：Quenching）猝灭是当常温物质经射线照射（通常为紫外线或X射线）所发出会萤光强度降低的任何过程。淬灭受压力和温度的影响很大，许多过程都可导致淬灭，例如激发态反应，能
脐带绕颈脐带绕颈（nuchal cord）是指胎儿在母体子宫内时，发生脐带缠绕在胎儿颈部的情形。脐带绕颈的胎儿出生后，可能很快就会出现脸色发黑、面部瘀青及眼白布有血丝（英语：subconjunctival b
慢性阻塞性肺疾病慢性阻塞性肺疾病（英语：Chronic obstructive pulmonary disease，缩写为COPD），常简称为慢阻肺。是一种以持续性的气流受限为特征的阻塞性肺疾病（英语：Obstructive lung disease）。其
覆盖噬菌体科覆盖噬菌体属 Corticovirus覆盖噬菌体科（Corticoviridae），Cortico-源自拉丁文，有厚皮之意。主要的宿主为细菌。覆盖噬菌体属（Corticovirus）代表种：
J. Org. Chem.《有机化学期刊》（the Journal of Organic Chemistry，常缩写为 J. Org. Chem. 或JOC）是由美国化学会发行的有关有机化学的学术期刊。该期刊的影响因子为4.721（2014年）。
戴克里先戴克里先（244年－312年，拉丁语：Gaius Aurelius Valerius Diocletianus），原名为狄奥克莱斯（Diocles），罗马帝国皇帝，于284年11月20日至305年5月1日在位。其结束罗马帝国的三世纪危机（235年
美容美容指为了追求“美”而对于身体所进行的物理性之修缮巧饰之行为，通常指容貌上的。美容有三个定义：本条目指第一及第二项。我们现在每天出门前必做的事情——洗脸，是文字记载的
形式主义形式主义（英语：formalism），指在艺术、文学、与哲学上，对形式而非内容的着重。有形式主义行为的人，被称为形式主义者。没有无形式的内容，也没有无内容的形式。宗教的形式主义，代表对
情态动词情态动词(modal verb)是一个语法学术语，用来表达可能、意愿、必要的动词。上述定义是从抽象的语义角度出发的。事实上在具体语言中的界定往往还要符合一定的句法形式或形态标