Alan Turing 1912-1954 Computing History.

1.    British mathematician and cryptographer.

2.    Father of theoretical computer science.

3.    Contributions include:

     a.    Turing Machine

     b.    Turing Test (for AI)‏

     c.    First detailed design of a stored program computer (never built)‏

4.    The Turing Machine is a simpler version of Kurt Gödel's formal languages.

5.    Halting problem is undecidable.