bien en appeler à l’expérience, ou faire un effort d’intuition, et si nous ne pouvions le prouver, nos théorèmes seraient parfaitement rigoureux, mais parfaitement inutiles.
La logique parfois engendre des monstres. Depuis un demi-siècle on a vu surgir une foule de fonctions bizarres qui semblent s’efforcer de ressembler aussi peu que possible aux honnêtes fonctions qui servent à quelque chose. Plus de continuité, ou bien de la continuité, mais pas de dérivées, etc. Bien plus, au point de vue logique, ce sont ces fonctions étranges qui sont les plus générales, celles qu’on rencontre sans les avoir cherchées n’apparaissent plus que comme un cas particulier. Il ne leur reste qu’un tout petit coin.
Autrefois, quand on inventait une fonction nouvelle, c’était en vue de quelque but pratique ; aujourd’hui, on les invente tout exprès pour mettre en défaut les raisonnements de nos pères, et on n’en tirera jamais que cela.
Si la logique était le seul guide du pédagogue, ce serait par les fonctions les plus générales, c’est-à-dire par les plus bizarres, qu’il faudrait commencer. C’est le débutant qu’il faudrait mettre aux prises avec ce musée tératologique. Si vous ne le faites pas, pourraient dire les logiciens, vous n’atteindrez la rigueur que par étapes.
6
Oui, peut-être, mais nous ne pouvons faire
