Hint

Swipe to navigate through the chapters of this book

2012 | OriginalPaper | Chapter

14. Alan Turing

Author: Gerard O’Regan

Publisher: Springer London

Published in: A Brief History of Computing

» Get access to the full version

Abstract

Alan Turing was a British mathematician and computer scientist who made fundamental contributions to mathematics and computer science. He made important contributions to computability with his theoretical Turing machine, cryptology and breaking the German Enigma naval codes at Bletchley Park code-breaking centre during the Second World War; he contributed to the development of software for the Manchester Mark 1 at Manchester University; and he contributed to the emerging field of artificial intelligence.

Please log in to get access to this content

To get access to this content you need the following product:

Computer Science Explorer

Purchase now

The Sherborne is located in Dorset, England. Its origins go back to the eighth century when the school was linked with the Benedictine Abbey in the town.

We may also allow no movement of the tape head to be represented by adding the symbol ‘N’ to the set.

However, Turing machines are in my view more intuitive than the lambda calculus.

Alonzo Church was a famous American mathematician and logician who developed the lambda calculus. He also showed that Peano arithmetic and first-order logic were undecidable. Lambda calculus is equivalent to Turing machines in that whatever is computed may be computed by Lambda calculus or a Turing machine. This is known as the Church-Turing thesis.

The British Empire was essentially over at the end of the Second World War with the United States becoming the dominant world power. India achieved independence from Britain in 1947, and former colonies gradually declared independence from Britain in the following years.

HoU:79.

John E. Hopcroft and Jeffrey D.: Ullman. Introduction to Automata Theory, Languages and Computation. Addison-Wesley. (1979)

Sea:80.

Searle, J.: Minds, brains, and programs. Behav. Brain Sci. 3, 417–457 (1980) CrossRef

Tur:50.

Turing, A.: Computing, machinery and intelligence. Mind 49, 433–460 (1950) MathSciNetCrossRef

Title

Alan Turing

Book

A Brief History of Computing

Print ISBN: 978-1-4471-2358-3

Electronic ISBN: 978-1-4471-2359-0

https://doi.org/10.1007/978-1-4471-2359-0

DOI

https://doi.org/10.1007/978-1-4471-2359-0_14

Author:

Gerard O’Regan

Publisher

Springer London

Sequence number

Chapter number

Chapter 14