I don't think Deutsch means that mathematical proofs are all inductive. I think he means that proofs are constructed and checked on physical computing devices like brains or GPGPUs; and that because of that mathematical knowledge is not in a different ontological category than empirical knowledge.
I feel quite confident saying that mathematics will never undergo paradigm shifts, to use the terminology of Kuhn.
The same is not true for empirical sciences. Paradigm shifts have happened, and I expect them to happen in the future.
Here's the new thread for posting quotes, with the usual rules: