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 PoincareMathematicians do not deal in objects, but in relations between objects; thus, they are free to replace some objects by others so long as the relations remain unchanged. Content to them is irrelevant: they are interested in form only.
Henri PoincareIf we knew exactly the laws of nature and the situation of the universe at the initial moment, we could predict exactly the situation of the same universe at a succeeding moment.
Henri PoincareConsider now the Milky Way. Here also we see an innumerable dust, only the grains of this dust are no longer atoms but stars; these grains also move with great velocities, they act at a distance one upon another, but this action is so slight at great distances that their trajectories are rectilineal; nevertheless, from time to time, two of them may come near enough together to be deviated from their course, like a comet that passed too close to Jupiter. In a word, in the eyes of a giant, to whom our Suns were what our atoms are to us, the Milky Way would only look like a bubble of gas.
Henri Poincare