阿隆佐·邱奇

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

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

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

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

相关

发热发烧（英语：fever），又称作发热（英语：pyrexia）或发热反应（英语：febrile response），其定义为：体温在调节时超过了平常体温。现在医界并没有一致认可的正常体温上限，文献从37.3到38.3℃都有。
桶孔隔膜桶孔隔膜（Dolipore septum）是担子菌门伞菌纲真菌菌丝中的一种隔膜（英语：septa），为真菌最复杂的一种隔膜，最早于1962年由美国真菌学家罗耶·摩尔（英语：Royall Moore）与詹姆士·麦卡利尔
PHWR重水反应堆简称“重水堆”或“HWR”（Heavy Water Reactors），是一类利用重水作为中子慢化剂的核反应堆。最常见的重水反应堆是CANDU反应堆。重水反应堆中利用的慢化剂——重水是
疾病患者患者，又称病人、病者和病患，是指医疗服务的接受者，大多用来指罹患疾病、或身体受到创伤，而需要医生和护理人员进行治疗的人；动物如遇到相同状况，也可以患者称之。但是对于不用接受
里约奥运第三十一届夏季奥林匹克运动会（英语：the Games of the XXXI Olympiad，法语：les Jeux de la XXXIe Olympiade，葡萄牙语：os Jogos da XXXI Olimpíada），又称为2016年里约热内卢奥运会，
高雄海神美式足球队高雄海神队（英语：Kaohsiung Poseidon），是一支位于台湾高雄的全装备美式足球球队，创立于2017年，成为台湾第二支全装备美式足球球队。海神队于2017年5月27日在高雄新兴高中举办了第
2007-08年全球粮食价格危机2007－08年全球粮食价格危机是指2007年至2008年期间全球粮食价格上升。因为粮食价格迅速上涨，从而引起了世界范围的恐慌。2008年3月，世界粮食计划署执行干事希兰说，自2007年6月以
北区北区（台湾话：.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif} Pak-khu
八大电视八大电视股份有限公司（英语：Gala Television Corporation），简称八大、GTV，成立于1997年6月13日，2014年至今由台塑永在投资公司持有，主要是经营“八大第一台”、“八大综合台”、“
2011年多国武装干涉利比亚自发强制实施联合国安理会1973号决议的多国部队萨科齐总统埃都尔德·吉约海军上将卡梅伦首相大卫·理查兹爵士（英语：David Richards (British Army officer)）上将奥巴