English mathematician, logician, cryptographer, who had a significant impact on the development of computer science.