邱奇

✍ dations ◷ 2025-04-03 16:50:46 #邱奇

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

相关

家畜家畜一般是指由人类饲养驯化，且可以人为控制其繁殖的动物，一般用于食用、劳役、毛皮、宠物、实验等功能。另一种较狭义的家畜，是指相对于鸟类动物的家禽而言的哺乳类动物，亦即将
养老院老人院也叫安老院、养老院、安养院，是一些社区服务的机构，是为老人提供住宿和日常起居照顾的地方，工作人员分为社工、护士、医生、义工及助理员等，提供的是老人服务。老人院因为
关节僵硬关节僵硬（英语：joint stiffness）可能是关节活动时产生疼痛的症状、或运动时活动范围变小的症状或关节活动范围减小的医学征象（或简称“体征”）。
Index FungorumIndex Fungorum是一个免费的真菌学线上数据库，由英国伦敦的基尤皇家植物园（英语：Royal Botanic Gardens, Kew）、新西兰的土地保护研究所（英语：Landcare Research）与中国科学院微生
存在存在（英语：Existence），又译为实在、存有，是一个哲学概念，按照20世纪西方存在主义哲学家的定义，是具有难以改变，但能够改变的特性。而相对于存在的不存在（虚无）则是具有难以控制，但能够
电痉挛疗法电休克疗法（英语：Electroconvulsive therapy，简称ECT），又称电疗。是经由电击脑部的方式来诱发痉挛，以治疗精神疾患的方式。精神科用来治疗严重重性忧郁障碍、躁郁症和思觉失调症的
小脑萎缩症小脑萎缩症，又称脊髓小脑萎缩症（Spinocerebellar Atrophy）或脊髓小脑失调症（Spinocerebellar Ataxia，简写为SCA），是一类遗传病，涉及不同基因，目前没有任何治疗方法。本病病因不明，但大
亨廷顿舞蹈病亨廷顿舞蹈症（Huntington's Disease, HD）是一种遗传性疾病，会导致脑细胞死亡。早期症状往往是情绪或智力方面的轻微问题，接着是不协调和不稳定的步伐（英语：Gait）。随着疾病的进展，身
双及物动词在语法学上，双及物动词是需要支配一个主词及两个受词的动词。此与支配单个受词的单及物动词相对。1.双及物结构的语义表达研究，外语教学与研究，2009.1
悖论悖论（英语：Paradox），亦称为佯谬或诡局，是指一种导致矛盾的命题。通常从逻辑上无法判断正确或错误称为悖论，似非而是称为佯谬；有时候违背直觉的正确论断也称为悖论。悖论的英文parad