"Perhaps we should discard the myth that mathematics is a rigorously deductive enterprise... hand-waving is intrinsic. We try to minimize it and we can sometimes escape it, but not always, if we want to discover new theorems."
January 1, 1970
https://en.wikiquote.org/wiki/Mathematical_proof