阿隆佐·邱奇

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

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

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

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

相关

  • 3s2 3p32, 8, 5蒸气压((白磷))第一:1011.8 kJ·mol−1 第二:1907 kJ·mol−1 第三:2914.1 kJ·mol−1 (主条目:磷的同位素磷(拉丁语:Phosphorum,化学符号:P)是一种化学元素,它的原子
  • 哥伦布克里斯托弗·哥伦布(西班牙语:Cristóbal Colón;意大利语:Cristoforo Colombo),(1451年-1506年5月20日)探险家、殖民者、航海家,出生于中世纪的热那亚共和国(今意大利西北部)。在西班
  • 折光度介质的折射率 n {\displaystyle n} 等于“光在真空中的速度( c {\displaystyle c}
  • 艾尔基·罗斯拉堤艾尔基·罗斯拉堤(芬兰语:Erkki Ruoslahti,1940年2月16日-),芬兰裔美国医学家,美国国家科学院院士,加州大学圣塔芭芭拉分校教授。罗斯拉堤名列汤森路透引文桂冠奖,被看好角逐诺贝尔生
  • 雒建斌雒建斌(1961年8月18日-),中国摩擦学领域专家。清华大学教授。生于陕西户县,原籍陕西户县。1982年毕业于东北大学,1985年至1988年在西安建筑科技大学读研究生,并获北京科技大学硕士
  • IBX2-碘酰基苯甲酸(IBX)是典型的高价碘试剂,在有机合成中用作氧化剂,用于将醇氧化为醛。以邻碘苯甲酸、溴酸钾(或过一硫酸氢钾复合盐)和硫酸为原料制取。它在空气中稳定,可以长期保存
  • 国务院直属事业单位国务院直属事业单位是直属中华人民共和国国务院的事业单位。它不是国家行政机关,但中华人民共和国国务院授权其中一些单位行使一定的行政职能。《国务院关于国家行政机关和企
  • 银行控股公司银行控股公司(英语:bank holding company),又称为金融控股公司(英语:finance holding company;简称“金控”),系透过成立一间控股公司的间接方式来进行金融业跨业整合。金融控股公司
  • 李天怡李天怡(1973年3月24日-),台湾新闻主播、主持人、制作人,毕业于国立政治大学新闻学系。现任三立新闻台新闻部总编辑兼任《消失的国界》主持人。就读政大新闻系的李天怡,一直把电视
  • 贵州警察学院贵州警察学院,原名贵州警官职业学院,是经贵州省委、省人民政府批准,国家教育部和公安部备案,由贵州省公安厅和教育厅共同管理的全日制公安司法类本科院校,位于中国贵州省贵阳市。