阿隆佐·邱奇

✍ dations ◷ 2025-10-23 04:53:03 #1903年出生,1995年逝世,数学家,美国数学家,逻辑学家,计算机领域先驱者,洛杉矶加州大学教师,普林斯顿大学校友

阿隆佐·邱奇（Alonzo Church，1903年6月14日－1995年8月11日）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。

解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。

数理逻辑介绍，Alonzo Church, (ISBN 0-691-02906-7)

相关

span style=color:#ffffff;人民/span13,0006,500 (2002)希腊人（希腊语: Έλληνες, 国际发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans
达达主义达达主义（Dada或Dadaism）是一场兴起于一战时期的苏黎世，涉及视觉艺术、文学（主要是诗歌）、戏剧和美术设计等领域的文艺运动。达达主义是20世纪西方文艺发展历程中的一个重要流派，
查谟和克什米尔中央直辖区查谟和克什米尔（Jammu and Kashmir）是一个位于印度北部的中央直辖区，分为查谟和克什米尔山谷两个专区，为印度控制的克什米尔的一部分。该地南面与旁遮普和喜马偕尔邦接壤，东北部
侯赛因侯赛因·宾·塔拉勒（阿拉伯语：حسين بن طلال，Ḥusayn bin Ṭalāl；Hussein bin Talal，1935年11月14日－1999年2月7日），又称侯赛因一世（King Hussein I），为约旦国王，在位期间自19
协同调音在语音学上，协同调音是辅音的一种调音方法，有多于一个调音部位调音。这类辅音称为协同调音辅音。:266, 271协同调音分为两类，其中一种的两个调音部位阻碍相同量的气流，称为双协
子叶子叶（cotyledon）是植物种子胚的组成部分之一，位于胚茎上部，具有贮存养料或幼苗时期进行同化作用的器官。无胚乳种子的子叶，因为贮存养料较多，所以特别肥厚，如豆科、葫芦科等植物的
“十三副遗甲”起兵复仇十三副遗甲起兵是努尔哈赤起兵叛明的历史事件，因其祖父与父亲被平乱的明朝总兵误杀，努尔哈赤遂以先人留下的“十三副遗甲”起兵复仇，开始了其建国称汗、征战一生之路。努尔哈赤
指挥官本表列出了第二次世界大战中各国军队的指挥官。二战指挥官们大多都是职业军官，不过也有一些国家元首或政府首脑同时担任军队指挥官，如阿道夫·希特勒（德国元首）、贝尼托·墨索里
亚述语叙利亚语是中古阿拉姆语（属闪米特语族）的一种方言，在新月沃土的大部分地方都有分布。经典叙利亚语成为4-8世纪中东地区的书面语言，古典叙利亚语文学的作品就是以它为载体。现在
李天怡李天怡（1973年3月24日－），台湾新闻主播、主持人、制作人，毕业于国立政治大学新闻学系。现任三立新闻台新闻部总编辑兼任《消失的国界》主持人。就读政大新闻系的李天怡，一直把电视