QED

A mathematician’s work is mostly a tangle of guesswork, analogy, wishful thinking, and frustration. And proof, far from being the core of discovery, is more often than not a way of making sure that our minds are not playing tricks.

Gian-Carlo Rota, in de introductie van Philip J. Davis en Reuben Hersch, “The Mathematical Experience” (1981)