首页 >
邱奇
✍ dations ◷ 2025-08-28 11:15:42 #邱奇
阿隆佐·邱奇(Alonzo Church,1903年6月14日-1995年8月11日)是美国数学家,1936年发表可计算函数的第一份精确定义,对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年,曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。解决算法问题包括构造一个能解决某一指定集及其他相关集的算法,如果该算法无法构建,则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破,邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。数理逻辑介绍,Alonzo Church, Introduction to Mathematical Logic (ISBN 0-691-02906-7)
相关
- 巨噬细胞巨噬细胞(英语:macrophage,缩写为mφ)是一种位于组织内的白细胞,源自单核细胞,而单核细胞又来源于骨髓中的前体细胞。巨噬细胞和单核细胞皆为吞噬细胞,在脊椎动物体内参与非特异性
- 人体免疫缺损病毒人类免疫缺陷病毒(英语:human immunodeficiency virus,簡稱HIV,又称艾滋病毒)是一种感染人类免疫系统细胞的慢病毒,属逆转录病毒的一种。普遍认为,人类免疫缺陷病毒的感染导致艾滋
- 死水死水又称滞水,为不流动的水体,水体之所在地没有流通的出入口。形成死水之地包括路边的小凹地、花园中的泥泞,甚至人工制造的器皿皆能形成死水。严格来说,死海亦是死水的一种。死
- 中欧中欧(英语:Central Europe)是对欧洲中部的代称,包括德国、波兰、瑞士、奥地利、捷克、匈牙利、斯洛伐克、列支敦士登与斯洛文尼亚。受二战后冷战氛围的影响,美国领导、参加北约组
- 三级会议在法国旧制度中,三级会议(法语:États généraux)指的是法国全国人民的代表应国王的召集而举行的会议。参加者共分成三级:第一级为神职人员、第二级为贵族、第三级为除前两个级
- 内阁官房内阁官房(日语:内閣官房/ないかくかんぼう naikaku kanbō ?;英语译名:Cabinet Secretariat)是日本内阁所置的行政机关,为内阁总理大臣的辅佐机构,相当于秘书处或办公厅。职责包括
- 舌岩舌岩,中医外科(疡科)病名,是发生于舌部的癌症,又称舌菌、舌疳,相当于现代医学的舌癌。中医视本病为难治之症,若延及项颌,肿如结核,称为瘰疬风(又称失荣)。
- 动物认知动物认知是指非人类的动物精神能力的研究。动物认知从比较心理学发展出来,包括动物情绪和动物学习研究,但也受到动物行为学、行为生态学、演化心理学研究的强烈影响。因此科学
- 重构重构可以指下列意思:
- 元音和谐律元音和谐律(英语:vowel harmony),又称元音调和、元音和谐,是各种黏着语的语言特色之一。这个定律指一个词语的后缀元音一定会跟词根的元音在某种程度上相一致。芬兰·乌戈尔语族