When 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 PoincareFor a long time the objects that mathematicians dealt with were mostly ill-defined; one believed one knew them, but one represented them with the senses and imagination; but one had but a rough picture and not a precise idea on which reasoning could take hold.
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