Pure logic could never lead us to anything but tautologies; it can create nothing new; not from it alone can any science issue.
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 PoincareEvery phenomenon, however trifling it be, has a cause, and a mind infinitely powerful, and infinitely well-informed concerning the laws of nature could have foreseen it from the beginning of the ages. If a being with such a mind existed, we could play no game of chance with him; we should always lose.
Henri Poincare