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 PoincareHow is it that there are so many minds that are incapable of understanding mathematics? ... the skeleton of our understanding, ... and actually they are the majority. ... We have here a problem that is not easy of solution, but yet must engage the attention of all who wish to devote themselves to education.
Henri PoincareA cat is witty, he has nerve, he knows how to do precisely the right thing at the right moment.
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