阿隆佐·邱奇

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

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

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

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

相关

  • 埃及语族埃及语(圣书体:
  • 圣母升天日圣母升天节纪念于每年的8月15日,在厄弗所大公会议基于肯定耶稣是真天主又是真人,宣认玛利亚为天主之母的信理。此后圣母敬礼便在各地蓬勃发展起来。至教宗本笃十四世,宣布玛利
  • 工业生态学工业生态学(Industrial ecology,简称IE)又称产业生态学,是对开放系统的运作规律通过人工过程进行干预和改变,在一般的开放系统中资源和资金经过一系列的运作最终结果是变成废物垃
  • 拉普拉斯皮埃尔-西蒙·拉普拉斯侯爵(法语:Pierre-Simon marquis de Laplace,1749年3月23日-1827年3月5日),法国著名的天文学家和数学家,他的工作对天体力学和统计学有举足轻重的发展。1749
  • 洪泛平原河漫滩,又称泛滥平原或洪泛平原,通常位于河流中下游,指由于河流堆积作用而形成的大片堆积体,是河流堆积地貌的一种。常在在枯水季节露出水面,在丰水季节又常被淹没。河漫滩一旦形
  • ɒ开后圆唇元音(open back rounded vowel、low back rounded vowel)是母音的一种,用于一些口说语言当中,国际音标以⟨ɒ⟩代表此音,而X-SAMPA音标则以⟨Q⟩代表此音。⟨ɒ⟩这符号
  • 聚合反应聚合是将一种或几种具有简单小分子的物质,合并成具有大分子量的物质的化工单元过程。大分子量的物质一般叫作聚合物或高分子化合物,分子量都高达几千甚至几百万。淀粉、纤维素
  • 让-雅克·阿诺让-雅克·阿诺(法语:Jean-Jacques Annaud,1943年10月1日-),法国电影导演、电影制作人和编剧。澳门科技大学电影学院名誉院长。1943年,阿诺出生在法国法兰西岛大区埃松省奥尔日河畔
  • 季国平季国平(1956年8月-),男,汉族,江苏泰兴人,中华人民共和国戏剧理论家,中国戏剧家协会分党组副书记兼秘书长、副主席。
  • 孟加拉国饮食孟加拉国菜,是孟加拉民族的饮食, 孟加拉国的多样化历史和河流地理形成了孟加拉国美食。该国属热带季风气候。古代孟加拉地区饮食包括大米,鱼,蜂蜜,乳制品和蔬菜。后来受波斯和蒙