Turing's Vision

The Birth of Computer Science

No cover

Chris Bernhardt: Turing's Vision (2016, MIT Press, The MIT Press)

208 pages

English language

Published Aug. 30, 2016 by MIT Press, The MIT Press.

ISBN:
978-0-262-03454-8
Copied ISBN!
OCLC Number:
928023848

View on OpenLibrary

None

I thought this would be more about Turing and less about computability but hey, at least that computer science degree is good for something.

The mathematical history surrounding Turing's results puts them in very interesting, both highlighting how important he is to the history of computing and giving credit to the large number of logicians and mathematicians who came before and after him. The proofs highlighted interesting logical devices–some, like diagonalization, probably explained better than in my degree–but occasionally got repetitive and boring. There was some minor inconsistencies in language and definitions that made it a bit hard to parse the proofs, but it's all certainly more clear than the original papers.

Regarding the biographical aspects... There's not much. Even the last chapter, ostensibly about all the parts of Turing's life after his work with Turing machines, only occasionally mentions him and goes into hardly any detail. 

This book is …

avatar for kf6gpe

rated it

Subjects

  • Turing, alan mathison, 1912-1954
  • Computer engineering
  • Mathematicians, biography
  • Great britain, biography
  • Computer algorithms