邱奇

✍ dations ◷ 2024-12-22 11:24:28 #邱奇

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

相关

体育锻炼体能锻炼，又称体能训练、体适能训练，泛指所有通过运动方式，来达到维持与发展适当体能、增进身体健康的身体活动。它的目标有许多种，包括：增强肌肉与循环系统、增进运动技能与身体
小檗属参见正文小檗属（学名：Berberis）植物大约有450-500种，为常绿或落叶灌木，一般为1-5米高，有刺，分布在欧洲、亚洲、非洲和美洲的温带和亚热带地区，和十大功劳属（Mahonia）的亲缘关系较近，有
除草剂除草剂又称杀草剂，是一类用来杀死特定植物的药剂，全球约有233种。这些药剂能够选择性地作用于特定目标，使其他对于人类有用的农作物不受伤害，或受的伤害较小。有些除草剂能妨碍
性欲亢进性欲亢进（英语：Hypersexuality）是精神卫生研究人员和精神卫生机构所使用的临床诊断，去形容极为频繁或突然增加的性冲动或性活动。女性患上此病叫Nymphomania。男性患上这种疾病
姚明姚明（1980年9月12日－），生于中国上海市，祖籍江苏省苏州市吴江区震泽镇，著名篮球运动员，曾为中国国家篮球队队员，曾效力于中国篮球职业联赛（CBA）上海大鲨鱼篮球俱乐部和美国国家篮球协会
CD1CD1 (分化簇1）是分布于不同抗原提呈细胞（CPA）表面的一类糖蛋白，在人类，其编码基因位于1号染色体。这类蛋白质分子与MHC1（第一类主要组织相容性复合体）有同源关系，参与将脂质抗原提呈
乙醇酸乙醇酸（glycolic acid (hydroacetic acid or hydroxyacetic acid)），别名2-羟基乙酸、羟基乙酸。结构式HOCH2COOH。纯品为无色无味易潮解结晶。溶于水、乙醇和乙醚。工业品常为7
凝胶凝胶（英语：gel，来自拉丁语 gelu—寒冷、冰，或 gelatus—冻结、不可动）是一种固体的、类似果冻的材料。这种材料可以很柔软，也可以很坚硬。凝胶是一种充分稀释的交联系统，在稳定状态
创伤学创伤学（traumatology）也称为外伤学，是研究因为意外事故或是暴力而产生的伤口及创伤，以及受损部位的手术治疗（英语：Trauma surgery）及复原。创伤学是医学的一个分支，一般会归类在外科
海军海军或水军是一国军队当中的主要构成部分之一，为在海洋、河流、湖泊等水体上作战的军种，一般来说以锚作为标志。海军使用的武器主要为各式水上的军舰、以及在海底航行的潜艇；操