What we call geometry is nothing but the study of formal properties of a certain continuous group [...]. The notion of this continuous group exists in our mind prior to all experience; but the assertion is no less true of the notion of many other continuous groups; for example, that which corresponds to the geometry of Lobachevsky. There are, accordingly, several geometries possible, and it remains to be seen how a choice is made between them. Among the continuous mathematical groups which our mind can construct, we choose that which deviates the least from that rough group, analogous to the physical continuum, which experience has brought to our knowledge as the group of displacements. Our choice is therefore not imposed by experience. It is simply guided by experience. But it remains free; we choose this geometry, not because it is more true, but because it is the more convenient.

We have then many kinds of intuition; first, the appeal to the senses and the imagination; next, generalization by induction, copied, so to speak, from the procedures of the experimental sciences; finally, we have the intuition of pure number, whence arose the second of the axioms just enunciated, which is able to create the real mathematical reasoning.

Toute définition implique un axiome, puisqu'elle affirme l'existence de l'objet défini. La définition ne sera donc justifiée, au point de vue purement logique, que quand on aura démontré qu'elle n'entraîne pas de contradiction, ni dans les termes, ni avec les vérités antérieurement admises.

Works in ChatGPT, Claude, or Any AI

Add semantic quote search to your AI assistant via MCP. One command setup.

The notion of infinity had long since been introduced into mathematics, but this infinity was what philosophers call a becoming; Mathematical infinity was only a quantity susceptible of growing beyond all limit; it was a variable quantity of which it could not be said that it had passed, but only that it would pass, all limits.