What part of Turing's proof do you find unconvincing?