1936年9月,艾伦·麦席森·图灵应邀到美国普林斯顿高级研究院学习,并与丘奇一同工作。 在美国期间,他对群论作了一些研究,并撰写了博士论文,1938年在普林斯顿获博士学位,其论文
“可计算性(Computability)”是可计算性理论的核心概念,具有深刻的数学内涵和哲学底蕴,图灵、丘奇、哥德尔等前辈的工作为此概念打下了坚实的基础,应该说对此概
于是,图灵废寝忘食的研究深入,很快携一篇深奥的论文横空出世,论文的名字非常拗口,名为《论可计算数及其判定问题上的应用》。 此文一出,举世皆惊! 因为,图灵居
1936年5月,图灵写出了表述他的最重要的数学成果的论文“论可计算数及其在判定问题中的应用”,该文于1937年在《伦敦数学会文集》第42期上发表后,立即引起广泛的
1936 年 11 月 12 日，“祖师爷”艾伦·图灵（Alan Turing） 发表了题为 On Computable Numbers with an Application to the Entscheidungs-problem 的论文，定义了
艾伦·图灵 1936年5月28日,艾伦·图灵发表《论可计算数及其在判定问题上的应用》,提出图灵机模型。 艾伦·麦席森·图灵(Alan Mathison Turing,1912年6月23日-1954年6月7日),英国数学家、逻辑学家,
1936 年 11 月 12 日，艾伦·图灵发表的论文 On Computable Numbers with an Application to the Entscheidungs-problem 定义了一种叫做“通用机器”的概念。 这个概
图灵的论文发表在伦敦数学学会 1936 年 11 月和 12 月的论文集里，1937 年 12 月发表了一份三页纸的修订稿。 阿隆索・邱奇在 1937 年 5 月的《符号逻辑杂志
发表服务
