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