阿隆佐·邱奇

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

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

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

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

相关

  • 超嗜热生物超嗜热生物指能在极热的环境(60°C以上)中生活的生物。其生长最适温度通常在80~110°C,而2003年发现的一株古菌“菌株121”甚至能在和灭菌锅相同的温度,即121°C下,24个小时内,细
  • 氮丙环类氮丙环,也称环乙亚胺、氮杂环丙烷、吖丙啶、环乙胺、氮丙啶、乙烯亚胺,是氮原子取代环丙烷的一个碳原子形成的杂环化合物,分子式为C2H5N。氮丙环在室温下是无色易流动的液体,有
  • 文艺复兴时期的拉丁语文艺复兴拉丁语(英语:Renaissance Latin),又称为人文主义拉丁语(法语:Latin humaniste),为文艺复兴时期,在欧洲使用的拉丁语。时间为14世纪至18世纪之间,文艺复兴人文主义作者模仿了古
  • 第五产业第五产业,指体现出文化与创意的产业,包括文化产业与创意产业(或合称文化创意产业),为“克拉克大分类法”(第一产业:农业、第二产业:工业、第三产业:除第一、二产业外的所有其他产业)与
  • 色度色度可以指:
  • 董氏基金会财团法人董氏基金会(英语:John Tung Foundation),简称董氏,是台湾一个非营利的民间机构,1984年5月19日由董之英与严道成立,宗旨为“促进国民身心健康,预防保健重于治疗”。致力推动
  • 1617年重要事件及趋势重要人物
  • 沙发沙发(英语:Sofa,北美称作Couch)为软体家具的一种,是装有软垫的多座位椅子。它源于西方国家,而后引进亚洲,成为西式装潢或摩登家居设计的重点之一。 在亚洲地区沙发有各式材质,通常依
  • 田横田横(?-前202年),秦末军事人物,原田齐公族,秦末民变时的六国群雄之一。秦末狄县(现山东高青东南)人。秦末战争时,一度自立为齐王,后兵败,逃于海岛(今田横岛)。汉高祖刘邦逼降,田横不屈,自刎
  • 药物代谢药物代谢(英语:Drug metabolism)是生物对药物进行的代谢分解,通常这一过程通过生命体内的特定酶催化系统完成。广而言之,异形生物质代谢 (英语:xenobiotic metabolism ,其中异形生物