Temporary notice for Oct 24		

the speaker is Leonard Lipshitz, Mathematics, who will talk about the
100th anniversary of Alan Turing, who was a major code-breaker in
World War II.  This was an important contribution of mathematics to
the `real world', and a very surprising one at the time.

Prof. Lipshitz has suggested these resources for consultation:

http://en.wikipedia.org/wiki/Alan_Turing 
http://en.wikipedia.org/wiki/Turing_machine 
http://www.turing.org.uk/turing/scrapbook/index.html 
http://www.mathcomp.leeds.ac.uk/turing2012/ 
http://www.bbc.co.uk/history/people/alan_turing 
http://www.bbc.co.uk/history/people/alan_turing 

A good (and inexpensive) reference for computability and related topics is: 
Computability and Unsolvability by Martin Davis (Dover) 

Another more cursory text is: 
What is mathematical Logic by J.N. Crossley and others (Oxford) 

Almost every beginning mathematical logic text will heave a description of Turing Machines. 

Per-Turing historical papers are reprinted in: 
From Frege to Godel, Edited by J van Heijenoort (Harvard U. Press)