阿隆佐·邱奇

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

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

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

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

相关

  • 细胞免疫细胞介导免疫(英语:Cell-mediated immunity)是一种免疫反应。细胞介导免疫会活化巨噬细胞、T细胞(CD4+或CD8+)并释放淋巴因子。不像体液免疫,其中没有抗体参与免疫反应。病原体被
  • 鼠绦虫缩小膜壳绦虫(学名:Hymenolepis diminuta)是一种食源性(英语:Foodborne parasites)寄生虫, 属于绦虫纲圆叶目,可引致膜壳绦虫病(hymenolepiasis)。这种线虫以昆虫作中间宿主,最终会感
  • 死语言绝迹语言(英语:Extinct language),又称灭绝语言、灭亡语言、死语,指一种已经不再有人以之作为母语的语言。根据估计,每两星期就有一种人类的语言灭亡,变成绝迹语言。但在一些特殊情
  • 负回授负反馈(英语:negative feedback),是反馈的一种。是指系统的输出会影响系统的输入,在输出变动时,所造成的影响恰和原来变动的趋势相反;反之,就称为正反馈。另一种说法是系统在一个条
  • 黄进兴黄进兴(Chin-shing Huang,1950年-),笔名吴咏慧,台湾历史学家,国立台湾大学历史学系文学学士、文学硕士,美国哈佛大学历史学博士。2008年膺选中央研究院院士。现任中央研究院副院长、
  • 反馈π键反馈π键(英语:π-backbonding)是一个基于分子轨道理论的化学概念,指电子从一个原子的原子轨道移动到另外一个原子或配体的反键轨道(π*轨道),在金属有机化学领域很常见,因为在该领
  • 连静雯连静雯(1979年9月21日-),台湾女艺人,台湾一线女星,戏剧一姊,三立电视多部戏剧第一女主角有“台剧女王”之称呼,华冈艺校戏剧科毕业,曾有艺名任千妤。现为瑜珈老师,2017年4月正式开设“
  • 垃圾信件垃圾电邮(英语:email spam)是滥发电子消息中最常见的一种,指的就是“不请自来,未经用户许可就塞入信箱的电子邮件”。垃圾电邮的主要特性包括:垃圾电邮的防制:“SPAM”最初是一个罐
  • 林益林益(1959年-),英文名Jeffrey Yi-Lin Forrest,是宾州滑石大学(英语:Slippery Rock University of Pennsylvania)以及中国几所重点大学的数学、系统科学、经济学和金融学教授。自80年
  • 爱德印刷公司爱德基金会(英语:The Amity Foundation)是与中国基督教协会有关联的团体,是中国的基督徒志愿者参加组成,主要帮助中国贫困地区的团体。本部在南京,活动概况主要包括从海外针对中国