Mathematics does not grow through a monotonous increase of the number of indubitably established theorems but through the incessant improvement of guesses by speculation and criticism, by the logic of proofs and refutations.

Proofs and Refutations: The Logic of Mathematical Discovery (ed. Cambridge University Press, 1976) - ISBN: 9780521290388