阿隆佐·邱奇

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

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

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

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

相关

费米恩里科·费米（意大利语：Enrico Fermi；1901年9月29日－1954年11月28日），美籍意大利裔物理学家，美国芝加哥大学物理学教授。他对量子力学、核物理、粒子物理以及统计力学都做出了杰出
马利宝朗姆酒马利宝朗姆酒是一款使用天然椰子萃取物酿造的风味朗姆酒，酒精含量约为21.0％。目前马利宝品牌由保乐-利加集团持有。虽然马利宝是一款水果风味朗姆酒，然而官方也将其划分为以朗
PRAM相变化存储器（英语：Phase-change memory，英语：Ovonic Unified Memory，英语：Chalcogenide RAM，简称PCM, PRAM, PCRAM, CRAM），又译为相变位存储器，是一种非易失性存储器设备。PRAM使用含
无著龙树、圣天、无著、世亲、陈那、法称、释迦光、功德光【其他】─《入中论》《释量论》《俱舍论》《现观庄严论》《戒律本论》【其他】─ 《无著（梵语：असङ्ग，Asanga），著是
山海关之战八旗睿亲王多尔衮山海关明军总兵吴三桂辅国公赖慕布八旗正白旗都统赖塔范文程豫亲王多铎贝勒豪格闯王李自成权将军刘宗敏顾君恩抚清之战 · 萨尔浒之战 · 开铁
连惠心连惠心（1967年－），前中华民国副总统连战的长女，于父在美国时诞生。夫陈弘元，1995年结婚，育有三女。现定居于台湾。连惠心因承曾祖父连横之史观，于1994年哥伦比亚大学取得教育学博士后
锺开莱钟开莱（Kai Lai Chung，1917年9月19日－2009年6月2日），浙江杭州人，生于上海，卒于菲律宾罗哈斯。华裔数学家、世界著名概率专家，“概率学界学术教父”。钟开莱1917年生于上海，浙江杭州人
华盛顿首都South Carolina Stingrays (ECHL)华盛顿首都队（Washington Capitals）是位于美国华盛顿特区的国家冰球联盟队伍，隶属于国家冰球联盟（NHL）的东大区（the Eastern Conference（英语：Easte
恐猫症恐猫症为恐惧症其中一种，指对猫持续产生非理性的恐惧。恐猫症的英文名称"ailurophobia"，来自希腊文的"ailouros"（猫），及phobos（恐惧）。恐猫症患者除了惧怕与猫产生接触，例如咬或抓，另
国际疾病与相关健康问题统计分类人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学国际疾病与相关健康问题统计分类（英语