Thus, be it understood, to demonstrate a theorem, it is neither necessary nor even advantageous to know what it means. The geometer might be replaced by the "logic piano" imagined by Stanley Jevons; or, if you choose, a machine might be imagined where the assumptions were put in at one end, while the theorems came out at the other, like the legendary Chicago machine where the pigs go in alive and come out transformed into hams and sausages. No more than these machines need the mathematician know what he does.
Henri PoincareThought must never submit, neither to a dogma, nor to a party, nor to a passion, nor to an interest, nor to a preconceived idea, nor to whatever it may be, save to the facts themselves, because, for thought, submission would mean ceasing to be.
Henri PoincareIn the old days when people invented a new function they had something useful in mind. Now, they invent them deliberately just to invalidate our ancestors' reasoning, and that is all they are ever going to get out of them.
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 Poincare