All the scientist creates in a fact is the language in which he enunciates it. If he predicts a fact, he will employ this language, and for all those who can speak and understand it, his prediction is free from ambiguity. Moreover, this prediction once made, it evidently does not depend upon him whether it is fulfilled or not.
Henri PoincareThus, 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 PoincareMathematical discoveries, small or great are never born of spontaneous generation They always presuppose a soil seeded with preliminary knowledge and well prepared by labour, both conscious and subconscious.
Henri Poincare. . . by natural selection our mind has adapted itself to the conditions of the external world. It has adopted the geometry most advantageous to the species or, in other words, the most convenient. Geometry is not true, it is advantageous.
Henri Poincare