邱奇

✍ dations ◷ 2025-12-09 05:41:46 #邱奇

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

相关

酶酶（英语：Enzyme（/ˈɛnzaɪm/ ）），是一类大分子生物催化剂。酶能加快化学反应的速度（即具有催化作用）。由酶催化的反应中，反应物称为底物，生成的物质称为产物。几乎所有细胞内的代谢过
氧氟沙星氧氟沙星（氟嗪酸， Ofloxacin）是一种人工合成、广谱抗菌的氟喹诺酮类药物。氧氟沙星合成于1982年，口服易吸收，快而完全，血药浓度高而持久，药物体内分布广。此抗生素适合做为最后一线
微观经济学微观经济学（英语：Microeconomics），又译微观经济学，有时称为价格理论，是现代经济学的一个分支，研究经济体系中最基本单元（个体、企业）的经济行为。微观经济学重视需求与供给，如何影响个
原电池br /smallspan style=font-weight:normal;/span<原电池（英语：Primary cell），又称一次电池，是化学电池的一种，以化学能转变为电能而提供电力。一次电池只可放电一次，当内里的化学物质全部起了化学作用后便不能再能提供电能，也不能将
普通话普通话是中华人民共和国政府认定的汉语通用语。普通话以北京语音为标准音，以北方话为基础，以典范的现代白话文著作为语法规范。普通话与汉族人口占比最高的官话方言区最为类似
米南德米南德（希腊文：Μένανδρος，前342年－前291年），古希腊剧作家，被认为是古希腊新喜剧的代表，其剧本多以爱情故事和家庭生活为主题，塑造出性格丰富的人物形象，提倡人与人之间互相真
卡西奥多罗斯卡西奥多罗斯（英语：Cassiodorus，约485年－约585年），中世纪初期罗马城的政治家与作家，出身于贵族家庭，早年即博学多才，后参加政务。不久转攻基督教事务，曾因为被东罗马帝国的军队所俘获
回避型人格障碍回避性人格障碍（英语: Avoidant Personality Disorder; 简称AvPD或APD），或译畏避型人格障碍、逃避型人格障碍、畏惧型人格违常，属于人格障碍的一种。因为害怕在别人面前丢脸，此类
胸导管胸导管是人和羊膜动物体中最长最大的淋巴管。胸导管自乳糜池经主动脉裂孔进入胸腔；沿脊柱右前方和胸主动脉与奇静脉之间上行，经食管与脊柱之间向左侧斜行，然后沿脊柱左前方上行
把字句把字句，是汉语中的一种主动式动词谓语句。这种句式又称为处置式，因为动词所表示的动作对宾语作出了“处置”，例如使其位置或状态改变。基本的结构为：主语＋“把/将”＋宾语＋动作。汉