**The movie The Imitation Game tells the story – albeit not very accurately – of Alan Turing and the WWII code breakers of Bletchley Park. But Alan Turing should be most famous, says Victoria University of Wellington’s Professor Rod Downey, for an entirely hypothetical device called the Turing Machine, invented to disprove an obscure problem in logic. Rod Downey – winner of the 2011 Hector Medal, a Fellow of the Royal Society of New Zealand and principal investigator on six Marsden Fund grants – explains. **

**What did you think of the movie?**

I did not like the movie very much, for many reasons which I’ve listed in my talk. The good was that the movie correctly placed Turing as a leading figure in winning the WWII and as a one of the great minds of the 20th Century. But the story was so far from reality, slandered really fine people, and was so muddled that I felt disappointed, manipulated and angry. The veracity is akin to that of Braveheart. I don’t know why the movie makers had to reduce everything to such terrible stereotypes such as Turing as a “uber-nerd” and the “four people save the world” story; or have the unnecessary spy subtext, which suggests that Turing was some kind of traitor and coward.

**What is a Turing Machine?**

A Turing Machine is an abstract “paper” model of computation of an imaginary device which might be able to simulate human decision procedures. Arguably, this is an abstract device capable of performing any “algorithmic process”. With hindsight, it is viewed as the conceptual basis for computers, and with it you can explore what’s possible for computers. Researchers have now been working in computability theory for 70 years. Computers are ubiquitous in modern life, so a classic solution to an obscure problem in logic could be one of the most important discoveries for mankind.

**Do you work in the same areas as Alan Turing? **

All of my work has related to computation, answering questions like ‘what is possible on a machine?’, ‘how fast can we do it?,’ and generally understanding computation.

For example, I co-invented an area called parameterized complexity. This is a sub-area of complexity theory which seeks to understand how quickly you can perform computational tasks. This is implicit in Alan Turing’s work. There are computational tasks that we think cannot be done quickly in their full form: trying all possibilities it would take far too long on any computer ever. What Mike Fellows and I did was develop a complexity theory to exploit the structure of the data coming in. For example, if you are working out the best way to deliver beer around the city, then it makes a difference if the city is flat.

I also look at algorithmic randomness, which you can imagine by thinking about flipping a coin. If you tossed a coin 100 times and got 100 heads, that would seem suspicious in spite of the fact that this outcome is as likely as one you would actually get. We can reconcile this by giving meaning to the concept of a random string of coin tosses by using computation. Suppose we had an algorithm which could tell us what to bet on for the next coin toss. If a sequence was random, then surely no machine could bet and make money in the long run. There is a whole mathematical theory around this.

**How is it useful to know when something is random? **

Use of random and “pseudo-random” sequences are everywhere in mathematics, statistics and computer science. One example relates to data compression because things that are random turn out to be algorithmically incompressible. If you are sending a data stream of coin tosses, and you know that every second one is going to be tails, then you can save half the information by not sending every second one. So we can use regularities to compress info. If something is truly random then the only way to send the pattern is by sending itself. Understanding how compression works is essential for internet transmission, and information theory.

Randomness can also be used to help algorithms to solve problems. For example, there are particular equations that are always zero, whatever numbers are used, called identity polynomials. An example in two variables would be xy-yx which is always 0 no matter what x or y is. Amazingly, many many computational tasks can be turned into polynomial identity testing (PIT), to see whether an equation is zero in disguise. If you put in random numbers for the variables, and get an answer of zero, then the equation is almost certainly an identity polynomial. If it is non-zero then it is definitely not. So this is a “randomised” algorithm for PIT, but we have no idea if there is an efficient non-randomised one, and this is a big problem in computer science.

**What sort of problems would efficient non-random polynomial identity testing help with?**

One example would be a road map between lots of cities, and trying to decide whether you can get drive through all of them without repetition of a city. This is extremely hard and the only way we know how to solve this is to try all the possibilities. If you had 100,000 cities, then you’d be trying 2^{100,000} possibilities. That’s more than the number of atoms in the universe. If we had an efficient way of doing it, the number of possibilities might be a polynomial in 100, 000 like 100,000^{2} instead. This is the famous P vs NP problem, and if there was an efficient way of doing this, the implications would be huge – there would be no internet security, for example. But more importantly our life would be revolutionised. There is a prize called the Clay prize offering a million US dollars to anyone solving this problem.

**Do you think the P vs NP problem will ever be solved?**

There was a leading 19th century mathematician called David Hilbert who, like most mathematicians of his generation, believed that all mathematics was decidable – that you could build a machine to discover everything, including what was provable and what was not. It was through tackling that decision problem that Turing came up with his model for the Turing Machine, as a formal model of a decision procedure. But Turing’s Machine, and work by others, showed that is not possible. So perhaps our intuition is not so good. Perhaps someone will amaze us all and revolutionise life by showing P=NP. The Japanese have a major science challenge to decide this.

Problems can take very long time to solve. Recently a problem called the Kepler Conjecture, which has been around for 400 years, was solved. It basically proves that the most efficient way to stack oranges is that way that it is always done.

We can already use PIT to solve whether it’s possible to go through a limited number of cities, say 50, without going back. We can convert that problem into a bunch of polynomials and find a quick way of doing it. We’re constantly having this battle with this complexity of the world. But you don’t say that beer can’t be delivered because it can’t be done as efficiently as possible. You just do it approximately. This is similar to what Alan Turing and all the people at Bletchley Park did during the war. They found ways of cutting down the number of possibilities they were dealing with. You say, if I can’t solve this problem, can I do this other one?

**You can hear Rod Downey’s talk on the Victoria University of Wellington’s video streaming website.**

**These interviews are supported by the Royal Society of New Zealand, which promotes, invests in and celebrates excellence in people and ideas, for the benefit of all New Zealanders.**

It will be a documentary about the life and contributions of Alan Turing. The centenary of his birth is being marked next year (see *Celebrating Alan Turing’s life and achievements). *I hope it gets a wide circulation because Turing really doesn’t get the attention he deserves in the public mind.

The website for the documentary describes it this way:

Alan Turing is one of the most important scientists who ever lived. He set in motion the digital revolution and his World War II code breaking helped save two million lives. Yet few people alive today have ever heard his name or know his story. A documentary film is being developed to change this. 100 years after his birth, an international production team is set to take viewers on a journey to rediscover the man and the mystery.

Alan Turing was a flamboyant Technicolor genius yet instead of accolades and respect, he faced prosecution by the British government because he was gay. In 1954, Turing committed suicide at age 41 after being forced to undergo hormone therapy to ’fix’ his sexual orientation. He left behind a lasting legacy and lingering questions about what else he might have accomplished if society had embraced his unique genius instead of rejecting it.

Research and development for this feature-length drama documentary is underway; with plans to reach many millions of viewers around the world online and through broadcast and theatrical release of the film.

The international production team includes Turing’s preeminent biographer Dr. Andrew Hodges. Funding is currently being lined up for the film, with a goal for completion in mid-2012, to coincide with the centenary of Turing’s birth.

A Commons Select Committee in the UK House of Parliament is recommending commemorating Alan Turing in the naming of a network of Technology and Innovation Centres. The proposal is to call them “Turing Centres.”

Andrew Miller MP, Chair of the Committee, said:

“Alan Turing played a significant role in the creation of the modern computer. He was an accomplished mathematician who was highly influential in the development of computer science. It would be a fitting tribute to honour his contribution to the development of modern computing technology by naming the network of TICs ‘Turing Centres’.”

Thanks to Patrick Sammon, co-producer.

**See also****:**

Celebrating Alan Turing’s life and achievements

The Genius of Alan Turing Blog

’We’re sorry: you deserved so much better’

**June 23, 2012,** is the Centenary of Alan Turing’s birth in London. During his relatively brief life, Turing made a unique impact on the history of computing, computer science, artificial intelligence, developmental biology, and the mathematical theory of computability.

*2012 will be a celebration of Turing’s life and scientific impact, with a number of major events taking place throughout the year. Most of these will be linked to places with special significance in Turing’s life, such as Cambridge, Manchester and Bletchley Park.*

*The Turing Year is coordinated by the Turing Centenary Advisory Committee (TCAC), representing a range of expertise and organisational involvement in the 2012 celebrations. Organisations and individuals wanting to contribute ideas or support for the Turing Year are invited to contact any of the current TCAC members.*

Thanks to the THE ALAN TURING YEAR website for the above information. Twitterers can keep up with plans and activities by following @AlanTuringYear

Events: The website provides information on events throughout the word – including at least one in New Zealand –** Gibbons Memorial Lecture Series 2012, Auckland, New Zealand.** Contact: Bob Doran