首页 >
邱奇
✍ dations ◷ 2025-06-07 05:48:22 #邱奇
阿隆佐·邱奇(Alonzo Church,1903年6月14日-1995年8月11日)是美国数学家,1936年发表可计算函数的第一份精确定义,对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年,曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。解决算法问题包括构造一个能解决某一指定集及其他相关集的算法,如果该算法无法构建,则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破,邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。数理逻辑介绍,Alonzo Church, Introduction to Mathematical Logic (ISBN 0-691-02906-7)
相关
- 头孢唑林头孢唑林(英语:Cefazolin,cefazoline 或 cephazolin),是一种用于治疗多种病原细菌的抗细菌药,尤其针对蜂窝组织炎、泌尿道感染、肺炎、心内膜炎、败血性关节炎及胆道发炎(英语:bilia
- 生物物理学生物物理学(英语:Biophysics)是生物学和物理学的交叉学科,研究生物的物理特性。生物物理涵盖各级生物组织,从分子尺度到整个生物体和生态系统。它的研究范围有时会与生理学、生物
- 微小纺锤形噬菌体科微小纺锤形噬菌体科(Fuselloviridae)是双链DNA病毒中的一个科,该类病毒外观呈纺锤状,主要感染于古细菌。下有一属:代表种:
- 犬小芽胞菌犬小孢子菌(学名:Microsporum canis)是小孢癣菌属下的一种真菌,分布于全球,是造成皮肤感染的重要病源菌之一,对毛发有高度感染力,主要感染猫、狗等宠物,但也可以对人类造成感染。犬
- 布伦特兰夫人格罗·哈莱姆·布伦特兰(挪威语:Gro Harlem Brundtland, 读音 帮助·信息,1939年4月20日-),挪威政治家、外交家、医生,曾任挪威首相及世界卫生组织总干事。她被视为国际上的可持续
- 空泡系数空泡系数(英语:void coefficient),又称反应性空泡系数(void coefficient of reactivity),是在核工程中一个用于估计核反应堆核连锁反应使用的中子慢化剂和冷却剂对空泡(一般为蒸汽
- 受精受精也称作配子结合或受胎,指来自同一物种的生殖细胞(配子)结合并形成新生物个体的过程。对动物来说,这个过程是由精子及卵子融合,最后发育形成胚胎。依照不同的动物物种,受精可以
- 椋鸟椋鸟科是鸟纲雀形目中的一科,约有30个属。这个科的鸟是一种小到中型的雀类,大多为地栖性杂食动物,叫声变化多端。英文名字叫做“Starling”,是从拉丁文”Sturnidae”翻译而来的
- 劳务派遣人力派遣也可称为人才派遣、劳务派遣、劳动派遣、临时劳动(temporary)、机构劳动(agency work)或租赁劳动(leased work),是一种劳动雇用的方式,意即此类劳工名义上是属于人力
- 汉字字体风格陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书(大篆 ‧ 小篆)隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧