Alan Turing : From the formal language to the living forms