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 PoincareOne would have to have completely forgotten the history of science so as to not remember that the desire to know nature has had the most constant and the happiest influence on the development of mathematics.
Henri PoincareAbsolute space, that is to say, the mark to which it would be necessary to refer the earth to know whether it really moves, has no objective existence.... The two propositions: "The earth turns round" and "it is more convenient to suppose the earth turns round" have the same meaning; there is nothing more in the one than in the other.
Henri PoincareA first fact should surprise us, or rather would surprise us if we were not used to it. How does it happen there are people who do not understand mathematics? If mathematics invokes only the rules of logic, such as are accepted by all normal minds...how does it come about that so many persons are here refractory?
Henri Poincare