Mathematics is not a deductive science — that’s a cliché. When you try to prove a theorem, you don’t just list the hypotheses, and then start to reason. What you do is trial and error, experimentation, guesswork.

— Paul Halmos (Hungarian-born US mathematician, 1916 – 2006) in I Want to be a Mathematician (1985)