发表服务
1936年，24岁的图灵发表了著名论文《论可计算数机器在密码判定问题的应用》，提出了”理想计算机“。1950年的另一篇论文《ComputingMachineryandIntelligence》提出了“计算机能思考吗？”的问题，并设计了著名的“图灵测试”。
图灵三篇论文，均有英文原文和中文翻译。计有：1.1936-OnComputableNumbers,withanApplicationtotheEntscheidungsproblem（论可计算数在判定问题中的应用）2.1950-ComputingMachineryandIntelligence（计算机器与智能，也译作：机器能思考么？...
图灵的论文发表在伦敦数学学会1936年11月和12月的论文集里，1937年12月发表了一份三页纸的修订稿。阿隆索•邱奇在1937年5月的《符号逻辑杂志》（JournalofSymbolicLogic）中针对这篇论文写了一篇只有四段的评论，其中写道：“一位持有铅笔、纸和…
图灵在1936年的论文（《论可计算数及其在判定问题上的应用》）的前言、第一、二章中提出了几个基本概念（见博文：可计算性——图灵1936年论文解读（1）），这些概念与当时数学和数理逻辑中一些观念不同，也与以前关于“算法”的直觉概念有别，图灵突出了机器计算的直观性，这些都是以后...
图灵1936年论文解读（1）：可计算性.“可计算性（Computability）”是可计算性理论的核心概念，具有深刻的数学内涵和哲学底蕴，图灵、丘奇、哥德尔等前辈的工作为此概念打下了坚实的基础，应该说对此概念的理解已经不成问题了，然而从“NP是可计算的”流行...
1936年,图灵把他的想法写成了《论数字计算在可判定性问题的应用》,在这篇论文中,他提出了著名的“图灵机”。图灵提出这个虚构的思想机器,本来是为了论证什么问题是可计算的,但他却得到一个天大的意外收获,他无意中证明了通用计算机的可行性,这篇论文成为了现代计算机的理论基础。
1936年，图灵发表了他的论文“关于可计算数字，对Entscheidungsproblem的应用”(1936)。[48]在本文中，图灵重新阐述了KurtGödel于1931年关于证明和计算限制的结果，用形式化和称为图灵机的形式和简单假设设备取代了哥德尔基于通用算法的形式语言。
图灵的贡献当然是巨大的，但他和其他人一样，都是站在巨人的肩膀上。图灵1936年的著名论文中，引用了Gödel和Church的开创性成果。我们今天如果将图灵一人捧上神坛，过度夸大他的贡献，而对其他先驱的工作视而不见，图灵本人想必也不会同意。
1936年9月，图灵应邀到美国普林斯顿高级研究院学习，并与丘奇一同工作，在美国期间，他对群论作了一些研究，并撰写了博士论文，1938年在普林斯顿获博士学位，其论文题目为“以序数为基础的逻辑系统”，1939年正式发表，在数理逻辑研究中产生了深远的
图灵的贡献当然是巨大的，但他和其他人一样，都是站在巨人的肩膀上。图灵1936年的著名论文中，引用了Gdel和Church的开创性成果。我们今天如果将图灵一人捧上神坛，过度夸大他的贡献，而对其他先驱的工作视而不见，图灵本人想必也不会同意。
1936年，24岁的图灵发表了著名论文《论可计算数机器在密码判定问题的应用》，提出了”理想计算机“。1950年的另一篇论文《ComputingMachineryandIntelligence》提出了“计算机能思考吗？”的问题，并设计了著名的“图灵测试”。
图灵三篇论文，均有英文原文和中文翻译。计有：1.1936-OnComputableNumbers,withanApplicationtotheEntscheidungsproblem（论可计算数在判定问题中的应用）2.1950-ComputingMachineryandIntelligence（计算机器与智能，也译作：机器能思考么？...
图灵的论文发表在伦敦数学学会1936年11月和12月的论文集里，1937年12月发表了一份三页纸的修订稿。阿隆索•邱奇在1937年5月的《符号逻辑杂志》（JournalofSymbolicLogic）中针对这篇论文写了一篇只有四段的评论，其中写道：“一位持有铅笔、纸和…
图灵在1936年的论文（《论可计算数及其在判定问题上的应用》）的前言、第一、二章中提出了几个基本概念（见博文：可计算性——图灵1936年论文解读（1）），这些概念与当时数学和数理逻辑中一些观念不同，也与以前关于“算法”的直觉概念有别，图灵突出了机器计算的直观性，这些都是以后...
图灵1936年论文解读（1）：可计算性.“可计算性（Computability）”是可计算性理论的核心概念，具有深刻的数学内涵和哲学底蕴，图灵、丘奇、哥德尔等前辈的工作为此概念打下了坚实的基础，应该说对此概念的理解已经不成问题了，然而从“NP是可计算的”流行...
1936年,图灵把他的想法写成了《论数字计算在可判定性问题的应用》,在这篇论文中,他提出了著名的“图灵机”。图灵提出这个虚构的思想机器,本来是为了论证什么问题是可计算的,但他却得到一个天大的意外收获,他无意中证明了通用计算机的可行性,这篇论文成为了现代计算机的理论基础。
1936年，图灵发表了他的论文“关于可计算数字，对Entscheidungsproblem的应用”(1936)。[48]在本文中，图灵重新阐述了KurtGödel于1931年关于证明和计算限制的结果，用形式化和称为图灵机的形式和简单假设设备取代了哥德尔基于通用算法的形式语言。
图灵的贡献当然是巨大的，但他和其他人一样，都是站在巨人的肩膀上。图灵1936年的著名论文中，引用了Gödel和Church的开创性成果。我们今天如果将图灵一人捧上神坛，过度夸大他的贡献，而对其他先驱的工作视而不见，图灵本人想必也不会同意。
1936年9月，图灵应邀到美国普林斯顿高级研究院学习，并与丘奇一同工作，在美国期间，他对群论作了一些研究，并撰写了博士论文，1938年在普林斯顿获博士学位，其论文题目为“以序数为基础的逻辑系统”，1939年正式发表，在数理逻辑研究中产生了深远的
图灵的贡献当然是巨大的，但他和其他人一样，都是站在巨人的肩膀上。图灵1936年的著名论文中，引用了Gdel和Church的开创性成果。我们今天如果将图灵一人捧上神坛，过度夸大他的贡献，而对其他先驱的工作视而不见，图灵本人想必也不会同意。
发表服务