> Are they confusing Turing with Roger Bannister, the guy who first broke the four minute mile? I don't think they are. Turing was a runner. He ran in the 2:40

> Are they confusing Turing with Roger Bannister, the guy who first broke the four minute mile? I don't think they are. Turing was a runner. He ran in the 2:40s for the marathon, which is a reasonably good amateur time even today, and was a few places away from making the British Olympic team. (It's also ironic that you (understandably) refer to Bannister by his mile - he himself would rather have been remembered for his achievements in neurology.)