Alan Turing: an Introduction