• 1.摘要
  • 2.基本信息
  • 3.人物关系
  • 4.基本内容

阿隆佐·邱奇

人物

阿隆佐·邱奇(Alonzo Church,1903年6月14日–1995年8月11日),出生于美国华盛顿,毕业于普林斯顿大学,美国数学家。

他发表了可计算函数的第一份精确定义,对计算理论的系统发展做出巨大贡献,并且发明了著名的λ演算。

基本信息

  • 中文名

    阿隆佐·邱奇

  • 出生日期

    1903年6月14日

  • 逝世日期

    1995年8月11日

  • 职业

    数学家

人物关系共1人

image
学生
艾伦·麦席森·图灵(Alan Mathison Turing,1912年6月23日-1954年6月7日),亦译阿兰·图灵,出生于英国伦敦,博士研究生毕业于美国普林斯顿大学,英国数学家、逻辑学家,计算机科学之父[1][2][3]。 图灵于1926年考入英国著名的谢伯恩公学在中学时就获得了国王爱德华六世数学金盾奖章。1931年进入剑桥大学国王学院,二战爆发后回到剑桥,曾协助英国军方破解德军著名密码系统“谜”(Enigma),提出了“图灵机”和“图灵测试”等重要概念,被誉为“人工智能之父”,1932年荣获英国史密斯数学奖。1946年在二战中为破译德军密码做出的巨大贡献,获得不列颠帝国勋章。1952年,因为承认与一位男性发生性关系,他被判犯有“严重猥亵罪”,随后他被迫接受了化学阉割“治疗”。1954年6月7日,吃下含有氰化物的苹果中毒身亡。人们为纪念其在计算机领域的卓越贡献而专门设立了“图灵奖”[4][5]。
全文

基本内容

阿隆佐·邱奇

Image:Alonzo Church.jpg

阿隆佐·邱奇 (1903–1995)

出生 1903年6月14日

美国华盛顿

逝世 1995年8月11日

研究领域 数学

国籍 美国

居住地 美国

研究机构普林斯顿大学

母校 普林斯顿大学

导师 Oswald Veblen

学生艾伦·图灵

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