Bennett and Deutsch: The Nature of Computation, Incompleteness and Mathematics