邱奇

✍ dations ◷ 2025-11-18 21:00:23 #邱奇

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

相关

亨廷顿氏舞蹈病亨廷顿舞蹈症（Huntington's Disease, HD）是一种遗传性疾病，会导致脑细胞死亡。早期症状往往是情绪或智力方面的轻微问题，接着是不协调和不稳定的步伐（英语：Gait）。随着疾病的进展，身
乳腺炎乳腺炎（Mastitis）是发生在女性乳房或乳腺部位的炎症，常因喂哺母乳而引起。典型的症状为乳房红肿及疼痛，也常伴随发烧与全身不适。通常女性在开始哺乳的前几个月会比较容易罹患此
亚胺培南/西司他丁亚胺培南/西司他丁（Imipenem/cilastatin），是一种用于治疗各类严重感染的复方抗生素制剂。它由亚胺培南和西司他丁的组合制成，通过静脉注射或肌肉注射给药。临床应用其钠盐
中间宿主中间宿主（intermediate host或secondary host）是指寄生物的幼虫、童虫或于无性生殖阶段时用以寄生的物种。如需两个以上中间宿主，则依顺序称第一、第二中间宿主等。这类宿主也
权利法案美国权利法案是美国宪法前十条修正案的统称。这些修正案的提出是为了缓解那些反对批准宪法的反联邦党人（英语：Anti-Federalists）的担忧，其中保障了多项个人自由，限制了政府的司法
亚马逊亚马逊公司（英语：Amazon.com, Inc.）是一家总部位于美国西雅图的跨国电子商务企业，业务起始于线上书店，不久之后商品走向多元化。目前是全球最大的互联网线上零售商之一，也是美国《
诊所诊所，又名诊疗所、医务所，是规模比医院小的医疗机构，通常只设有门诊服务和药房，有如健康院。诊所有政府开设的，也有私人营办的，还有一些诊所由慈善机构开办。诊所也有分提供一般医
前药前体药物（英语：prodrug），也称前药、药物前体、前驱药物等，是指经过生物体内转化后才具有药理作用的化合物。前体药物本身没有生物活性或活性很低，经过体内代谢后变为有活性的物质，
当归当归（学名：Angelica sinensis），属伞形科的一种植物。一般作为药用。多年生草本植物，高0.4～1米。茎直立，有纵直槽纹，无毛。二或三回三出式羽状复叶，小叶卵形，浅裂或有缺刻。开白色花，复
阳隧足海蛇尾，或阳燧足，是属于棘皮动物门的海蛇尾纲，是种类最多的一个纲，其下包括有220个属和2000个种。海蛇尾的结构与海星相似，但体盘相对较大，腕5个，盘与腕之间有明显交界，而后者腕与盘