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. In Philip J. Davis and Reuben Hersh
The Mathematical Experience, Introduction (p. xviii), Birkhäuser. 1981