邱奇

✍ dations ◷ 2025-08-08 05:23:03 #邱奇

阿隆佐·邱奇（Alonzo Church，1903年6月14日－1995年8月11日）是美国数学家，1936年发表可计算函数的第一份精确定义，对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年，曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。解决算法问题包括构造一个能解决某一指定集及其他相关集的算法，如果该算法无法构建，则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破，邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。数理逻辑介绍，Alonzo Church, Introduction to Mathematical Logic (ISBN 0-691-02906-7)

相关

航天飞机航天飞机（英语：Space Shuttle），是一种为穿越大气层和太空的界线（高度100公里的卡门线）而设计的火箭动力飞机。航天飞机结合了飞机与航天器的性质，像有翅膀的航天器。迄今只有美国与
肾脏肾（Kidney）是脊椎动物体内的一种器官，属于泌尿系统的一部分，负责过滤血液中的杂质、维持体液和电解质的平衡，最后产生尿液经由后续管道排出体外；同时也具备内分泌的功能以调节血压
中大西洋区中大西洋州份（英语：Mid-Atlantic），通常是指美国境内的在新英格兰和美国南大西洋地区之间的地区。根据不同来源，有不同的定义，它一般包括纽约州、新泽西州、宾夕法尼亚州、特拉华
大会会员资格请参阅关于大会会员资格的两篇文章：联合国大会（简称联大）是联合国主要机构之一。联大首次会议于1946年1月10日在伦敦卫理公会中央礼堂召开，有来自51个国家的代表参与了
巴勒斯坦问题进行中持续中的冲突以色列-巴勒斯坦冲突是持续中的冲突，为阿以冲突及中东战争的一部分。巴以冲突不能够简单地概括为所有以色列犹太人与所有巴勒斯坦阿拉伯人之间的双边冲突
野生生物野生动物泛指各种生活在自然状态下，未经人类驯化的动物。自然界里，野生动物会用排泄物来标识其领土，宣示主权的习惯。野生动物，故名思意，为野外生长繁殖的动物，一般而言，具有以下特
圈地在12到19世纪，在以英国为代表的欧洲出现了所谓的圈地运动（英语：Enclosure）。由中世纪到18世纪，整个欧洲的农业体系十分相似。土地所有权集中于国王（King）或取得罗马教廷承认的皇帝（E
中视新闻台中视新闻台（英语：CTV News Channel），全名为中国电视新闻台（官方），是中国电视公司（中视）的无线数字电视频道之一，2004年7月1日开播。2004年6月1日，中视总经理江奉琪任命新闻部经理胡雪珠
词根词根（root）是基本构词的基本词素，与词缀相对并携带主要词汇信息。词根有两种，能够独立构词的为自由词根(Free Root)，必须与其他词素组合构词的是粘附词根（Bound Root).闪语系的词
Course in General Linguistics《普通语言学教程》（法语：Cours de linguistique générale）是由索绪尔的学生查尔斯巴利和薛施蔼基于他们老师1906年和1911年在日内瓦大学几年之间的讲座笔记而编辑的语言学著