阿隆佐·邱奇

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

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

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

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

相关

PVC聚氯乙烯（英语：Polyvinyl Chloride，缩写：PVC）是氯乙烯经加成聚合反应得到的的高分子材料。是聚乙烯和聚丙烯之后，第三种最广泛生产的合成塑胶聚合物。聚氯乙烯有两种基本形式：硬性
嫩肉粉木瓜蛋白酶（英语：papain），或简称木瓜酶、木瓜酵素，又称嫩精或木瓜粉，是存在于番木瓜果实中的一种半胱氨酸蛋白酶。木瓜蛋白酶对于嫩化肉类起着重要作用，市面上更多称为松肉粉或嫩肉
约翰·康斯特勃约翰·康斯特勃（John Constable，1776年6月11日－1837年3月31日），英国风景画家。康斯特勃出生于泰晤士河河口北面的萨福克郡，父亲是一位磨房主。他的一生非常平淡，他一直在家乡作画，从
span class=nowrapUOsub2/subSOsub4/sub/span&g硫酸铀酰是一种无机化合物，化学式为UO2SO4，有放射性。存在无水物和各种水合物（0.5到4水）。将三氧化铀溶解在硫酸溶液中，得到产物（水合物）。硫酸铀酰的重水溶液可以用作均相反应堆的
舒国治舒国治（1952年－），台湾作家、美食家。祖籍浙江奉化。毕业于世界新闻专科学校（今世新大学）电影制作科。早年从事电影工作，之后转而投入写作，作品以散文、游记、短篇小说为主。曾获得华
历元历元，在天文学是一些天文变数作为参考的时刻点，例如天球座标或天体的椭圆轨道要素，因为这些会受到摄动而随着时间变化。这些会随着时间变动的天文变量可能包括天体的平黄经或平
斯坦斯特德机场伦敦斯坦斯特德机场（英语：London Stansted Airport；IATA代码：STN；ICAO代码：EGSS），位于伦敦东北的埃塞克斯郡境内，是一座服务于英国伦敦的单跑道民用机场，多家欧洲廉价航空公司的枢杻机
格林尼治半岛坐标：51°29′53″N 0°00′23″E / 51.498131°N 0.006317°E / 51.498131; 0.006317格林威治半岛（Greenwich Peninsula）是英格兰伦敦东南部的一个地区，位于皇家格林威治伦敦自
肖松尼人肖松尼（Shoshone）(i/ʃoʊˈʃoʊniː/ or i/ʃəˈʃoʊniː/) 是个曾经活跃于北美洲美国西部与墨西哥北部的大部族，分为三大部落；本族语言是肖松尼语。此语属犹他－阿兹提克语系
柳河柳河县在中国吉林省东南部，是通化市下辖的一个县，邻接辽宁省。地处东经125°17′～126°35′，北纬41°54′～42°35′。东北与辉南县接壤，东与白山市八道江区、江源县、靖宇县相连，北