邱奇

✍ dations ◷ 2025-09-18 09:40:26 #邱奇

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

相关

咽喉反流咽喉反流（Laryngopharyngeal reflux，缩写 LPR），又称为喉咽回流、咽喉逆流症、咽喉胃酸逆流、胃食管外反流疾病（extraesophageal reflux disease，缩写 EERD），是指胃酸逆行流到上呼吸
半保留复制半保留复制（Semiconservative replication）是描述DNA的复制方式，目前已知的所有细胞皆以此方式进行复制。是三种主要的复制模型的其中之一，也是唯一确认存在于自然界中的模型。
降水降水是指在大气中冷凝的水汽以不同方式下降到地球表面的天气现象。大气中的水汽几乎全部集中于对流层中，温度越高，大气可以容纳的水汽含量就越多，反之就越少。一定温度下，当空气
粪壳菌纲粪壳菌纲（学名：Sordariomycetes）是真菌界子囊菌门盘菌亚门的一个纲，其下包括有15个目、64个科、1119个属及 10564个品种。粪壳菌纲物种一般都会产生子囊。以下各科由于其归属关
南非南部非洲即非洲大陆南部地区，不常简称为南非，“南非”通常指南非共和国。联合国的南部非洲次分区包括下列五个国家：南部非洲除了以上五国和其他南部非洲发展共同体的国家外，有时
晚幼粒细胞晚幼粒细胞（英语：Metamyelocyte）是正在进行粒细胞生成（英语：granulopoiesis）的细胞，由中幼粒细胞（英语：myelocyte）发育而来，并将发育成杆状核粒细胞。中性粒细胞、嗜碱性粒细胞与嗜酸性
赤藓酮糖D-赤藓酮糖（英语：Erythrulose）分类上属于丁糖与酮糖，其醛糖形式是赤藓糖。是在某些细菌作用下，由赤藓糖醇氧化而得。对碱敏感。可溶于水及乙醇。果聚糖：菊粉 · 果聚糖β2→6甘
Times Higher Education《泰晤士高等教育》（英文全称：Times Higher Education，英文简称：Times Higher或THE），原名《泰晤士高等教育增刊》（英文全称：The Times Higher Education Supplement，英文简称：The Time
女性生殖器官女性生殖系统是由人类女性的生殖器官组成的系统。可分成内生殖器官和外生殖器官，分别指生殖系统在体内不可见的部分和体外可见的部分。人类女性的生殖系统在出生时尚未发育成
合成词合成词（compound），亦称复合词，英语语法上的直接翻译过来的名词，指的是由两个或以上的英语单词构成的英语词。例如英语词today、ice cream等，本由两英语单词合并而成。［汉语］合成词