阿隆佐·邱奇

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

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

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

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

相关

  • 低血糖低血糖(英语:Hypoglycemia、low blood sugar)是指血液中的葡萄糖浓度(血糖),特别是血浆中的,低于正常水平的现象,一般是治疗糖尿病时的并发症,也可能是由多种原因所引起的,并导致一系
  • 语音变化语音变化,又称音变,即任何影响发音(语音变化)或语音系统结构(音系变化)的语言变化。音变可以是由一个语音(或是一个语音特征)变为另一个的变化、完全丢失、甚或是从无到有的语音增生
  • 简·奥斯丁简·奥斯汀(英语:Jane Austen,/ˈdʒeɪn ˈɒstɪn/;1775年12月16日-1817年7月18日)是一位英国小说家,她的五部主要作品诠释评论了18世纪末英国地主乡绅的生活。她出版的第二部小
  • 自然辩证法《自然辩证法》(德语:Dialektik der Natur)是1883年德国哲学家弗里德里希·恩格斯一部尚未完成的著作。在这部作品中,恩格斯总结了自己多年来对自然科学研究,将马克思主义观点,尤
  • 白带白带为较浓稠,白色或黄色的阴道分泌物。白带的可能原因有许多种。白带的量可能会因为阴道感染(英语:vaginal infection)而增加,也可能一阵子出现,一阵子不出现。白带也可能持续几
  • 马鲁古鹿豚马鲁古鹿豚(学名:Babyrousa babyrussa)又名鹿豚或鹿猪。原产于印尼的孟格罗岛、陶根岛和苏拉威西岛。皮肤呈灰色到褐色,几乎没有毛发,四肢细而长。和其他鹿豚一样,拥有两对獠牙,獠
  • 统一7-ELEVEn狮统一7-ELEVEn狮是一支台湾职业棒球队,隶属于中华职棒,由统一棒球队股份有限公司(统一企业)经营,为中华职棒开创至今唯一硕果仅存的元老球队。前身为统一狮。主场为台南市立棒球场
  • 37游戏37游戏(又名三七互娱,深交所:002555,深交所注册名称:芜湖三七互娱网络科技集团股份有限公司)成立于2011年,是总部设于广州的游戏公司,负责开发和代理各类网络游戏,创始人为李逸飞和曾
  • 梅里马克县梅里马克县(Merrimack County, New Hampshire)是美国新罕布什尔州中部的一个县。面积2,477平方公里。根据美国2000年人口普查,共有人口136,225。县治康科德。成立于1823年。县
  • 柴桢战役美国等国正式介入之后美国撤出至南越灭亡柴桢战役(英语:Battle of Svay Rieng)是越南战争后期南越签订《巴黎和平协约》后,在1974年4月27日至5月2日对北越的一场战斗,亦是南越对