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 PoincareWhat is a good definition? For the philosopher or the scientist, it is a definition which applies to all the objects to be defined, and applies only to them; it is that which satisfies the rules of logic. But in education it is not that; it is one that can be understood by the pupils.
Henri PoincareLogic sometimes makes monsters. For half a century we have seen a mass of bizarre functions which appear to be forced to resemble as little as possible honest functions which serve some purpose.
Henri PoincareThe mathematical facts worthy of being studied are those which, by their analogy with other facts, are capable of leading us to the knowledge of a physical law. They reveal the kinship between other facts, long known, but wrongly believed to be strangers to one another.
Henri PoincareA very small cause, which escapes us, determines a considerable effect which we cannot ignore, and we say that this effect is due to chance.
Henri PoincareThis harmony that human intelligence believes it discovers in nature - does it exist apart from that intelligence? No, without doubt, a reality completely independent of the spirit which conceives it, sees it or feels it, is an impossibility. A world so exterior as that, even if it existed, would be forever inaccessible to us. But what we call objective reality is, in the last analysis, that which is common to several thinking beings, and could be common to all; this common part, we will see, can be nothing but the harmony expressed by mathematical laws.
Henri Poincare