Retour à la fiche
Question d'oral
Quel était le programme de Hilbert ?
Réponse d'oral
Le programme de Hilbert visait à donner aux mathématiques des fondements sûrs : les organiser dans des systèmes de règles précises et démontrer que ces règles ne conduisent jamais à une contradiction. Développé dans les années 1920, il répondait notamment aux inquiétudes soulevées par les paradoxes de la théorie des ensembles. Cantor avait montré que l’on pouvait étudier différents infinis comme des objets mathématiques. Mais comment s’assurer que cette audace ne faisait pas entrer des contradictions dans les raisonnements ?Hilbert proposait de formaliser les démonstrations : partir d’axiomes explicites, puis appliquer des règles de déduction vérifiables mécaniquement. L’objectif central était de prouver la cohérence de ces systèmes par des méthodes « finitaires », portant sur des objets finis et des opérations élémentaires jugées incontestables. Par exemple, il fallait garantir qu’aucune suite de déductions autorisées ne permette de démontrer à la fois une affirmation et sa négation. Il ne s’agissait donc pas simplement de calculer davantage, mais de justifier la fiabilité des outils mathématiques, y compris ceux qui manipulent l’infini.En 1931, Gödel a révélé les limites de cette ambition avec ses théorèmes d’incomplétude. Tout système cohérent, dont les axiomes sont effectivement énumérables et qui exprime suffisamment d’arithmétique, contient des énoncés qu’il ne peut ni démontrer ni réfuter. De plus, sous les conditions usuelles, il ne peut démontrer sa propre cohérence. Cela bloque le programme initial dans sa forme générale, sans rendre les mathématiques incertaines ou inutiles. La question reste alors ouverte : jusqu’où peut-on justifier un raisonnement sans recourir à des principes extérieurs à celui-ci ?