[yesenadam]

I was responding to your apparent claim that experimentation is not possible in mathematics. Maybe I misunderstood what you meant.

From Halmos' quote from the wiki page:

"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. You want to find out what the facts are, and what you do is in that respect similar to what a laboratory technician does"

- it sure sounds like he thinks experiment/experimentation a key part of maths.