The principal aim of mathematical education is to develop certain faculties of the mind, and among these… — Henri Poincaré
The principal aim of mathematical education is to develop certain faculties of the mind, and among these intuition is not the least precious. It is through it that the mathematical world remains in touch with the real world, and even if pure mathematics could do without it, we should still have to have recourse to it to fill up the gulf that separates the symbol from reality.
Le but principal de l'enseignement mathématique est de développer certaines facultés de l'esprit et parmi elles l'intuition n'est pas la moins précieuse. C'est par elle que le monde mathématique reste en contact avec le monde réel et quand les mathématiques pures pourraient s'en passer, il faudrait toujours y avoir recours pour combler l'abîme qui sépare le symbole de la réalité.
p. 128Source: 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

