族谱网
首页
登录/注册
置顶
词条 阿隆佐·邱奇

阿隆佐·邱奇

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

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

阿隆佐·邱奇简介资料
1903年06月14日
Oswald Veblen
数理逻辑、理论计算机科学
哈德逊
1995年08月11日
相关人物
普林斯顿大学
普林斯顿大学
 彼得·兰丁
彼得·兰丁
 艾伦·图灵
艾伦·图灵
阿隆佐·邱奇相关文献
阿雷佐
景点圣玛利亚教堂阿雷佐主教座堂
查看全文
阿隆佐·邱奇
著作数理逻辑介绍，AlonzoChurch,IntroductiontoMathematicalLogic(ISBN0-691-02906-7)参见邱奇-图灵论题一阶逻辑高阶逻辑λ演算
查看全文
佐伊·达奇
个人经历达奇生于美国加利福尼亚州洛杉矶，她的父亲霍华·达奇是一位犹太人导演，母亲莉·汤普森是名演员，达奇有一个姐姐梅德林·达奇（MadelynDeutch），也是一名演员。达奇的好莱坞生涯始于2011年。她在好莱坞的第一个角色是美国影集《重返犯罪现场》中扮演罗伦（Lauren）；而她出演的第一部电影是独立制片《MayorCupcake（英语：MayorCupcake）》，她在片中与母亲和姐姐演出母女档。作品电影电视剧获奖和提名
查看全文
佐兰·托西奇
俱乐部生涯佐兰·托西奇在家乡球队兹雷尼亚宁普罗莱特（FKProleterZrenjanin）开始自己的足球生涯。2005-06赛季，他中途加盟布杜奇诺斯特（FKBudućnostBanatskiDvor）。这两家俱乐部后来合并为兹雷尼亚宁巴纳特（FKBanatZrenjanin），现为塞尔维亚足球超级联赛球队。2006-07赛季，托西奇为巴纳特出场25次，打进两个球，帮助球队保级成功。托西奇在俱乐部和国家队的表现吸引了欧洲多家俱乐部的注意。2007年8月6日，他与贝尔格莱德游击队签订了为期4年的职业合同。2008年11月22日，英国《每日邮报》报道称游击队与曼联达成共识，托西奇将在2009年1月的冬季转会窗中加盟曼联。由于托西奇在最近一年代表国家队出场未达到75%的比例，申请英国工作许可时可能存在困难。但11月28日，曼联宣布托西奇已经拿到工作许可，并且预计可在转会窗开启时完成转会。尽管此...
查看全文
阿龙·尼姆佐维奇
参考文献AronNimzowitsch.MySystemReprinted.B.TBatsfordLtd.1987.ISBN0-7134-5655-8.Reinfeld,Fred.HypermodernChess:AsDevelopedintheGamesofitsGreatestExponentAronNimzovich.DoverPublications.1948.ISBN0-486-20448-0.Chernev,Irving.TwelveGreatChessPlayersandTheirBestGames.NewYork:Dover.1995:1–13.ISBN0-486-28674-6.Keene,Raymond.AronNimzowitsch:MasterofPlanning.G.BellandSons.1974.ISBN4-87187-846-5.
查看全文
阿隆佐·邱奇相关标签
逻辑学家
普林斯顿大学校友
1903年出生
洛杉矶加州大学教师
1995年逝世
数学家
美国数学家
计算机领域先驱者
信息技术科学家
数学家
家族谱大览
邱氏宗谱[11卷,首4卷]
原书: [出版地不详] : 忠实堂, 民国20[1931]年六修. 15册: 插图, 世系表. 黄冈始迁祖(1世): (元明之际)邱万四,自江西饶州瓦屑坝来黄冈杨逻镇迁黄州路口村至永凝七道今湖北黄冈县(永凝祖). 万四公派下路口分支祖(5世): (明)邱旻,邱金(皆为路口乡支祖) ; 邱华仁(路口湖支祖) ; 邱曾仪(路口河支祖) ; 邱子凌(路口山支祖). 万四公派下永凝分支祖(6世): (明)邱从义(训户支祖) ; 邱从鉴, 邱从敬(福户支祖) ; 邱从铎(鹏户支祖). 训户支下房祖(11世): (明)邱联云(大房),字金数 ; 邱时宠(二房),字雯所 ; 邱登云,字瑜数(三房) ; 邱时化(四房) ; 邱萃云(五房),字元薮 ; 邱时中(六房) ; 邱衡云(七房),字楚岳 ; 邱时云(八房),字仲伯 ; 邱时观(九房) ; 邱时习(十房). 福户派下支祖:(9世): (明)邱允(山 乃)(大房) ; 邱尚青(二房) ; 邱鸣重(三房),为万四公10世孙 ; 邱鸣扬(四房),为万四公10世孙 ; 邱尚策(五房) ; 邱尚漋(六房) ; 邱大器(七房),为万四公8世孙 ; 邱大通(八房),为万四公8世孙. 鹏户派下支祖(9世): (明)邱尚忠(大房) ; 邱尚让(二房) ; 邱尚孔,邱尚汉(合为三房) ; 邱尚惠(四房) ; 邱尚恕(五房) ; 邱尚思(六房). 邱氏四分原谱新增宗派(18世起): 忠恕衍绪 孝恭秉常 福由和致 名以实芳 志静履泰 修愼道光 开承丕厚 继保蕃昌. 注: 此谱主要记载训户支派. 书名据书衣题, 书名页题, 及版心题编目. 散居地: 湖北省黄冈县等地.
浏览:0
隆氏续修族谱 [17卷,首2卷]
原书: [出版地不详] : 南阳郡, 清光绪31[1905]三修木活字本. 20册 : 世系表 收藏所 : 太原市寻源姓氏文化研究中心. 注 : 微卷中此谱不全. 仅残存首2卷, 卷5-6, 9-12, 14, 及卷17. 其余卷数全缺. 始祖 : (元明之际) 隆信伯. 由江右迁邵北. 二大派祖 : 隆文旌 ; 隆文旗. 皆信伯公之子. 旌派下房祖 : (明) 隆斌 ; 隆献 ; 隆禹. 旗派下四子 : (明) 隆世荣 ; 隆世华 ; 隆世魁 ; 隆世贵. 荣, 华二公子孙未考. 谱中主要记录魁, 贵二公下子孙资料. 魁公下房祖(8世) : (明) 隆万华 ; 隆万松 ; 隆万柏 ; 隆万棕 ; 隆万九. 贵公下房祖 : 隆万聪. 派字 : 国祚再可光 家道益振昌 清源征祖德 明代建勋名 泽厚贻谋远 功成受爵荣 诗书承巨业 南楚集群英 泰运朝方庆 贤良佐治平. 散居地 : 湖南省邵阳县, 宁乡县等地. 书名据版心题编目. 书衣题 : 隆氏族谱.
浏览:0
邱氏宗谱
原书: [出版地不详 : 出版者不详], 记事至民国7[1918]. 存5册 : 世系表. 注 : 此谱总卷数不详. 仅残存卷4-8. 其余卷数全缺. 始祖, 始迁祖, 及编纂者资料俱不详. 四十九都螺蛳排祖 : 邱铭扬. 五十三都蕉堂祖 : 邱铭登. 舒(土弄)派祖(23世) : 邱崇钻. 五十二都黄柏坑房祖(26世) : 邱彭荣,字立彭. 可先公之子. 五十四都上五堡湖边房祖(26世) : 邱和荣,字立和. 华先公长子. 派字(21-35世)似为 : 世仕崇振先 荣宏胜光有 华亨德富贵. 散居地 : 江西省上饶县等地. 书名据版心题编目.
浏览:100
平西半桥邱氏族谱[7卷]
原书: [出版地不详 : 出版者不详], 光绪13[1887]年六修. 合25册: 插图, 人像, 世系表. 河南洛阳祖(1世): (唐宋之际) 二居士,讳正,字伯显,号公声. 半桥始迁祖(21世): (宋) 邱秀. 徙居广邑寺川里半桥. 秀公下派祖(31世): (元) 邱友才,讳国珍,字紫英 ; 邱友禄(前居抚州乐安县忠义乡十三都). 友才公下三房祖(32世): (明) 邱文清,讳廉,字溪周 ; 邱文聪,号纠垣 ; 邱文玉,号石屏. 旧派行(32世起): 雯孟正子应 汝国朝公卿 经维茂以德 嗣尚孔家声 传世书香远 光宗致显荣 能全龙凤质 忠孝自诚明. 新派行: 象贤昭继美 谟烈焕新猷. 注: 纂修邱振声,字以金 ; 邱在镕,字南金. 散居地: 江西省广昌县等地. 书名据书版心题编目. 书衣题: 邱氏族谱.
浏览:0
邱氏宗谱
原书: [出版地不详 : 出版者不详], 记事至民国7[1918]. 存5册 : 世系表. 注 : 此谱总卷数不详. 仅残存卷4-8. 其余卷数全缺. 始祖, 始迁祖, 及编纂者资料俱不详. 四十九都螺蛳排祖 : 邱铭扬. 五十三都蕉堂祖 : 邱铭登. 舒(土弄)派祖(23世) : 邱崇钻. 五十二都黄柏坑房祖(26世) : 邱彭荣,字立彭. 可先公之子. 五十四都上五堡湖边房祖(26世) : 邱和荣,字立和. 华先公长子. 派字(21-35世)似为 : 世仕崇振先 荣宏胜光有 华亨德富贵. 散居地 : 江西省上饶县等地. 书名据版心题编目.
浏览:100
幸州奇氏族谱
始祖奇友诚的子孙录 1896年发行, 1100-1896 全北大学图书馆
浏览:5
词条首字母:
ABCDEFGHIJKLMNOPQRSTUVWXYZ
按词条朝代:
夏朝商朝周朝春秋时期战国时期秦代汉代三国时期晋代南北朝时期隋代唐代五代十国时期宋朝元代明朝清代