MARC details
000 -LEADER |
fixed length control field |
02237nam a22002297a 4500 |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
160817b 2016 xxu||||| |||| 00| 0 eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9780262034548 |
082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
510.92 |
Item number |
BER |
100 ## - MAIN ENTRY--PERSONAL NAME |
Personal name |
Bernhardt, Chris |
245 ## - TITLE STATEMENT |
Title |
Turing's vision : |
Remainder of title |
the birth of computer science |
260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication, distribution, etc |
Cambridge: |
Name of publisher, distributor, etc |
The MIT Press, |
Date of publication, distribution, etc |
2016. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
189 p.; |
Other physical details |
ill.; |
Dimensions |
21 cm. |
365 ## - TRADE PRICE |
Price type code |
INR |
Price amount |
1829.91 |
504 ## - BIBLIOGRAPHY, ETC. NOTE |
Bibliography, etc |
Includes bibliographical references and index. |
520 ## - SUMMARY, ETC. |
Summary, etc |
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 listener. Bernhardt argues that the strength of Turing's theory is its simplicity, and 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 contexts 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. |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Mathematicians |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer engineering |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Computer algorithms |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Great Britain |
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name as entry element |
Turing, Alan Mathison, 1912-1954 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Item type |
Books |