Re: [math-fun] Turing -- world's fastest mathematician?