阿隆佐·丘奇 - 完整传记、历史和发明

关键要点：

alonzo church是美国逻辑学家、数学家、教授和哲学家，他发明了lambda演算。
church于1936年创办了《符号逻辑杂志》，并在1979年之前编辑其评论部分。
他提出了church定理，该定理表明任何递归定义都可以通过定义其最终行为而不是逐项定义来给出。

alonzo church于1936年创建了lambda演算。

alonzo church（1903年6月14日-1995年8月11日）是一位杰出的美国数学家和逻辑学家，他在数理逻辑、递归论和理论计算机科学方面有着重要的作品。他最为人所知的是lambda演算、图灵-切灵论题、证明了决策问题的不可解性、弗雷格-教会本体论和教会-罗瑟定理。

在1936年，church创造了一种称为lambda演算（λ演算）的定义函数的方法。在λ演算中，他解释了自然数的编码。

快速事实

全名

alonzo church

出生日期

1903年6月14日

去世日期

1995年8月11日

净资产

200万美元

奖项

1967年当选美国艺术与科学学院院士
1978年当选国家科学院和英国学院院士

子女

三个

国籍

美国

出生地

华盛顿特区

专业领域

[“数学”,”计算机科学”,”哲学”]

机构

普林斯顿大学、哈佛大学、哥廷根大学、阿姆斯特丹大学、凯斯西储大学

贡献

创造了一种称为lambda演算（λ演算）的定义函数的方法。撰写了专著《lambda转换演算》，后来对其他人开发编程语言的语义有所帮助。共同创立了图灵-切灵论题。他还发展了一些关于可计算性理论的重要理论，至今仍在使用。

阿隆佐·成立教会是谁？

阿隆佐·教会是一位美国逻辑学家、数学家、教授和哲学家，他对理论计算机科学的基础做出了重要贡献，并发明了后来被称为 lambda演算的方法。他还因图灵-切灵论题、证明了决策问题无解性、教会-罗瑟定理和弗雷格-教会本体论而闻名。

早年生活

阿隆佐于1903年6月14日出生在华盛顿特区，他的父亲塞缪尔·罗宾斯·教会是一位和平法官，也是市政法院的法官。由于父亲健康问题失业，后来家人搬到了弗吉尼亚州。在他叔叔的帮助下，教会进入了康涅狄格州里奇菲尔德男子学校。

1920年，邱奇从里奇菲尔德高中毕业，进入普林斯顿大学，成为一名出色的学生。他发表了第一篇关于洛伦兹变换的论文，并在1924年以数学学位毕业。在奥斯瓦尔德·韦布伦的指导下，普林斯顿大学授予他数学博士学位，经过三年的学习。

在获得为期两年的国家研究奖学金的帮助下，他在1927年至1928年在哈佛大学学习，1929年在哥廷根大学学习，1930年在阿姆斯特丹大学学习。在为他举办的国际研讨会上，他获得了普林斯顿大学（1985年）、凯斯西储大学（1969年）和纽约州立大学（1990年）的名誉科学博士学位。

career

princeton university

从1929年到1967年，他在普林斯顿大学教授数学和哲学，几乎度过了四十年的时间。他于1939年晋升为副教授，1947年晋升为教授，一直担任这个职位直到1961年，当时他成为数学和哲学教授。在1967年从普林斯顿大学退休后，他成为加利福尼亚大学的肯特哲学教授和数学教授。他继续在洛杉矶教学和研究，直到1990年再次退休，也就是他首次退休的23年后！1992年，他搬到了俄亥俄州的哈德逊，过完了他生命的最后三年。

other projects

邱奇于1936年创办了《符号逻辑杂志》，并担任其评论部的编辑直到1979年。早期在该杂志上，他曾发表了一篇名为《符号逻辑文献目录》的论文，而评论部的目的是继续并扩展这项工作。以下是他在文档中解释其目的的引文。他写道：

……本文档目的在于提供一个完整的、适当索引的发布物列表……关于符号逻辑的，不论在何处以及以何种语言发布的……[提供]批判性的、分析性的评论。

what did alonzo church invent?

lambda calculus (λ-calculus)

1936年，邱奇创造了一种定义函数的方法，称为λ演算（λ-calculus）。在λ演算中，他解释了被称为邱奇数的自然数的编码。如果在邱奇数上对应的函数可以用λ演算的术语表示（等同于一般递归函数），那么自然数上的函数被称为λ可计算。

在同一年，还未了解到邱奇的工作之前，阿兰·图灵创建了一种理论模型用于机器，现在称为图灵机，可以通过在带子上操作符号来执行来自输入的计算。在适当的自然数编码作为符号序列的情况下，自然数上的函数被称为图灵可计算，如果一些图灵机计算相应的编码自然数上的函数。

church-turing thesis

church-turing论题是一个数学假设，它声明图灵机可以计算任何可以由算法计算的函数。该论题最早由阿隆佐·邱奇于1936年提出，后来由艾伦·图灵在他关于可计算性的重要论文中推广。它断言除了图灵机可以计算的函数之外，算法无法计算任何其他函数。

在可计算性理论中，church-turing论题是一种关于可计算函数性质的假设（“论题”）。简单来说，church-turing论题指出，对于自然数上的函数而言，如果可以通过纸笔方法（即人类使用铅笔和纸进行的计算方法，忽略资源限制）计算，那么它也可以通过图灵机计算。

church的定理

作为一名数学家，邱奇以提出递归函数的概念并证明了被称为church定理的定理而闻名。该定理表明，任何递归定义都可以通过定义其最终行为而不是逐项定义来给出。作为一名逻辑学家，他引入了现在称为成员问题或字问题的概念。他对伯特兰·罗素的集合论的推广在20世纪中叶在数学家和哲学家中产生了一些影响，然后被奎恩的新基础所取代。他对哲学的另一个主要贡献是他对被称为教会主义立场的形成，根据这个立场，如果相信算术公理，就必须相信关于自然数集合的所有命题；这个观点在第二次世界大战后在数学家和哲学家之间主导了讨论。