A few years later, I gave a talk in Oxford, arguing that it makes no sense to regard Turing’s conjecture, in any form, as something one might hope to prove one day from logic, like Fermat’s last theorem. But that it could be proved to be a property of quantum mechanics