阿隆佐·邱奇

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

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

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

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

相关

  • 道兰氏医学词典多兰(Dorland's)是一个在不同媒体上(包括印刷书籍,光碟和线上内容)的家庭医学参考著作(包括字典,拼写和拼写检查软件)的品牌名称。其旗下产品为《多兰医学插图词典》(目前出版至第
  • 最小对最小对立体(minimal pair)在音韵学中,指的是在某个语言中一对字词,这对字词的音韵元素,例如语音、音位、声调、时位(chroneme),只有一处相异,而有不同的词意。这个概念可以用来说明某
  • 核外电子电子层,或称电子壳或电子壳层,是原子物理学中,一组拥有相同主量子数n的原子轨道。电子层组成为一粒原子的电子序。这可以证明电子层可容纳最多电子的数量为
  • OsOsub2/sub二氧化锇(Osmium dioxide)是锇的氧化物之一,化学式为OsO2。有两种晶型:第一种:分子量222.20,桔棕色晶体。相对密度11.37(21.4℃),加热到500℃时,其中30%转化为四氧化锇。不溶于水
  • 地中海运动会地中海运动会(英语:Mediterranean Games;法语:les Jeux Méditerranéens)是由地中海运动会国际委员会组办的一地中海沿岸亚非欧地区性的综合运动会。此运动会也是地中海沿海地区
  • 莫瑙恩湖莫瑙恩湖(Lac Monoun)是非洲中西部国家喀麦隆的湖泊,位于该国西部省 (喀麦隆),1984年8月15日,莫瑙恩湖发生湖底喷发,释放大量二氧化碳,造成37人死亡,当局于2003年在湖中安装抽气装置
  • 奥地利国家银行奥地利国家银行(德语:Oesterreichische Nationalbank)是奥地利的中央银行,也是欧洲中央银行的会员之一。奥地利国家银行的前身是奥地利国家特别银行,成立于1816年。1878年改制为
  • 定安话定安话是闽语琼文话(海南话)府城片的一种方言,通行于中国海南省东北部定安县。就海南话而言,海口话浊,文昌话甜,定安话软,三亚话沉,琼海话婉转,澄迈话起伏,万宁话粗犷,乐东话则如快板…
  • 施莱辛格施莱辛格(Schlesinger)可以指:
  • 期货交易所期货交易所(Futures exchange ),或称为期货选择权交易所,或称期货市场(futures market),是以公司或互助组织的型态来提供衍生性金融商品的交易平台。期货交易所起源于对商品期货