阿隆佐·邱奇（Alonzo Church，1903年6月14日—1995年8月11日）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。
解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。
著作 编辑
参见 编辑
外部链接 编辑
- An unsolvable problem of elementary number theory 中譯本| （页面存档备份，存于互联网档案馆）
- 約翰·J·奧康納; 埃德蒙·F·羅伯遜, Church, MacTutor数学史档案 （英语）
- 阿隆佐·邱奇在数学家族谱网站上的条目(2007年6月提取) （页面存档备份，存于互联网档案馆）
- H B Enderton, In memoriam: Alonzo Church （页面存档备份，存于互联网档案馆）
阿隆佐, 邱奇, alonzo, church, 1903年6月14日, 1995年8月11日, 是美国数学家, 1936年发表可计算函数的第一份精确定义, 对算法理论的系统发展做出巨大贡献, 邱奇在普林斯顿大学受教并工作四十年, 曾任数学与哲学教授, 1967年迁往加利福尼亚大学洛杉矶分校, 出生1903年6月14日美国华盛顿哥伦比亚特区逝世1995年8月11日, 1995歲, 92歲, 美國俄亥俄州哈德遜国籍, 美國母校普林斯顿大学科学生涯研究领域数学机构普林斯顿大学博士導師奧斯瓦爾德, 維布倫, oswald. 阿隆佐 邱奇 Alonzo Church 1903年6月14日 1995年8月11日 是美国数学家 1936年发表可计算函数的第一份精确定义 对算法理论的系统发展做出巨大贡献 邱奇在普林斯顿大学受教并工作四十年 曾任数学与哲学教授 1967年迁往加利福尼亚大学洛杉矶分校 阿隆佐 邱奇出生1903年6月14日美国华盛顿哥伦比亚特区逝世1995年8月11日 1995歲 08 11 92歲 美國俄亥俄州哈德遜国籍 美國母校普林斯顿大学科学生涯研究领域数学机构普林斯顿大学博士導師奧斯瓦爾德 維布倫 Oswald Veblen 博士生斯蒂芬 科尔 克莱尼 1934 艾伦 图灵 1938 约翰 凯梅尼 1949 马丁 戴维 戴维斯 1950 迈克尔 拉宾 1957 达纳 斯科特 1958 雷蒙德 斯穆里安 1959 解决算法问题包括构造一个能解决某一指定集及其他相关集的算法 如果该算法无法构建 则表明该问题是不可解的 证明此种问题不可解性的定理是算法理论中的一大突破 邱奇的算法即为该类算法的首例 邱奇证明了基本几何问题的算法不可解性 同时证明了一阶逻辑中真命题全集的解法问题是不可解的 著作 编辑数理逻辑介绍 Alonzo Church Introduction to Mathematical Logic ISBN 0 691 02906 7 参见 编辑邱奇 图灵论题 一阶逻辑 高阶逻辑 l演算外部链接 编辑An unsolvable problem of elementary number theory 中譯本 页面存档备份 存于互联网档案馆 https web archive org web 20050320033152 http www cartage org lb en themes Biographies MainBiographies C Church 1 html 約翰 J 奧康納 埃德蒙 F 羅伯遜 英语 Edmund F Robertson Church MacTutor数学史档案 英语 阿隆佐 邱奇在数学家族谱网站上的条目 2007年6月提取 页面存档备份 存于互联网档案馆 H B Enderton In memoriam Alonzo Church 页面存档备份 存于互联网档案馆 取自 https zh wikipedia org w index php title 阿隆佐 邱奇 amp oldid 72436713, 维基百科，wiki，书籍，书籍，图书馆，
文章
，阅读，下载，免费，免费下载，mp3，视频，mp4，3gp， jpg，jpeg，gif，png，图片，音乐，歌曲，电影，书籍，游戏，游戏。