阿隆佐·邱奇

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

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

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

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

相关

休斯飞机公司休斯飞机公司（Hughes Aircraft）曾是美国一家主要的防务和航天公司，包括休斯航天与通讯公司和休斯直升机公司。由霍华德·休斯在1932年创建。在1980年代以后由于被分拆、并购而
五逆五逆罪是佛教所有恶业中最重者；“逆”者，“罪大恶极，极逆于常理”之意。造作五逆罪为堕无间地狱（亦称阿鼻地狱）的业因，命终就是死亡时将堕落到无间地狱，故亦称五无间业或五不救罪。
介电系数在电磁学里，相对电容率，又称为相对介电常数，定义为电容率与真空电容率的比例∶其中， ϵ r
印度烤饼印度烤饼（Chapati），亦作印度面包、印度麦饼或音译作洽巴提，是南亚地区的一种主食。印度烤饼中空，用全麦粉加水和盐搓成团，然后擀平烤制，再用来点各种咖喱食用。
显花植物传统分类方式：Anthophyta Magnoliophyta Cronquist, Takht. & W.Zimm., 1966被子植物（学名：Angiosperms），又名开花植物或有花植物。（以前的生物学分类称“被子植物门”，而现今被归
年代新闻台年代新闻台（英语：Era News），是年代集团旗下的有线电视新闻频道，从1996年开始拨放，与壹电视新闻台进行内容共享。（英文台名：ERA LIFE或ERA MONEY，依节目播出内容而定）Al Arabiya ·
帕克城帕克城（英文：Park City），是美国犹他州萨米特县下属的一座城市。建市于 1869年，面积大约为17.57平方英里（45.5平方公里），海拔约为7,000英尺（2,100米）。根据2010年美国人口普查，该市有人
阿布哈里卜监狱巴格达中央监狱，旧称阿布格莱布监狱（阿拉伯语：سجن أبو غريب‎ Sijn Abu Ghuraib‎；意为“乌鸦之父”或“乌鸦之所”），为于伊拉克巴格达以西32公里的阿布格莱布城。在20
约书亚·沃伦约书亚·沃伦（Josiah Warren，1798年－1874年）是美国的个人无政府主义者、发明家、和作家。他被广泛视为是美国的第一名无政府主义者，而他在1833年开始出版的期刊《The Peaceful Re
学术领域大纲这是一个学科的列表。学科是在大学教学(教育)与研究的知识分科。学科是被发表研究和学术杂志、学会和系所所定义及承认的。领域通常有子领域或分科，而其之间的分界是随便且模