David Hilbert : axiomes et géométrie

En 1899, un mathématicien allemand publia un mince ouvrage qui transforma en profondeur notre façon de penser la géométrie et, à terme, l’ensemble des mathématiques. Les « Grundlagen der Geometrie » (Fondements de la géométrie) de David Hilbert reconstruisirent entièrement la géométrie euclidienne, mettant au jour des lacunes dans les axiomes antiques et imposant un nouveau standard de rigueur mathématique. Comme Euclide avant lui, Hilbert montra que des vérités complexes pouvaient se déduire d’hypothèses simples et clairement énoncées. À la différence d’Euclide, il le fit avec une précision qui allait définir les mathématiques du XXe siècle.

L’influence de Hilbert dépassa de loin la géométrie. Ses fameux 23 problèmes, présentés en 1900, orientèrent la recherche mathématique durant tout un siècle. Son programme visant à établir des fondements sûrs pour toutes les mathématiques, quoique finalement voué à l’échec, éclaircit ce que sont les mathématiques et ce qu’elles peuvent accomplir. Parmi les mathématiciens du XXe siècle, rares sont ceux qui rivalisent avec son ampleur, sa profondeur et son empreinte durable.

Les mathématiques en crise

À la fin du XIXe siècle, les mathématiques traversaient une crise des fondements. Le développement des géométries non euclidiennes avait montré que le postulat des parallèles d’Euclide pouvait être nié sans contradiction, soulevant la question de ce que signifient réellement les axiomes géométriques. La théorie des ensembles, élaborée par Georg Cantor, engendrait des paradoxes qui semblaient menacer la logique elle-même. Les mathématiciens ne pouvaient plus tenir leurs fondements pour acquis.

Les Éléments d’Euclide, référence de la rigueur mathématique pendant plus de deux millénaires, se révélaient renfermer des hypothèses cachées. Euclide recourait à des notions géométriques intuitives sans les énoncer explicitement comme des axiomes. Ces lacunes n’avaient guère importé pour la géométrie pratique, mais elles devinrent cruciales dès lors que les mathématiciens cherchèrent à comprendre ce qu’était vraiment la géométrie.

La présentation classique des Éléments d’Euclide (édition anglaise) montre à la fois l’élégance de la géométrie antique et les endroits où les mathématiciens modernes trouvèrent matière à amélioration.

Les nouveaux fondements de Hilbert

David Hilbert naquit en 1862 à Königsberg, en Prusse (aujourd’hui Kaliningrad, en Russie), la ville d’Emmanuel Kant. Il étudia les mathématiques à l’université locale avant de rejoindre Göttingen, qui devint le premier centre mathématique du monde, en grande partie grâce à sa présence. À la fin de la trentaine, Hilbert avait déjà apporté des contributions majeures à l’algèbre et à la théorie des nombres.

Ses « Fondements de la géométrie » adoptèrent une approche radicale. Au lieu de définir les points, les droites et les plans par leur signification intuitive, Hilbert les traita comme des termes non définis dont les propriétés étaient entièrement fixées par des axiomes. Un point était simplement tout ce qui satisfait aux axiomes du point ; une droite, tout ce qui satisfait aux axiomes de la droite. Le sens naissait des relations formelles, non de l’intuition géométrique.

La méthode axiomatique

Hilbert répartit ses axiomes en cinq groupes :

Axiomes d’incidence : ils précisent quand des points reposent sur des droites et des plans
Axiomes d’ordre : ils précisent la relation « entre » pour les points d’une droite
Axiomes de congruence : ils précisent quand des segments et des angles sont égaux
Axiome des parallèles : le fameux postulat des parallèles
Axiomes de continuité : ils garantissent que les droites ne comportent aucune lacune

Cette organisation révéla une structure qu’Euclide avait laissée implicite. Ainsi Euclide n’énonça-t-il jamais explicitement d’axiomes d’ordre, alors même que ses démonstrations supposaient que les points d’une droite possèdent une disposition déterminée. Hilbert rendit chaque hypothèse explicite, éliminant tout recours dissimulé à l’intuition.

Les preuves d’indépendance

Point essentiel, Hilbert montra que ses axiomes étaient indépendants : chacun pouvait être nié sans contredire les autres. Il le fit en construisant des modèles où tous les axiomes tenaient sauf un. Cette technique, aujourd’hui courante en mathématiques, prouva que les axiomes captaient exactement les propriétés voulues, sans la moindre redondance.

L’indépendance du postulat des parallèles, déjà connue par la géométrie non euclidienne, n’était qu’un cas particulier d’une méthodologie générale. Hilbert démontra que les structures mathématiques pouvaient être spécifiées avec assez de précision pour déterminer exactement ce qui en découlait et ce qui n’en découlait pas.

Les 23 problèmes

Au Congrès international des mathématiciens de Paris, en 1900, Hilbert prononça une conférence qui allait guider la recherche mathématique pour le siècle à venir. Il posa 23 problèmes couvrant la théorie des nombres, l’algèbre, la géométrie, l’analyse et la physique. Ces problèmes de Hilbert alliaient une profonde importance mathématique à l’optimisme de croire que des solutions étaient à portée.

Certains problèmes furent résolus assez vite, d’autres demandèrent des décennies, quelques-uns demeurent ouverts aujourd’hui. Ces problèmes influencèrent les domaines qui reçurent l’attention et les mathématiciens qui gagnèrent en reconnaissance. Résoudre un problème de Hilbert devint une marque de distinction mathématique.

Des problèmes remarquables

Le premier problème concernait l’hypothèse du continu de Cantor : existe-t-il un ensemble plus grand que les entiers mais plus petit que les nombres réels ? Kurt Gödel et Paul Cohen finirent par montrer que cette question était indépendante de la théorie des ensembles usuelle, un résultat profond sur les limites des mathématiques.

Le huitième problème, l’hypothèse de Riemann, reste non résolu et passe pour le plus important, peut-être, des problèmes ouverts en mathématiques. Il porte sur la répartition des nombres premiers et se rattache à des questions profondes dans toutes les mathématiques.

Le dixième problème réclamait un algorithme permettant de déterminer si des équations polynomiales admettent des solutions entières. Iouri Matiiassevitch prouva en 1970 qu’aucun tel algorithme n’existe, reliant le problème de Hilbert à la théorie de la calculabilité et aux travaux d’Alan Turing sur les limites du calcul.

Le programme de Hilbert

Dans les années 1920, Hilbert proposa un programme ambitieux visant à asseoir les mathématiques sur des fondements absolument sûrs. Il voulait prouver que les mathématiques étaient cohérentes (exemptes de contradictions), complètes (capables de prouver ou de réfuter tout énoncé) et décidables (dotées d’algorithmes pour déterminer la vérité).

Le programme entendait défendre les mathématiques contre les sceptiques qui doutaient que l’on puisse se fier aux ensembles infinis et au raisonnement abstrait. En démontrant la cohérence au moyen des seules méthodes finies et constructives, Hilbert espérait réduire au silence tous les doutes sur les fondements.

L’incomplétude de Gödel

En 1931, Kurt Gödel prouva que le programme de Hilbert ne pouvait aboutir sous sa forme initiale. Ses théorèmes d’incomplétude montrèrent que tout système cohérent assez puissant pour décrire l’arithmétique contient des énoncés vrais qu’il ne peut démontrer. De plus, de tels systèmes ne peuvent prouver leur propre cohérence à l’aide des méthodes disponibles en leur sein.

Les résultats de Gödel furent dévastateurs pour les objectifs précis de Hilbert, mais non pour les mathématiques elles-mêmes. Les mathématiques continuèrent de prospérer, et l’approche axiomatique de Hilbert demeura centrale. Les limites découvertes par Gödel étaient réelles, mais elles n’empêchèrent nullement le progrès mathématique.

Hilbert à Göttingen

Sous la direction de Hilbert, Göttingen devint la capitale mondiale des mathématiques. Les mathématiciens et physiciens les plus brillants s’y rassemblèrent, parmi lesquels Emmy Noether, Hermann Weyl, John von Neumann et bien d’autres qui allaient façonner la science du XXe siècle.

Hilbert cultivait une atmosphère de collaboration où les idées circulaient librement par-delà les frontières des disciplines. Il contribua à la physique mathématique et travailla sur la relativité générale en même temps qu’Einstein. Ses travaux sur les équations intégrales posèrent les bases de l’analyse fonctionnelle et de la mécanique quantique.

Le défenseur d’Emmy Noether

Hilbert se battit pour obtenir un poste universitaire à Emmy Noether, l’une des plus grandes mathématiciennes du siècle. Lorsque des membres de la faculté s’opposèrent à ce qu’une femme enseigne, Hilbert répondit, resté célèbre : « Je ne vois pas en quoi le sexe de la candidate serait un argument contre son admission comme Privatdozent. Après tout, nous sommes une université, pas un établissement de bains. »

Noether obtint finalement un poste officieux et réalisa à Göttingen son œuvre la plus marquante. Son algèbre abstraite révolutionna la discipline, et son théorème reliant les symétries aux lois de conservation devint fondamental en physique. Hilbert reconnaissait le génie sans égard au sexe, chose rare pour son époque.

Héritage et influence

Hilbert mourut en 1943, après avoir assisté à la destruction de la communauté mathématique de Göttingen par les nazis. Les mathématiciens juifs, dont Noether, furent chassés ; le centre que Hilbert avait bâti fut démantelé. À qui lui demandait si les mathématiques de Göttingen avaient souffert, Hilbert aurait répondu : « Souffert ? Elles n’existent plus. »

Son héritage intellectuel prospéra pourtant ailleurs. La méthode axiomatique qu’il avait défendue devint la norme dans toutes les mathématiques. Ses problèmes continuèrent d’orienter la recherche. Ses élèves et ses héritiers intellectuels façonnèrent les mathématiques pendant des générations.

L’héritage axiomatique

Aujourd’hui, tout domaine mathématique commence par des axiomes. L’algèbre linéaire, l’algèbre abstraite, la topologie et l’analyse sont toutes présentées de façon axiomatique. L’informatique recourt à une logique formelle qui descend directement des travaux fondateurs de Hilbert. Même les mathématiques appliquées s’appuient sur des structures définies axiomatiquement.

Cette approche présente des forces autant que des limites. La présentation axiomatique clarifie les hypothèses et rend possibles des démonstrations rigoureuses. Mais elle peut obscurcir l’intuition et faire paraître les mathématiques plus abstraites qu’il ne le faudrait. Le meilleur exposé mathématique tient en équilibre la précision formelle et la compréhension intuitive.

Relier le passé et le présent

Le rapport de Hilbert à Euclide reflète l’évolution plus large des mathématiques. Les Éléments d’Euclide instaurèrent la méthode déductive que les mathématiques suivent encore ; Hilbert affina cette méthode pour les exigences modernes. Comprendre l’un et l’autre aide à saisir combien les mathématiques progressent par amélioration continue plutôt que par remplacement révolutionnaire.

La tradition mathématique, de la Grèce antique au XIXe siècle jusqu’à nos jours, révèle une remarquable continuité. Les principes fondamentaux de la géométrie plane qu’énonça Euclide restent valables, désormais compris dans le cadre plus rigoureux de Hilbert.

À qui s’intéresse aux fondements des mathématiques, l’exploration de l’œuvre plus vaste de Hilbert révèle des liens couvrant les mathématiques pures, la physique et la logique.

David Hilbert transforma les mathématiques par son exigence de fondements axiomatiques rigoureux. Ses travaux sur la géométrie établirent de nouveaux standards de précision mathématique. Ses 23 problèmes guidèrent la recherche pendant un siècle. Son programme visant à sécuriser les fondements des mathématiques, bien que finalement borné par les théorèmes de Gödel, éclaircit la nature de la vérité mathématique.

Créateur de mathématiques autant que meneur de mathématiciens, Hilbert illustre comment la vision d’un individu peut façonner des disciplines entières. Son Göttingen devint un modèle pour les communautés mathématiques du monde entier. Son approche axiomatique devint la langue dans laquelle s’écrivent les mathématiques modernes.

Découvrez les fondements géométriques que tant Euclide que Hilbert affinèrent dans Euclid’s Elements: Completing Oliver Byrne’s Work, qui présente la géométrie classique avec une clarté visuelle, et découvrez les savants qui façonnèrent l’histoire des mathématiques dans Portraying Science.