An accessible and fascinating exploration of how Alan Turingās mathematical theory gave rise to modern computer science and applicationsāfrom the desktops to cell phones
In 1936, when he was just 24 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 for the general reader, beginning with its foundations and systematically building to its 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.
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 3 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.
An accessible and fascinating exploration of how Alan Turingās mathematical theory gave rise to modern computer science and applicationsāfrom the desktops to cell phones
In 1936, when he was just 24 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 for the general reader, beginning with its foundations and systematically building to its 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.
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 3 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.