2. Premiers travaux scientifiques
Le premier travail mathématique de Bolzano est consacré à la « démonstration » du postulat des parallèles d'Euclide. Plus importants sont ses mémoires d'analyse de 1816-1817, dont les préfaces esquissent le programme d'une « transformation totale des sciences a priori » et qui, en particulier, l'engagent dans la réforme des fondements du calcul infinitésimal. Bolzano rejette le concept d'infiniment petit, refuse de fonder l'analyse sur le théorème de Taylor, critique sévèrement l'usage des séries divergentes et se décide pour la seule voie logiquement irréprochable, la méthode des limites.
Le Rein analytischer Beweis... (Démonstration purement analytique...) de 1817 prend comme point de départ les mémoires de Gauss sur le « théorème fondamental de l'algèbre ». Bolzano se propose de démontrer une propriété intuitivement évidente des fonctions continues, le théorème des valeurs intermédiaires, que Gauss a utilisée sans démonstration : une fonction continue doit s'annuler lorsqu'elle change de signe. Le refus de l'évidence géométrique amène Bolzano à construire une séquence de concepts et théorèmes préalables : le théorème de l'existence de la borne inférieure d'un ensemble minoré de réels (théorème de Bolzano-Gauss), qui repose à son tour sur le critère de convergence des suites (critère de Bolzano-Cauchy), le tout prenant appui sur une première définition correcte de la continuité en termes de limite. L'intuition géométrique est remplacée à chaque étape par des chaînes démonstratives à partir de concepts formulés en termes purement arithmétiques. Une telle démonstration ne se contente pas de « produire la certitude » comme le ferait une démonstration géométrique ; elle fonde la proposition dans la mesure où elle la rattache au système des axiomes et des théorèmes de la mathématique pure. Dans ce sens, le Rein analytischer Beweis est une illustration éclatante de la doctrine bolzanienne de la « connexion objective des vérités » qui sera développée dans la Wiss […]
… pour nos abonnés, l'article se prolonge sur 5 pages…
