邱奇

✍ dations ◷ 2024-07-01 11:24:55 #邱奇

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

相关

希波克拉底“希波克拉底”（古希腊文：Ἱπποκράτης，前460年－前370年），为古希腊伯里克利时代之医师，约生于公元前460年，后世人普遍认为其为医学史上杰出人物之一。在其所身处之上古时代，
反义单链RNA病毒核糖核酸病毒（英语：RNA virus），又称RNA病毒，其遗传物质为RNA，这些核糖核酸通常是单链RNA（ssRNA），但是也可能是双链RNA（dsRNA）。由RNA病毒感染造成的著名人类疾病包括艾滋病(AIDS)、埃博
锥足亚门锥足亚门是变形虫门中的一个亚门，又细分为黏菌下门及始变形虫下门等两个下门。锥足亚门包括溶组织内阿米巴及盘基网柄菌等物种。
微分干涉相差显微镜微分干涉相差显微技术(DIC),又称Normarski干涉相差显微技术或Normarski显微镜,是一种增强对比度来观察未染色的透明的样品的光学显微镜。DIC根据干涉测量获取有关样品光路长
先天性肺部呼吸道畸形先天性肺部呼吸道畸形（congenital pulmonary airway malformation，CPAM），旧称先天性囊肿性腺瘤样畸形（congenital cystic adenomatoid malformation ，CCAM）是一种和游离肺（英语：bronc
赫尔德约翰·戈特弗里德·赫尔德（德语：Johann Gottfried Herder，姓或译赫德；1744年8月25日－1803年12月18日），德国哲学家、路德派神学家、诗人。其作品《论语言的起源》（德语：Abhandlung üb
详2019冠状病毒病英国疫情，介绍在2019新型冠状病毒疫情中，在英国及其属地发生的情况。2020年1月，希思罗机场加强了对每周从武汉接收的三班直达航班的监控；每一个人都将要接受海关
B细胞慢性淋巴细胞白血病慢性淋巴细胞性白血病，Chronic lymphocytic leukemia，简称CLL ，这是一种最常见的白血病主要影响B细胞。B细胞来自于骨髓，在淋巴结中发育，它主要的功能是产生抗体。在CLL中，B细胞
喉前庭喉前庭（laryngeal vestibule）即是声带上方的喉腔部分；其基部或前壁呈现出三角形宽广之形状，而其中心部即会厌结节（楔形结节（英语：cuneiform tubercle）；小角结节（英语：corniculate tuber
文氏图文氏图（英语：Venn diagram），或译Venn图、温氏图、维恩图、维恩图解、范氏图、韦恩图等，是在集合论（或者类的理论）数学分支中，在不太严格的意义下用以表示集合（或类）的一种草图。它们用