Alan Turing: “intellectual activity consists mainly of various kinds of search.” Turing’s Cathedral by George Dyson