Book ID: CBB903392734

Turing's Vision: The Birth of Computer Science (2017)

unapi

Bernhardt, Chris (Author)


The MIT Press
Publication date: 2017
Language: English


Publication Date: 2017
Physical Details: 208 pages

Turing's fascinating and remarkable theory, which now forms the basis of computer science, explained for the general reader.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.

...More
Reviewed By

Review Paul E. Ceruzzi (2017) Review of "Turing's Vision: The Birth of Computer Science". Metascience: An International Review Journal for the History, Philosophy and Social Studies of Science (pp. 63-66). unapi

Essay Review David Theodore (2018) Past Calculations: New Histories of Computing Technology. Scientia Canadensis: Journal of the History of Canadian Science, Technology, and Medicine (pp. 98-103). unapi

Review Wolfgang Thomas (2018) Review of "Turing's Vision: The Birth of Computer Science". Isis: International Review Devoted to the History of Science and Its Cultural Influences (pp. 213-214). unapi

Citation URI
stagingisis.isiscb.org/p/isis/citation/CBB903392734

This citation is part of the Isis database.

Similar Citations

Book Daylight, Edgar G.; Grave, Kurt De; (2012)
The Dawn of Software Engineering: From Turing to Dijkstra unapi

Book Watson, Ian; (2012)
The Universal Machine: From the Dawn of Computing to Digital Consciousness unapi

Thesis Tenen, Dennis Yi; (2011)
We Have Always Been Digital: The Poetics of Human-Computer Interaction unapi

Book Leavitt, David; (2006)
The Man Who Knew Too Much: Alan Turing and the Invention of the Computer unapi

Article Joan Bagaria; (2013)
El legado de Turing en la lógica matemática y los fundamentos de las matemáticas unapi

Book B. Jack Copeland; Carl J. Posy; Oron Shagrir; (2015)
Computability: Turing, Gödel, Church, and Beyond unapi

Article José Sánchez Ron; José M. Sánchez Ron; (2013)
Alan Turing: ¿personaje del siglo XX? unapi

Book Prager, John; (2001)
On Turing unapi

Article Miguel Angel Martin-Delgado; (2013)
Alan Turing y los orígenes de la complejidad unapi

Review Christopher P. Porter; (2019)
Review of "Computability: Turing, Gödel, Church, and Beyond" unapi

Article Abramson, Darren; (2011)
Descartes' Influence on Turing unapi

Article Cooper, S. Barry; (2012)
Incomputability after Alan Turing unapi

Article Copeland, B. Jack; Proudfoot, Diane; (2011-2012)
Alan Turing, Father of the Modern Computer unapi

Book Turing, Alan Mathison; Appel, Andrew W.; Feferman, Solomon; (2012)
Alan Turing's Systems of Logic: The Princeton Thesis unapi

Chapter Michie, Donald; (2008)
Alan Turing's Mind Machines unapi

Article McCullough, Philip Murray; (2010)
Otto in the Chinese Room unapi

Article Richards, Bernard; (2005-2006)
Turing, Richards and Morphogenesis unapi

Book Andrew Hodges; Douglas Hofstadter; (2014)
Alan Turing: The Enigma: The Book That Inspired the Film "The Imitation Game" unapi

Article Turing, Alan Mathison; (2005-2006)
The Mind and the Computing Machine unapi

Book Giovanni Sommaruga; Thomas Strahm; (2016)
Turing’s Revolution: The Impact of His Ideas about Computability unapi

Authors & Contributors
Copeland, B. Jack
Turing, Alan Mathison
Abramson, Darren
Appel, Andrew W.
Cooper, S. Barry
Daylight, Edgar G.
Journals
Arbor: Ciencia, Pensamiento y Cultura
Rutherford Journal: The New Zealand Journal for the History and Philosophy of Science and Technology
Historia Mathematica
Notices of the American Mathematical Society
Spontaneous Generations
Studies in History and Philosophy of Science
Publishers
Harvard University
Princeton University
Birkhäuser
Lonely Scholar Scientific Books
Princeton University Press
Springer-Verlag
Concepts
Computer science
Computers and computing
Mathematics
Biographies
Logic
Artificial intelligence
People
Turing, Alan Mathison
Descartes, René
Gödel, Kurt
Babbage, Charles
Berners-Lee, Tim
Church, Alonzo
Time Periods
20th century
20th century, early
20th century, late
21st century
19th century
Places
Great Britain
United States
Institutions
University of Manchester
Princeton University
Comments

Be the first to comment!

{{ comment.created_by.username }} on {{ comment.created_on | date:'medium' }}

Log in or register to comment