邱奇

✍ dations ◷ 2025-04-24 21:04:55 #邱奇

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

相关

神经内科人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学神经内科（neurology）是医学的一个分支，专
二肽基肽酶-4抑制剂二肽基肽酶-4抑制剂（英语：Dipeptidyl peptidase-4 inhibitor），或称DPP-4 抑制剂或列汀类药物，是一种通过抑制二肽基肽酶-4来发挥作用的口服抗糖尿病药，用来治疗2型糖尿病。第一种
心悸心悸（英语：Palpitation）是一种可以感觉到自己的心脏跳动的不适现象，有时伴有眩晕和呼吸困难。心悸可在正常人的健康心脏中发生，因此常常被认为是一种正常现象。然而，它也有可能是
种群生态学种群生态学（英语：Population ecology）是生态学的一个子领域，处理物种种群的动态变化及其与自然环境的相互作用。种群生态学研究种群的种群规模（英语：population size）随时间和空间
州美国州份是指其主权与美国联邦政府共享的政治实体之一，在联邦内这样的实体共有五十个。由于各政治实体的主权与联邦政府共享，因此一个美国人的身份，可以同时是联邦的公民及其户
世界旅游组织世界旅游组织（英语：World Tourism Organization，缩写UNWTO）是联合国下15个专门机构之一，成立的宗旨是促进和发展旅游事业以利于经济发展，总部设在西班牙马德里，现任秘书长是祖拉布
Sc3d1 4s22，8，9，2蒸气压第一：633.1 kJ·mol−1 第二：1235.0 kJ·mol−1 第三：2388.6 kJ·mol−1 （主条目：钪的同位素钪（Scandium），其命名Scandium源自斯堪的纳维亚半岛的拉丁文名称Sc
马其顿阿吉德王朝陆军马其顿阿吉德王朝陆军，是古代马其顿王国阿吉德王朝的陆上武装力量，在马其顿腓力二世军事改革后首次在历史中展现出这股显赫的军事实力，并由他的儿子亚历山大大帝发扬光大，它被认
亨利·柏格森亨利·柏格森（法语：Henri Bergson，1859年10月18日－1941年1月4日），法国哲学家，以优美的文笔和具丰富吸引力的思想著称。1928年，获得1927年度的诺贝尔文学奖。1859年10月18日出生于巴
俗字陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧