A matemática não é uma ciência dedutiva - isso é um clichê. Quando se tenta provar um teorema, não se faz uma lista das hipóteses e, em seguida, o raciocínio. O que se faz é tentativa e erro, experimentação, trabalho de adivinhação...

-Paul Halmos