阿隆佐·邱奇
美国数学家(1903—1995)
(重定向自邱奇)
阿隆佐·邱奇(Alonzo Church,1903年6月14日—1995年8月11日)是美国数学家,1936年发表可计算函数的第一份精确定义,对算法理论的系统发展做出巨大贡献。邱奇在普林斯顿大学受教并工作四十年,曾任数学与哲学教授。1967年迁往加利福尼亚大学洛杉矶分校。
阿隆佐·邱奇 | |
---|---|
出生 | 1903年6月14日 美国华盛顿哥伦比亚特区 |
逝世 | 1995年8月11日 美國俄亥俄州哈德遜 | (92歲)
国籍 | 美國 |
母校 | 普林斯顿大学 |
科学生涯 | |
研究领域 | 数学 |
机构 | 普林斯顿大学 |
博士導師 | 奧斯瓦爾德·維布倫(Oswald Veblen) |
博士生 | 斯蒂芬·科尔·克莱尼(1934) 艾伦·图灵(1938) 约翰·凯梅尼(1949) 马丁·戴维·戴维斯(1950) 迈克尔·拉宾(1957) 达纳·斯科特(1958) 雷蒙德·斯穆里安(1959) |
解决算法问题包括构造一个能解决某一指定集及其他相关集的算法,如果该算法无法构建,则表明该问题是不可解的。证明此种问题不可解性的定理是算法理论中的一大突破,邱奇的算法即为该类算法的首例。邱奇证明了基本几何问题的算法不可解性。同时证明了一阶逻辑中真命题全集的解法问题是不可解的。
著作编辑
数理逻辑介绍,Alonzo Church, Introduction to Mathematical Logic (ISBN 0-691-02906-7)
参见编辑
外部链接编辑
- An unsolvable problem of elementary number theory 中譯本| (页面存档备份,存于互联网档案馆)
- https://web.archive.org/web/20050320033152/http://www.cartage.org.lb/en/themes/Biographies/MainBiographies/C/Church/1.html
- 約翰·J·奧康納; 埃德蒙·F·羅伯遜, Church, MacTutor数学史档案 (英语)
- 阿隆佐·邱奇在数学家族谱网站上的条目(2007年6月提取) (页面存档备份,存于互联网档案馆)
- H B Enderton, In memoriam: Alonzo Church (页面存档备份,存于互联网档案馆)
🔥 Top keywords: Baike: 首页Special:搜索胖猫跳江事件背着善宰跑九龍城寨之圍城逆天奇案2璩静淚之女王歌手2024Energy (組合)新生 (网络剧)习近平匈牙利邊佑錫劉俊謙 (香港)金智媛神耆小子塞尔维亚金秀賢 (男演員)母亲节猩球崛起:王國誕生九龍寨城馴鹿寶貝家族榮耀之繼承者Seventeen (組合)六四事件不夠善良的我們张维为楊佩潔TripleS支配物种庆余年郭葦昀洪若潭命案金惠奫2024年英雄联盟季中邀请赛春色寄情人BABYMONSTER笑看風雲乘風2024排球少年!!角色列表破墓徐巧芯中华人民共和国中華民國打天下2WIND BREAKER—防風少年—习明泽排球少年!!彭丽媛磁暴ILLIT贾斯汀·比伯逆天奇案BOYNEXTDOOR猿人爭霸戰:猩凶革命張書偉我的婆婆怎麼那麼可愛我獨自升級怪獸8號謝坤達IVE (組合)與鳳行關於我轉生變成史萊姆這檔事角色列表黃道十二宮福建號航空母艦虽然不是英雄葉乃文五月天張員瑛草榴社区張文傑2024年花蓮地震极光香緹·摩爾迷宮飯呂家愷搜查班長1958日本劉德華海莉·鮑德溫蕭景鴻越位 (足球)葬送的芙莉蓮周處除三害 (電影)毛泽东願榮光歸香港林峯周雨彤伍允龍羅毓儀香港Baike: 分類索引沒有秘密猩球崛起:終極決戰角質層唐振剛柯佳嬿文化大革命