通用图灵机：半个世纪的考察
The Universal Turing Machine A Half-Century Survey
Rolf Herken · 初版 1995 年
- 4次提及
- 1人推荐
- 3位 HN 评论者
简介
Alan Turing 于1937年发表的论文《论可计算数及其在判定性问题上的应用》（On Computable Numbers, with an Application to the Entscheidungsproblem），提出了他的论题：任何有效计算都可以编写在诸如被称为 Turing machine 的自动机上。此外，该论文证明了停机问题和一阶逻辑判定问题的不可解性，并提出了通用 Turing machine 的发明。正是这篇文献，被公认为在永恒的视角下标志着“计算机时代”的开端。本书展现了 Turing 的持久影响
Hacker News 读者推荐
顺便说一句，我也强烈推荐 Robin Gandy 在 1988 年写的优秀论文《The Confluence of Ideas in 1936》，收录于 1995 年的《The Universal Turing Machine A Half-Century Survey》（Rolf Herken 编）[1]（第 51-102 页）。Gandy 详尽地介绍了历史背景，包括 1936 年谁掌握了什么、当时的普遍认知水平，以及大家对 Church 和……的接受程度。
pron 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 3211826378
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。