阿隆佐·邱奇

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

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

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

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

相关

  • 吸器吸器(英语:Haustorium)是由真菌菌丝形成特化构造,使容易从宿主身上吸收养分,许多植物病原真菌具有吸器,例如在活物寄生菌(英语:biotroph)之情形,系以细胞内吸器来插入细胞吸收营养
  • 赫尔曼·冯·亥姆霍兹赫尔曼·冯·亥姆霍兹(德语:Hermann von Helmholtz,1821年8月31日-1894年9月8日),德国物理学家、医生。赫尔曼·冯·亥姆霍兹1821年出生于德国的波茨坦,父亲为当地文法中学的教师。
  • 1970年代
  • 抗原性抗原性(antigenicity),又称为免疫反应性,是指抗原(Ag)与抗体(Ab)特异性结合的能力。抗原同时具有免疫原性和抗原性,而只有抗原性无免疫原性的物质称为半抗原(hapten)。
  • 阿拉巴马截至2010年亚拉巴马州(英语:Alabama,i/ˌæləˈbæmə/,又译作阿拉巴马州)是美国东南部地区一个联邦州。北接田纳西州,东邻乔治亞州,南至佛罗里达州和墨西哥湾,西临密西西比州。亚
  • 硬颚挤喉音(Palatal ejective)是一种辅音,出现于一些口语中。国际音标将此音记作⟨cʼ⟩,其对应的X-SAMPA音标为c`_>。硬颚挤喉音的特征包括:此音主要出现在一些美洲原住民的语言
  • 圣徒圣徒本意指圣人的门徒或者圣人思想的追随者,如李东阳《金陵问》:“程夫子,真圣徒。”“圣徒”一词在近代也成为其它宗教的借用译词,也通常指具有特别美德或者修行水平很高的教徒
  • 电影特技特效,是指电影或剧集在拍摄制作或后期制作的过程中,当有无法使用的自然环境或人物表现的场景和情节时,将采用特殊的技术手段和方法获得最终画面的技术。与特技等同。特效技术是
  • 麻章区麻章区是中国广东省湛江市下辖的一个市辖区。面积769平方千米,人口47万。邮政编码524003。下辖3个街道、4个镇,114个村委会、12个居委会。麻章镇、太平镇、湖光镇、东山镇、东
  • 洛杉矶足球俱乐部洛杉矶足球俱乐部(英语:Los Angeles Football Club),通常称为LAFC,是一支位于美国加利福尼亚州洛杉矶的MLS足球队,分属于西部联盟,主场为加州银行体育场。本队和洛杉矶银河共享洛杉