Logic teaches us that on such and such a road we are sure of not meeting an obstacle; it does not tell us… — Henri Poincaré
Logic teaches us that on such and such a road we are sure of not meeting an obstacle; it does not tell us which is the road that leads to the desired end. For this, it is necessary to see the end from afar, and the faculty which teaches us to see is intuition. Without it, the geometrician would be like a writer well up in grammar but destitute of ideas.
La logique nous apprend que sur tel ou tel chemin nous sommes sûrs de ne pas rencontrer d'obstacle ; elle ne nous dit pas quel est celui qui mène au but. Pour cela il faut voir le but de loin, et la faculté qui nous apprend à voir, c'est l'intuition. Sans elle, le géomètre serait comme un écrivain qui serait ferré sur la grammaire, mais qui n'aurait pas d'idées.
p. 130Source: Wikiquote · CC BY-SA 4.0
More from this book
Logic sometimes breeds monsters. For half a century there has been springing up a host of weird functions, which seem to strive to have as little resemblance as possible to honest functions that are of some use. No more continuity, or else continuity but no derivatives, etc. More than this, from the point of view of logic, it is these strange functions that are the most general; those that are met without being looked for no longer appear as more than a particular case, and they have only quite a little corner left them. Formerly, when a new function was invented, it was in view of some practical end. Today they are invented on purpose to show our ancestors' reasoning at fault, and we shall never get anything more than that out of them.
p. 139
It is because simplicity and vastness are both beautiful that we seek by preference simple facts and vast facts; that we take delight, now in following the giant courses of the stars, now in scrutinizing the microscope that prodigious smallness which is also a vastness, and now in seeking in geological ages the traces of a past that attracts us because of its remoteness.
p. 23
Every definition implies an axiom, since it asserts the existence of the object defined. The definition then will not be justified, from the purely logical point of view, until we have proved that it involves no contradiction either in its terms or with the truths previously admitted.
p. 131
