In one word, to draw the rule from experience, one must generalize; this is a necessity that imposes itself on the most circumspect observer.
Henri PoincareWhen the logician has resolved each demonstration into a host of elementary operations, all of them correct, he will not yet be in possession of the whole reality, that indefinable something that constitutes the unity ... Now pure logic cannot give us this view of the whole; it is to intuition that we must look for it.
Henri PoincareI then began to study arithmetical questions without any great apparent result, and without suspecting that they could have the least connexion with my previous researches. Disgusted at my want of success, I went away to spend a few days at the seaside, and thought of entirely different things. One day, as I was walking on the cliff, the idea came to me, again with the same characteristics of conciseness, suddenness, and immediate certainty, that arithmetical transformations of indefinite ternary quadratic forms are identical with those of non-Euclidian geometry.
Henri Poincare