阿隆佐·邱奇

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

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

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

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

相关

临高语临高语，又称临高话，是海南岛北部临高人所使用的一种语言，属于侗台语系，使用人数约60万。尽管临高人被认为是汉族人，但临高话并非汉语的一种。临高语一般分成东西两种方言：15-17个
甚高频甚高频（英语：Very high frequency，常用缩写：VHF），是指频带由30MHz到300MHz的无线电电波。比VHF频率略低的是高频（HF），比VHF频率略高的是特高频（UHF）。VHF多数是用作电台及电视台广播，同
莫尔浩司学院坐标：33°44′48″N 84°24′55″W / 33.74667°N 84.41528°W / 33.74667; -84.41528莫尔豪斯学院（英语：Morehouse College）是一个位于美国乔治亚州亚特兰大的私立文理学院、男
孟买地铁孟买地铁（印地语/马拉地语：मुंबई मेट्रो，英语：Mumbai Metro）是印度孟买的城市轨道交通系统，于2014年6月开始营运。目前共有1条路线与12座车站，另有6条路线兴建中、超过5
泰米尔纳德邦泰米尔纳德邦（泰米尔语：தமிழ் நாடு，印地语：तमिलनाडु，拉丁字母转写：Tamil Nadu）是印度南部的一个邦，南临印度洋，东隔孟加拉湾与斯里兰卡相望，西与卡纳塔克邦、喀拉拉
布莱耐格温特布莱耐格温特（英语：Blaenau Gwent）是英国威尔士的一个自治市，位于威尔士东南部，成立于1974年，面积达1,783平方千米，人口共69,800人。东部与蒙茅斯郡和托法恩接壤，西面为卡菲利，北面为
橘子碗橘子碗（Orange Bowl）是美国战绩最好的大学美式足球队所竞逐的锦标，此锦标自1935年开始，是美国第二历史久远的美式足球赛事。近年，橘子碗的比赛都在佛罗里达州的永明体育场举行。
成都中医药大学成都中医药大学位于中国成都市，前身是1956年8月创建的成都中医学院，是中国最早创办的中医学院之一，首任校长为李斯炽，现任校长为余曙光。成都中医药大学是一所以中医药学科为主
卧龙区卧龙区现在是中国河南省南阳市的下属一个区级行政单位。总面积1007平方公里，总人口约80万人。区内地势北高南低，南北长，东西窄，由西北向东南以浅山丘陵、垄岗和平原三种地表形态
古希腊饮食古希腊人的饮食简朴而节制，即使在宴会上也不列外，一定程度上反映了古希腊在农业方面的困苦。古希腊的基本食品包括：小麦、橄榄油和葡萄酒。希腊属于地中海气候，温和湿润，阳光充足