The Annotated Turing:A Guided Tour Through Alan Turing’s Historic Paper On Computability and the Turing Machine

图灵注解:英国数学家、计算机科学之父阿兰 图灵的可计算性与图灵机历史文献导论

数理逻辑与数学基础

售   价:
186.00
作      者
出  版 社
出版时间
2008年05月30日
装      帧
平装
ISBN
9780470229057
复制
页      码
384
语      种
英文
综合评分
暂无评分
我 要 买
- +
库存 1 本
  • 图书详情
  • 目次
  • 买家须知
  • 书评(0)
  • 权威书评(0)
图书简介
This book presents Turings original 36-page paper and a follow-up 3-page correction with background chapters and extensive annotations. Mathematical papers like Turings are often terse and cryptic. Petzold has elaborated on many of Turings statements, clarified his discussions, and provided numerous examples. Interwoven into the narrative are the highlights of Turings own life: his secret work in cryptanalysis during World War II, his involvement in seminal computer projects, his speculations about artificial intelligence, his arrest and prosecution for the crime of gross indecency, and his early death by apparent suicide at the age of 41. The book is divided into two main parts. Part I is about 200 pages in length and covers the first 60% of Turings paper, encompassing the Turing Machine and computability topics. This part of the book is entirely self-contained and will be of primary interest to most readers. Part II , contains and additional 100 pages and is a faster paced look at the remainder of Turings paper, which involves the implications for mathematical logic.
馆藏图书馆
Yale University Library
Princeton University Library
本书暂无推荐
本书暂无推荐
看了又看
  • 上一个
  • 下一个