Today is Alan Turing's Birthday!
was a logician who specialized in the area of "decidability,"
determining whether or not an algorithm exists to prove a given
mathematical proposition true or false. His most famous results appear
in a 1937 article in which he introduced what is now known as the
"Turing machine," an abstract computer- like device. The ideas
presented in this article have had great importance in both logic and
computer science. During World War II, Turing aided the Allied war
effort significantly by helping to decipher German military codes.
Born: June 23, 1912
in London, England
Died: June 7, 1954
in Wilmslow, England