图灵

图灵 基本简介 艾伦·麦席森·图灵（Alan Mathison Turing，1912年6月23日－1954年6月7日），英国数学家、逻辑学家，被称为计算机科学之父，人工智能之父。 图灵机 在《论数字计算在决断难题中的应用》中，图灵提出了“可计算性”理论。“可计算性”理论是为了解答库尔特·哥德尔提出的数学逻辑悖论：“任何数学系统中总是会存在不能被证明的命题”。在这篇论文的附录里他用一条无限长的纸带

>>阅读原文<<