邱奇

✍ dations ◷ 2025-05-15 14:56:46 #邱奇

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

相关

治愈治愈（英语：Cure）是指终止病况（英语：Medical condition）的物质或程序，例如药物、外科手术、生活方式改变、或有助于终结痛苦的哲学思维方式；或是指治疗中或已康复的状态。病况可以是
CD41CDH, 1CDI, 1CDJ, 1CDU, 1CDY, 1G9M, 1G9N, 1GC1, 1JL4, 1Q68, 1RZJ, 1RZK, 1WBR, 1WIO, 1WIP, 1WIQ, 2B4C, 2JKR, 2JKT, 2KLU, 2NXY, 2NXZ, 2NY0, 2NY1, 2NY2, 2NY3, 2NY4
环利尿剂环利尿剂（英语：Loop diuretics），又称袢利尿剂，是利尿剂的一类。此类药物作用在肾脏中亨利氏环（英语：Loop of Henle）的上行支（thick ascending limb, TAL）。
伞菌纲伞菌纲（学名：Agaricomycetes）为真菌界担子菌门的一纲，除了蕈类，也包含了被分类在较早期旧式的分类腹菌纲和同担子菌亚纲中的多个物种。本分类粗略的将同担子菌亚纲（由Hibbett & Th
神经细胞神经元（英语：neuron），又名神经原或神经细胞（英语：nerve cell），是神经系统的结构与功能单位之一。神经元能感知环境的变化，再将信息传递给其他的神经元，并指令集体做出反应。神经元占了
蓄电池br /smallspan style=font-weight:normal;/span蓄电池（英语：Storage battery），俗称电瓶，又称可充电电池（英语：Rechargeable battery），泛指所有在电量用到一定程度之后可以被再次充电、反复使用的化学能电池的总称。之所以可以充电
肺容量肺容量是指呼吸周期中不同阶段肺中通过的气体容积。通过测定肺容积指标可判定患者是否患有各种呼吸道疾病。
神庙希腊神庙（古希腊语：ὁ ναός，ho naós，“居所”；语义有别于拉丁文templum以及英文“temple”（“神庙、寺庙、庙宇”），也名为希腊神殿。在古希腊宗教中的希腊圣所内是为安座众神神
VOT发声起始时间（英语：Voice onset time，简称VOT），或译为嗓音起始时间、浊音起始时间、声带震动起始时间、浊声初起时、初浊。VOT的具体含义不完全与字面吻合，实际指某一辅音从除阻的
抽象释义在计算机科学中，抽象释义是基于在有序集合特别是格上的单调函数，计算机程序的语义的可靠逼近理论。它可以被看作对计算机程序的部分执行，获取关于它的语义信息(比如，控制结构、