跳转到内容

阿隆佐·邱奇：修订间差异

维基百科，自由的百科全书
以互动方式浏览历史
←上一版本
删除的内容 添加的内容
可视化wikitext
流星依旧（留言 | 贡献）
356次编辑
无编辑摘要
Tmt514（留言 | 贡献）
3次编辑
小 繁體中文: 算法 -> 演算法
 
（未显示12个用户的14个中间版本）
第2行： 第2行：
| name = 阿隆佐·邱奇
| name = 阿隆佐·邱奇
| image =
| image =
| caption = 阿隆佐·邱奇 (1903–1995)
| caption =
| birth_date = 1903年6月14日
| birth_date = 1903年6月14日
| birth_place = [[美国]][[华盛顿哥伦比亚特区|华盛顿]]
| birth_place = [[美国]][[华盛顿哥伦比亚特区]]
| death_date = 1995年8月11日
| death_date = {{death date and age|1995|8|11|1903|6|14}}
| death_place =
| death_place = 美國[[俄亥俄州]][[哈德遜 (俄亥俄州)|哈德遜]]
| residence = [[美国]]
| residence =
| nationality = [[美国]]
| nationality = {{USA}}
| field = [[数学]]
| field = [[数学]]
| work_institution = [[普林斯顿大学]]
| work_institution = [[普林斯顿大学]]
| alma_mater = [[普林斯顿大学]]
| alma_mater = [[普林斯顿大学]]
| doctoral_advisor = Oswald Veblen
| doctoral_advisor = [[奧斯瓦爾德·維布倫]]（Oswald Veblen）
| doctoral_students = [[斯蒂芬·科尔·克莱尼]]（1934）<br>[[艾伦·图灵]]（1938）<br>[[约翰·凯梅尼]]（1949）<br>[[马丁·戴维·戴维斯]]（1950）<br>[[迈克尔·拉宾 (科学家)|迈克尔·拉宾]]（1957）<br>[[达纳·斯科特]]（1958）<br>[[雷蒙德·斯穆里安]]（1959）
| doctoral_students = [[艾伦·图灵]]
| known_for =
| known_for =
| prizes =
| religion =
| footnotes =
}}
}}
'''阿隆佐·邱奇'''（'''Alonzo Church'''，{{bd|1903年|6月14日|1995年|8月11日}}）是[[美国]][[数学家]]，[[1936年]]发表[[可计算函数]]的第一份精确定义，对[[算法]]理论的系统发展做出巨大贡献。邱奇在[[普林斯顿大学]]受教并工作四十年，曾任数学与哲学教授。[[1967年]]迁往[[加利福尼亚大学洛杉矶分校]]。
'''阿隆佐·邱奇'''（Alonzo Church，{{bd|1903年|6月14日|1995年|8月11日}}）是[[美国]][[数学家]]，1936年发表[[可计算函数]]的第一份精确定义，对[[算法|-{zh-tw:演算法;zh-cn:算法;}-]]理论的系统发展做出巨大贡献。邱奇在[[普林斯顿大学]]受教并工作四十年，曾任数学与哲学教授。1967年迁往[[加利福尼亚大学洛杉矶分校]]。


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


==著作==
==著作==
第32行： 第29行：
*[[λ演算]]
*[[λ演算]]


==外部连接==
==外部链接==
*[http://fhopehltb.appspot.com/church_1936/index.html An unsolvable problem of elementary number theory 中譯本|] {{Wayback|url=http://fhopehltb.appspot.com/church_1936/index.html |date=20140222223420 }}
* http://www.cartage.org.lb/en/themes/Biographies/MainBiographies/C/Church/1.html
* https://web.archive.org/web/20050320033152/http://www.cartage.org.lb/en/themes/Biographies/MainBiographies/C/Church/1.html
* {{MacTutor Biography|id=Church}}
* {{MacTutor Biography|id=Church}}
* [http://genealogy.math.ndsu.nodak.edu/html/id.phtml?id=8011 阿隆佐·邱奇在数学家族谱网站上的条目(2007年6月提取)]
* [http://genealogy.math.ndsu.nodak.edu/html/id.phtml?id=8011 阿隆佐·邱奇在数学家族谱网站上的条目(2007年6月提取)] {{Wayback|url=http://genealogy.math.ndsu.nodak.edu/html/id.phtml?id=8011 |date=20070819234226 }}
* [http://www.math.ucla.edu/~asl/bsl/0104/0104-005.ps H B Enderton, In memoriam: Alonzo Church]
* [http://www.math.ucla.edu/~asl/bsl/0104/0104-005.ps H B Enderton, In memoriam: Alonzo Church] {{Wayback|url=http://www.math.ucla.edu/~asl/bsl/0104/0104-005.ps |date=20210308102402 }}


{{Authority control}}
⚫
[[Category:数学家|C]]
{{DEFAULTSORT:Church, Alonzo}}
⚫
[[Category:美国数学家|C]]
[[Category:逻辑学家|C]]
[[Category:20世紀美國數學家]]
[[Category:计算机领域先驱者|C]]
[[Category:20世紀美國哲學家]]
[[Category:洛杉磯加州大學教師|C]]
[[Category:美國邏輯學家]]
⚫
[[Category:美國長老宗教徒]]
⚫
[[Category:可计算性理论家]]
[[Category:普林斯顿大学校友]]
[[Category:哈佛大學校友]]
[[Category:普林斯頓大學教師]]
[[Category:加州大學洛杉磯分校教師]]
[[Category:英国国家学术院通讯院士]]

2024年7月13日 (六) 02:29的最新版本

阿隆佐·邱奇
出生1903年6月14日
美国华盛顿哥伦比亚特区
逝世1995年8月11日(1995歲—08—11)（92歲）
美國俄亥俄州哈德遜
国籍 美国
母校普林斯顿大学
科学生涯
研究领域数学
机构普林斯顿大学
博士導師奧斯瓦爾德·維布倫（Oswald Veblen）
博士生斯蒂芬·科尔·克莱尼（1934）
艾伦·图灵（1938）
约翰·凯梅尼（1949）
马丁·戴维·戴维斯（1950）
迈克尔·拉宾（1957）
达纳·斯科特（1958）
雷蒙德·斯穆里安（1959）

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

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

著作

[编辑]

数理逻辑介绍，Alonzo Church, Introduction to Mathematical Logic (ISBN 0-691-02906-7)

参见

[编辑]

外部链接

[编辑]
检索自“https://zh.wikipedia.org/zhwiki/w/index.php?title=阿隆佐·邱奇&oldid=83384948”