by Jonathan Kujawa
In The Imitation Game Benedict Cumberbatch plays the amazing, fascinating, and ultimately tragic Alan Turing. I haven't seen it yet, but the reviews are good and it is bound to be up for a bunch of awards. It certainly does a thorough job of covering the Oscar checklist: Historical setting? Public and personal drama? English accents? Beating the Nazis? Check 'em all!
The basic storyline should be well known to all. Turing was an instrumental part of the UK's successful efforts to break the “unbreakable” German Enigma code. The work of the codebreakers at Bletchley Park is widely acknowledged to have shortened World War II by several years and, consequently, to have saved many thousands of lives. The tragedy of the story is that Turing was convicted in 1952 of “gross indecency” for having a relationship with another man (Arnold Murray). Turing was given the option of either prison or hormone treatments (i.e., chemical castration). He chose the latter. In 1954 Turing died of cyanide poisoning at the age of 41 in what was ruled a suicide [2].
Appallingly, it wasn't until 2009 that the UK government apologized for its treatment of Turing. And it wasn't until public pressure during the 2012 centennial of Turing's birth that they considered a pardon. He was finally pardoned on December 24, 2013.
If there was ever a place where one's sexual preferences, gender, race, economic status, religious beliefs, what-have-you should be irrelevant, it should be mathematics. After all, the Pythagorean Theorem doesn't give a hoot about such things. But mathematics is a human endeavor and humans can't seem to help but care about these things. I recently read a quote by Chimamanda Ngozi Adihie which put this nicely:
The problem with gender is that it prescribes how we should be, rather than recognizing how we are.
Things continue to improve [3]. It's heartening to note that Turing's treatment by the UK government is absolutely shocking now. And ten years ago I couldn't imagine that gay marriage would now be widespread in the US and on the verge of becoming universal [4].
For mathematicians Turing's place in history was guaranteed long before he helped beat the Nazis. At the age of 24 Turing answered Hilbert's famous “Entscheidungsproblem” (Decision Problem). More importantly, he did it by inventing theoretical computer science; and did it before there were computers!
Hilbert asked the following the following rather innocuous question: Is there a step-by-step procedure which can decisively determine if any given mathematical statement is true or false? More precisely, is there an algorithm which can decide if a given statement can be proven using the rules of first order logic?
