历史上的今天 - 发生了什么 30 November 1936 公元

1936年，图灵发表了他的论文《论可计算数及其在判定问题上的应用》。该论文分两部分发表在《伦敦数学学会学报》上，第一部分于11月30日发表，第二部分于12月23日发表。

图灵发表了他的论文《论可计算数，及其在判定问题上的应用》。该论文分两部分发表在《伦敦数学学会学报》上，第一部分于11月30日发表，第二部分于12月23日发表。在这篇论文中，图灵重新阐述了库尔特·哥德尔1931年关于证明和计算局限性的结果，用后来被称为图灵机的形式化且简单的假设装置取代了哥德尔基于通用算术的形式语言。判定问题最初由德国数学家大卫·希尔伯特于1928年提出。图灵证明，如果他的“通用计算机器”能够以算法形式表示，它将能够执行任何可想象的数学计算。他进而证明判定问题没有解决方案，首先证明了图灵机的停机问题是不可判定的：不可能通过算法决定图灵机是否会停止。

1936年，图灵发表了他的论文《论可计算数及其在判定问题上的应用》。该论文分两部分发表在《伦敦数学学会学报》上，第一部分于11月30日发表，第二部分于12月23日发表。

图灵发表了他的论文《论可计算数，及其在判定问题上的应用》。该论文分两部分发表在《伦敦数学学会学报》上，第一部分于11月30日发表，第二部分于12月23日发表。在这篇论文中，图灵重新阐述了库尔特·哥德尔1931年关于证明和计算局限性的结果，用后来被称为图灵机的形式化且简单的假设装置取代了哥德尔基于通用算术的形式语言。判定问题最初由德国数学家大卫·希尔伯特于1928年提出。图灵证明，如果他的“通用计算机器”能够以算法形式表示，它将能够执行任何可想象的数学计算。他进而证明判定问题没有解决方案，首先证明了图灵机的停机问题是不可判定的：不可能通过算法决定图灵机是否会停止。