TuringCollectedPublications.pdf

所需积分/C币:13 2021-05-13 23:55:31 39.76MB PDF
194
收藏 收藏
举报

This is the classic paper which first established Turing's reputation and by which he will longest be remembered. The argument falls into three parts. A. The notion of a Turing machine is introduced and it is argued that any computation, which can be performed by a human can be imitated by such a machine. B. It is shown that there is a universal machine which, when provided with a standard description of any Turing machine will imitate the action of that machine. C. A diagonal argument is used to show that there are questions about the actions of Turing machines which cannot be answered by any machine. By formalizing the action of Turing machines in the lower predicate calculus it is shown that the Entscheidungsproblem is mechanically undecidable.

...展开详情
试读 1227P TuringCollectedPublications.pdf
立即下载 身份认证后 购VIP低至7折
一个资源只可评论一次,评论内容不能少于5个字
您会向同学/朋友/同事推荐我们的CSDN下载吗?
谢谢参与!您的真实评价是我们改进的动力~
  • 分享宗师

关注 私信
上传资源赚钱or赚积分
最新推荐
TuringCollectedPublications.pdf 13积分/C币 立即下载
1/1227
TuringCollectedPublications.pdf第1页
TuringCollectedPublications.pdf第2页
TuringCollectedPublications.pdf第3页
TuringCollectedPublications.pdf第4页
TuringCollectedPublications.pdf第5页
TuringCollectedPublications.pdf第6页
TuringCollectedPublications.pdf第7页
TuringCollectedPublications.pdf第8页
TuringCollectedPublications.pdf第9页
TuringCollectedPublications.pdf第10页
TuringCollectedPublications.pdf第11页
TuringCollectedPublications.pdf第12页
TuringCollectedPublications.pdf第13页
TuringCollectedPublications.pdf第14页
TuringCollectedPublications.pdf第15页
TuringCollectedPublications.pdf第16页
TuringCollectedPublications.pdf第17页
TuringCollectedPublications.pdf第18页
TuringCollectedPublications.pdf第19页
TuringCollectedPublications.pdf第20页

试读结束, 可继续阅读

13积分/C币 立即下载