邱奇

✍ dations ◷ 2025-02-23 10:33:12 #邱奇

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

相关

内分泌疾病内分泌疾病是内分泌系统的疾病。与内分泌失调相关的医学分支称为内分泌学。从广义上讲，内分泌失调可分为三类：内分泌失调通常非常复杂，由于内分泌系统中涉及的反馈机制，可能有的
胃肠病学胃肠学（英语：Gastroenterology，又称为肠胃病学）是医学的一个分枝，专门研究消化系统（从口腔到肛门的消化道）及相关疾病。
小DNA病毒细小病毒科（英语：Parvoviridae），又称“小DNA病毒科”，是最小且最简单的DNA病毒，少部分此科的病毒有环境耐受性。在1960年代被发现会感染哺乳动物，可分成两类，一类可自己进行复制，另一
输血相关移植物抗宿主疾病输血相关移植物抗宿主疾病（TA-GvHD）是一种罕见的输血并发症，其原因为捐血者之T淋巴球诱发免疫反应而攻击受血者之淋巴组织。一般而言，捐血者之淋巴球会被受血者的免疫系统视为
雷迪帕韦雷迪帕韦（英语：Ledipasvir，亦作GS-5885）是吉利德科学（英语：Gilead Sciences）研发的治疗丙型肝炎的药物。在完成了Ⅲ期临床试验后，吉利德于2014年2月10日向美国联邦政府申请报批了固
胰岛素抵抗胰岛素抵抗（英语：insulin resistance），是指脂肪细胞、肌肉细胞和肝细胞对正常浓度的胰岛素产生反应不足的现象，亦即这些细胞需要更高的胰岛素浓度才能对胰岛素产生反应。在脂肪细
参议院多数党（53）少数党（47）议长：南希·裴洛西（民主党）多数党领袖（英语：Party leaders of the United States House of Representatives）：斯坦利·霍耶（民主党）少数党领袖（英语：Party leaders o
横膈在哺乳动物的解剖学中，横膈膜（英语：Thoracic diaphragm）是一层骨骼肌薄膜，延展及肋骨底部。横膈膜将胸腔与腹腔相分隔，并对呼吸执行重要功能。解剖学中的膈膜（英语：Diaphragm）也可以
毛蟹毛蟹可以指：
轻重音重读（stress）和重音（accent）在语言学中有时是接近同义的概念，皆指某音节在单字中或单字在句子中相对突显(prominent)的意思，不过在一些特别区分上，重音（accent）常常被应用在声音听觉