1) computably enumerable degree
可计算枚举图灵度
2) c.e. degree
计算可枚举度
1.
) degree a is called plus cupping, if for every c.
计算可枚举度(computably enumerable,c。
3) computably enumerable degrees
可计算枚举集
4) Recursively enumerable degree
递归可枚举度
5) Recursive enumerable degrees
逆归可枚举度
6) turing computability
图灵机可计算性
补充资料:图灵,A.M.
英国数学家,英国皇家学会会员。1912年6月23日生于伦敦,1954年6月7日卒于柴郡威姆斯洛。1931~1935年在英国剑桥国王学院攻读数学,独立完成长篇学位论文《概率的中心极限定理》,为此获1936年史密斯奖金。1936~1938年赴美国普林斯顿大学从事数理逻辑研究,发表论文《论可计算数及其对判定问题的应用》(1937),文中提出著名的图灵机的概念,因此成为自动机理论的创始人。这篇论文当时就引起各国数学家的高度重视。现代电子数字计算机就是根据图灵机的构思而制造成功的。他在访问美国普林斯顿大学期间,与著名数学家A.丘奇一起从事研究工作。1938年获得普林斯顿大学哲学博士学位,担任著名的美国数学家J.von诺伊曼的助手。同年回到英国剑桥接受国王学院的职位,研究ζ函数的计算方法,直到发生第二次世界大战。战争期间他参加军事研究工作,1939~1945年在英国外交部从事一项绝密研究工作,为此获得英国皇家军事勋章。在此期间积累了有关脉冲技术的丰富知识,对他后来设计大型电子数字计算机有着深远的影响。1945年到英国国立物理研究所新建的数学部工作,开始设计英国第一台大型电子数字计算机ACE,于1950年完成。这就是后来英国电气公司制造的DEUCE系列电子数字计算机。ACE的样机现存放在英国伦敦肯辛顿科学博物馆里。1949年他到英国曼彻斯特大学任教授。1950年发表论文《计算机能思考吗?》,提出著名的图灵试验。可通过问答来测试计算机是否具有类似人的智力。1951年当选为英国皇家学会会员。为了纪念他对计算机科学的贡献,美国计算机协会(ACM)设有图灵奖,每年授予对计算机科学有重大贡献的人。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条