邱奇

✍ dations ◷ 2024-11-05 16:37:45 #邱奇

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

相关

灵长目源性灵长目（学名：Primates）是哺乳纲的一个目，在生物分类学上，可以再细分原猴及简鼻亚目（包括人）。灵长目的始祖住在热带雨林的树上，许多灵长目的特征表现了其适应三维立体环境的能力，大部
海鲜海鲜又称海产、海味，是指海洋中可食用的生物，包括了鱼类、甲壳类（虾、蟹）、贝类、软体动物与棘皮动物。虽然海带、海藻等海洋植物也是常用来烹饪美食的食材，但是海鲜主要还是指海
副作用药物不良反应（英语：adverse drug reaction，简称ADR）是患者在使用某种药物的治疗疾病的时候产生的与治疗无关的作用，而这种作用一般都对患者的治疗不利。不良反应是药物所具有的两
斯普利特斯普利特（克罗地亚语：Split），是一座位于地中海畔、亚得里亚海东岸的克罗地亚南部港市。市内人口约有18万（2001年调查），是达尔马提亚地区最大都市，也是克罗地亚第二大城。同时，斯普利
父母亲本，指的是生成新个体的生物。而父母、家长、双亲、子女的定义则较广泛，只要是养育孩子成长的人，都可以用此称呼。语出《礼记·曲礼下》：“生曰父，曰母，曰妻；死曰考，曰妣，曰嫔。”。
作家古希腊文学是指古代希腊世界的文学。广义的古希腊文学涵盖了从氏族制希腊社会到希腊化时代的文学，持续时间近1000年。古希腊文学是整个西方文学的源头，也是欧洲文学的第一个高
小肠癌在肿瘤学里，小肠癌是指发生在小肠的恶性肿瘤。和其他消化道的恶性肿瘤例如胃癌和大肠癌比较，小肠癌相对罕见。小肠全长约600cm，占胃肠道全长的70%~80%，但由于消化物暂留时间短，因
代谢途径代谢途径（英语：metabolic pathway）在生物化学中，是一连串在细胞内发生的化学反应，并由酶所催化，形成使用或储存的代谢物，或引发另一个代谢途径（称为“流量控制反应”）。多种途径都是
鼻音鼻音是按发音方法分类的一类辅音。发音时，口腔中的气流通路被阻塞，软颚下垂，气流通过鼻腔，与气流从口腔流出的口腔辅音相对。（少数的挤喉音可能同时具有口腔辅音与鼻音的性质。）
叶尼塞语系叶尼塞语系（Yeniseic 或 Yenisei-Ostyak）是分布在西伯利亚中部叶尼塞河流域的一个语族。包括7种语言：其中的Yug、Pumpokol、Arin和Assan早在18世纪消亡了，我们对这些语言所知甚