图灵回应埃米尔 · 波斯特（ Emil Post ）对 1936 年论文 “On Computable Numbers, with an Application to the Entscheidungsproblem” 的评论（ 图灵回应Post批评 - 一封写给丘奇信件的草稿 ），是一份十分难得的历史文献！ 波斯特的评论源自 1947 年发表在美国《符号逻辑杂志》（ Journal of Symbolic Logic ） ...
1936 年，丘奇在《美国数学杂志》 (American Journal of Mathematics ）上发表了题为 “ 初等数论中的不可解问题 ” （ An unsolvable problem of elementary number theory ）的论文，否定性回答了 Hilbert 的判定问题（ Entscheidungsproblem ）：不存在通用算法判定给定的 λ 表达式的可定义性。 图灵很快就证明了 ...
他们完全忘记了什么是数学创造：一种经过数月和数年逐渐显现出来的设想，揭示出显而易见却无人见过的事物，形成一种无人梦想过的明显断言 …… 并且第一个提出这个断言的人可以在五分钟内利用现成的技术来证明这一点。 —— 格罗滕迪克，《收获与播种》 They have completely forgotten what is a mathematical crea ...
1， 译文 对于给定的图灵机 M，停机 问题是指判定给定有限字符串 u 是否在 纸带上以 u 为起始点，纸带头位于 u 的初始符号上 时， M 最 终会停机。 对于给定的图灵机 M 和 给定符号 S0，打印 问题是指判定给定有限字符串 u 是否在 纸 带上以 u 为起始点， 纸 带头位于 u 的初始符号上 时， M 最 终会上出现 ...
艾伦-图灵的贡献（Charles Petzold，2012）
博文
视频
基金
相册
收藏
积分
会议