Hilbert David

En 1895, David Hilbert quitte Königsberg pour l’université de Göttingen, alors au premier rang mondial des mathématiques. Son parcours relie des domaines que l’on étudie souvent séparément : géométrie, algèbre, analyse et logique.

Deux gestes résument son ambition. Énoncer des axiomes explicites, c’est fixer les règles de départ d’une théorie afin de savoir sur quelles bases repose chaque démonstration. Hilbert propose aussi 23 problèmes ouverts en 1900 pour donner à la recherche des questions précises. Ses travaux ont contribué à construire les espaces qui portent aujourd’hui son nom : ces objets prolongent son héritage en analyse et fournissent un cadre mathématique à la mécanique quantique.

David Hilbert est un mathématicien allemand né en 1862 et mort en 1943. Formé à Königsberg, où il soutient sa thèse en 1885 sous la direction de Lindemann, il y enseigne jusqu’en 1895. Il rejoint ensuite Göttingen et y fréquente notamment Minkowski. La source souligne également qu’il reconnaît très tôt la valeur d’Emmy Noether.

Son œuvre traverse la théorie des invariants, la théorie algébrique des nombres, l’analyse fonctionnelle, la logique mathématique et la théorie de la démonstration. Dans Les Fondements de la géométrie, publié en 1899, il reformule la géométrie au moyen d’un système réparti en cinq groupes d’axiomes ; le décompte usuel de l’édition originale en compte 20, tandis que d’autres présentations en dénombrent 21. Les espaces de Hilbert prolongent son nom en analyse et servent de base mathématique à la mécanique quantique.

En 1900, au Congrès international des mathématiciens de Paris, Hilbert énonce 23 problèmes ouverts qui orientent une partie de la recherche du XXe siècle. En 1920, son programme vise des fondements rigoureux et complets pour les mathématiques. En 1931, Gödel montre qu’un cadre formel de ce type ne peut pas, en général, tout établir de l’intérieur. Ses théorèmes concernent les systèmes formels cohérents, effectivement axiomatisés et assez expressifs pour formaliser l’arithmétique. Le premier exclut leur complétude. Le second, sous les hypothèses usuelles, leur interdit de démontrer leur propre cohérence. Ces résultats limitent ainsi des objectifs centraux du programme sans constituer une réfutation sans nuance de tout le projet finitiste. Hilbert prend sa retraite en 1930, avant la désorganisation de Göttingen provoquée par le nazisme et l’exclusion de nombreux membres éminents.

Pour situer l’œuvre de Hilbert sans confondre ses projets, prenons quatre données de la source : 1899 pour Les Fondements de la géométrie, 1900 pour les 23 problèmes, 1920 pour le programme de Hilbert et 1931 pour le théorème d’incomplétude de Gödel.

1. En 1899, la démarche porte sur l’axiomatisation de la géométrie.
2. En 1900, Hilbert ne donne pas une nouvelle axiomatique : il soumet 23 questions ouvertes à la communauté mathématique.
3. En 1920, il formule un programme plus général sur les fondements des mathématiques.
4. En 1931, Gödel montre qu’un système formel cohérent, effectivement axiomatisé et assez expressif pour formaliser l’arithmétique est incomplet ; son second théorème limite en outre la possibilité pour un tel système de démontrer sa propre cohérence. Ces résultats bornent des objectifs centraux du programme sans réfuter sans nuance tout le projet finitiste.

Le contrôle consiste à associer chaque date à un intitulé distinct : ouvrage de géométrie, liste de problèmes, programme fondationnel, puis théorème d’incomplétude. La frise conserve cet ordre et évite de transformer ces quatre jalons en un seul événement.

En histoire des mathématiques, une date isolée ne suffit pas. On associe 1899 à l’ouvrage sur la géométrie et 1900 aux 23 problèmes ; le type de contribution permet de choisir le bon jalon.

En géométrie, le nom de Hilbert renvoie à une axiomatisation. Si la question porte sur un cadre de l’analyse fonctionnelle ou de la mécanique quantique, l’entrée pertinente est plutôt l’espace de Hilbert.

En logique, le repère pratique est simple : le programme de 1920 formule une ambition fondationnelle, tandis que les résultats de Gödel en 1931 en bornent certains objectifs. Ils ne réfutent pas sans qualification tout le projet finitiste. La définition précise les hypothèses formelles qui donnent à ces limites leur portée exacte.

David Hilbert et un espace de Hilbert. Le premier est le mathématicien ; le second est un objet de l’analyse fonctionnelle. Une question biographique appelle la personne, tandis qu’une question de cadre mathématique appelle l’espace.

Les 23 problèmes et le programme de Hilbert. Les premiers sont une liste de questions ouvertes proposée en 1900. Le second, formulé en 1920, vise les fondements rigoureux et complets des mathématiques. La présence d’un numéro de problème ou d’une question ouverte tranche en faveur de la liste.

Le programme de Hilbert et le théorème d’incomplétude de Gödel. L’un est un projet fondationnel ; l’autre est le résultat de 1931 qui le remet en question. Ils interviennent dans la même histoire sans être interchangeables.

Une liste ne vaut pas résolution. Les 23 problèmes sont proposés comme questions ouvertes en 1900. La source précise que plusieurs demeurent non résolus ; il faut donc vérifier le problème concerné au lieu de supposer un statut commun à toute la liste.

Un programme n’est pas une garantie de réussite. L’ambition de bases rigoureuses et complètes formulée en 1920 rencontre en 1931 les limites établies par Gödel pour les systèmes formels cohérents, effectivement axiomatisés et assez expressifs pour formaliser l’arithmétique : leur incomplétude et, sous les hypothèses usuelles, l’impossibilité de démontrer leur propre cohérence. Ces résultats limitent des objectifs centraux du programme sans réfuter sans nuance tout le projet finitiste.

Le nom ne désigne pas un domaine unique. Hilbert intervient en géométrie, algèbre, analyse et logique. Pour interpréter une mention de son nom, il faut repérer l’objet associé : axiomes, invariants, espace fonctionnel, problème ouvert ou démonstration.

Göttingen ne reste pas le même centre. L’université est encore florissante au départ de Hilbert en 1930, puis elle est profondément désorganisée sous le nazisme par l’exclusion de nombreux membres éminents. Il faut distinguer ces deux moments.

La refonte de la géométrie par David Hilbert — Pour approfondir le passage d’une géométrie héritée d’Euclide à une présentation axiomatique.

espace de Hilbert — Pour passer de la biographie à l’objet d’analyse fonctionnelle qui porte son nom.

Les espaces de Hilbert, un cadre pour la mécanique quantique — Pour relier ce cadre mathématique à l’un de ses grands domaines d’application.

Gödel Kurt — Pour situer les théorèmes de 1931 qui établissent, sous des hypothèses précises, l’incomplétude de certains systèmes formels et une limite à la preuve de leur cohérence, sans réfuter sans nuance tout le projet finitiste de Hilbert.