首頁外文書人文科普 〉Turing's Vision: The Birth of Computer Science
商品訊息
作者書籍
Turing's Vision: The Birth of Computer Science

Turing's Vision: The Birth of Computer Science


作者  /  Chris Bernhardt

出版社 / MIT PRESS

出版日期 / 2017/05/01

商品語言 / 英文

裝訂 / 平裝

定價 / NT$665

售價 / 9折, NT$ 599

※ 無庫存


Turing's Vision: The Birth of Computer Science 其它優惠/消息


introduction all_character


內容簡介

In 1936, when he was just twenty-four years old, Alan Turing wrote a remarkable paper in which he outlined the theory of computation, laying out the ideas that underlie all modern computers. This groundbreaking and powerful theory now forms the basis of computer science. In Turing's Vision, Chris Bernhardt explains the theory, Turing's most important contribution, for the general reader. Bernhardt argues that the strength of Turing's theory is its simplicity, and that, explained in a straightforward manner, it is eminently understandable by the nonspecialist. As Marvin Minsky writes, "The sheer simplicity of the theory's foundation and extraordinary short path from this foundation to its logical and surprising conclusions give the theory a mathematical beauty that alone guarantees it a permanent place in computer theory." Bernhardt begins with the foundation and systematically builds to the surprising conclusions. He also views Turing's theory in the context of mathematical history, other views of computation (including those of Alonzo Church), Turing's later work, and the birth of the modern computer.

In the paper, "On Computable Numbers, with an Application to the Entscheidungsproblem," Turing thinks carefully about how humans perform computation, breaking it down into a sequence of steps, and then constructs theoretical machines capable of performing each step. Turing wanted to show that there were problems that were beyond any computer's ability to solve; in particular, he wanted to find a decision problem that he could prove was undecidable. To explain Turing's ideas, Bernhardt examines three well-known decision problems to explore the concept of undecidability; investigates theoretical computing machines, including Turing machines; explains universal machines; and proves that certain problems are undecidable, including Turing's problem concerning computable numbers.







詳細資料

誠品26碼 /2681493906000
ISBN 13 /9780262533515
ISBN 10 /0262533510
EAN /9780262533515

頁數208
尺寸20.3X13.7CM
裝訂平裝
級別
語言英文
成份


科普產品推薦

Gulf: The Making of An American Sea

Jack E. Davis

NT$630

9折, NT$567




Share/Save/Bookmark

查看全台書店有無此商品

 

熱銷商品