首页 >
邱奇
✍ dations ◷ 2025-06-27 18:38:30 #邱奇
阿隆佐·邱奇(Alonzo Church,1903年6月14日-1995年8月11日)是美国数学家,1936年发表可计算函数的第一份精确定义,对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年,曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。解决算法问题包括构造一个能解决某一指定集及其他相关集的算法,如果该算法无法构建,则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破,邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。数理逻辑介绍,Alonzo Church, Introduction to Mathematical Logic (ISBN 0-691-02906-7)
相关
- 真细菌放线菌门 Actinobacteria(高G+C) 厚壁菌门 Firmicutes(低G+C) 无壁菌门 (无细胞壁)产水菌门 Aquificae 异常球菌-栖热菌门 Deinococcus-Thermus 纤维杆菌门-绿菌门/拟杆菌门 Fibro
- 无脊椎动物无脊椎动物(Invertebrate)是背侧没有脊柱的动物,包括棘皮动物、软体动物、刺胞动物、节肢动物、海绵动物、线形动物以及脊索动物门的头索动物及尾索动物等。其种类数占动物总种
- 盘菌纲盘菌纲(英文:Pezizomycetes)是一个隶属于真菌下子囊菌门的一个纲。医学导航 · 真菌病真菌 · 分类疾病药物(抗真菌药)
- 尿液尿,又称尿液,是人类和脊椎动物为了新陈代谢的需要,经由泌尿系统及尿路排出体外的液体排泄物。排出的尿液可调节机体内水和电解质的平衡以及清除代谢废物且可同时散热,尤其是退化
- 国家安全局美国国家安全局(英语:National Security Agency,缩写:NSA)是美国政府机构中最大的情报部门,专门负责收集和分析外国及本国通讯资料,隶属于美国国防部,是根据美国总统的命令成立的部
- 内皮细胞内皮细胞或血管内皮是一薄层的专门上皮细胞,由一层扁平细胞所组成。它形成血管的内壁,是血管管腔内血液及其他血管壁(单层鳞状上皮)的界面。内皮细胞是沿着整个循环系统,由心脏直
- 去氧羟四环素-5,10,11,12a-tetrahydroxy-6-methyl- 4a,5,5a,6-tetrahydro-4H-tetracene-1,3,12-trione多西环素(其国际非专利药品名称为“Doxycycline”)也称为“强力霉素”“伟霸霉素”
- 十二主神奥林波斯十二神是古希腊和古罗马宗教中最受崇拜的十二位神,他们一般分别是:众神之王宙斯、天后赫拉、丰收女神得墨忒耳、海王波赛冬、智慧女神雅典娜、光明之神阿波罗、狩猎女
- 自然主义自然主义通常是指综合唯物主义和实用主义、不探究自然界中超自然因素的哲学立场,其理论基础认为所有现象皆可用自然理由的概念解释。自然主义不一定认为超自然现象和对于不存
- 学术期刊学术期刊(英语:academic journal:scholarly journal)是一种经过同行评审的期刊,发表在学术期刊上的文章通常涉及特定的学科。学术期刊展示了研究领域的成果,并起到了公示的作用,其