Programme de Hilbert

Programme de Hilbert

Le Programme de Hilbert est un programme créé par David Hilbert dans le but d'assurer les fondements des mathématiques.

Sommaire

Description

Les conceptions scientifiques de David Hilbert ont une grande influence sur les mathématiciens de l'époque. Hilbert s'oppose fermement au pessimisme scientifique prôné en particulier par le physiologiste Emil du Bois-Reymond[1], pour qui il est des questions en sciences qui resteront toujours sans réponse, une doctrine connue sous le nom d'« Ignorabimus » (du latin ignoramus et ignorabimus : « Nous ne savons pas et nous ne saurons jamais »). Pour Hilbert, « il n'y a pas d'Ignorabimus en mathématiques » ((de) Wir müssen wissen. Wir werden wissen : « Nous devons savoir. Nous saurons », déclare-t-il en 1930 dans une allocution radio-diffusée restée célèbre[2].

La découverte de paradoxes dans les théories proposées par Cantor et Frege sur les fondements des mathématiques ébranle la confiance en ceux-ci. Certes, on a de nouvelles théories des ensembles qui sont exemptes des paradoxes connus, mais comment s'assurer qu'on n'en trouverait pas de nouveaux ? Hilbert s'oppose également violemment à l'intuitionnisme du mathématicien néerlandais Brouwer, que promeut ce dernier pour résoudre la crise des fondements, et qui est une remise en cause radicale de ceux-ci.

Brouwer juge que le tiers exclu, un principe logique qui affirme qu'une proposition est soit vraie soit fausse, s'il repose sur une intuition solide quand on manipule le fini, ne peut être un principe du raisonnement, dès que l'on manipule l'infini. Une preuve d'existence doit être effective. Il ne suffit pas, pour montrer telle proposition, de montrer que sa négation entraînerait une contradiction. Cette position, cohérente sur le plan des idées, et qui séduit des mathématiciens de valeur - outre Brouwer lui-même, Hermann Weyl pendant un temps - a pour principal défaut, de remettre en cause des pans entiers des mathématiques[3].

Pour régler la question des fondements, Hilbert conçoit un programme dont il établit les prémisses en 1900 dans l'introduction à sa célèbre liste de problèmes, le second problème étant celui de la cohérence de l'arithmétique. Il développe ensuite ce programme dans les années 1920, avec ses collaborateurs, parmi lesquels Paul Bernays et Wilhelm Ackermann. L'idée est grossièrement la suivante.

Tant que l'on manipule le fini, les mathématiques sont sûres. L'arithmétique élémentaire (en un sens qui doit se préciser) est sûre. Pour justifier l'utilisation d'objets abstraits ou idéaux, en particulier infinis, il suffit de montrer que la théorie qui les utilise est cohérente, mais bien sûr cette cohérence doit elle-même être démontrée par des moyens finitaires. On peut alors affirmer l'existence de ces objets. Cette approche est ce que l'on a appelé le « formalisme ».

Le théorème de complétude, démontré par Kurt Gödel dans sa thèse en 1929, indique sommairement que l'on ne pourra trouver de nouveaux principes de raisonnement purement logiques autres que ceux déjà connus. Cela semble aller dans le sens de Hilbert. D'autres résultats qu'Hilbert obtient avec Wilhelm Ackermann dans les mêmes années semblent aller également dans ce sens.

Mais, même si Hilbert n'a pas explicitement formalisé le système des mathématiques finitaires, on considère généralement qu'il s'agissait d'une théorie arithmétique, sans préciser plus avant, une théorie qui satisfaisait les conditions des deux théorèmes d'incomplétude que Gödel expose en 1930 et publie en 1931, théorèmes devenus célèbres depuis. Le second théorème d'incomplétude montre que l'on ne peut pas prouver dans cette théorie sa propre cohérence, et donc certainement pas celle de théories plus fortes qui assureraient la fondation des mathématiques. C'est donc l'échec du programme de Hilbert. Il est d'ailleurs probable que Gödel, motivé par le programme de Hilbert, avait tout d'abord voulu prouver la cohérence de l'arithmétique.

Peu de mathématiciens comprirent tout d'abord ces théorèmes et leurs implications sur le programme de Hilbert. Il faut compter parmi eux John von Neumann, très impliqué alors dans les recherches sur les fondements des mathématiques, et Paul Bernays, proche collaborateur de Hilbert. Von Neumann avoua plus tard qu'il n'avait jamais imaginé à l'époque que cet échec fût possible. Il en tira une grande admiration pour Gödel... et abandonna à peu près toute recherche sur les fondements des mathématiques.

Au XXIe siècle, les conséquences des théorèmes de Gödel sur le programme de Hilbert ne sont plus guère contestées. Ce n'est pas le cas, en ce qui concerne la position de celui-ci sur « l'ignorabimus ». D'après Richard Courant, l'optimisme « contagieux » de Hilbert sur la possibilité de résoudre tout problème mathématique était l'une de ses grands forces. À ce propos, le théorème de Gödel dit simplement qu'il y a des énoncés que l'on ne saura ni démontrer ni réfuter dans une théorie donnée, pas en mathématiques en général. La réponse ne peut simplement pas être aussi simple, et probablement pas aussi définitive, que celle qu'aurait fournie le succès du programme de Hilbert.

L'intuitionnisme, que le théorème de Gödel ne remet pas en cause, n'a pas pour autant gagné la partie. Il est resté très marginal. Très idéologique, il remet trop radicalement en cause les mathématiques, raison qu'invoque d'ailleurs Hermann Weyl pour finalement l'abandonner. On doit son renouveau depuis les années 1970 au développement de l'informatique (voir isomorphisme de Curry-Howard), et à une vision devenue souvent moins critique des mathématiques classiques, qu'il pourrait servir à mieux comprendre.

Les preuves de cohérence

Il y a eu des tentatives de remédier à l'échec du programme de Hilbert en précisant et en étendant la notion de méthode finitaire, même si, d'après le second théorème de Gödel, on ne peut espérer définir une fois pour toutes une théorie mathématique raisonnable pour de telles méthodes finitaires. Ainsi, Gentzen a prouvé en 1936 la cohérence de l'arithmétique de Peano en utilisant un principe de récurrence transfini (jusqu'à l'ordinal dénombrable ε0), donc plus fort que le principe de récurrence de l'arithmétique de Peano, mais utilisée de façon plus immédiate. Cette preuve développe des outils qui se sont révélés fondamentaux en théorie de la démonstration. Elle reste bien sûr une preuve de cohérence relative. On l'interprète plus volontiers comme une façon de mesurer la « force » de l'arithmétique de Peano (par un ordinal).

Notes

  1. à ne pas confondre avec son frère, le mathématicien Paul du Bois-Reymond
  2. L'allocution de Hilbert peut être écoutée à partir de ce lien [1]. On trouve une transcription de l'original en allemand, et diverses traductions, en français en particulier, à partir de cette page [2](visitée 18 août 2006).
  3. Par exemple le théorème de Bolzano-Weierstrass pour un intervalle fermé et borné de R n'est pas démontrable de façon intuitionniste.

Sources

  • Les ouvrages qui abordent les théorèmes d'incomplétude de Gödel comportent souvent un compte-rendu du programme de Hilbert. Par exemple, voir les livres de Smorynski et de Girard cités en référence de l'article théorème d'incomplétude.

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Programme de Hilbert de Wikipédia en français (auteurs)

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • Programme de hilbert — Le Programme de Hilbert est un programme initié par David Hilbert dans le but d assurer les fondements des mathématiques. Sommaire 1 Description 1.1 Les preuves de cohérence 2 Notes 3 …   Wikipédia en Français

  • HILBERT (D.) — Le mathématicien allemand David Hilbert a ouvert la voie à plusieurs générations de chercheurs et a joué un rôle important dans l’élaboration des idées, non seulement dans sa spécialité, mais dans le cadre d’une réflexion générale sur la science …   Encyclopédie Universelle

  • Hilbert — David Hilbert David Hilbert David Hilbert en 1912 Naissance 23 janvier 1862 Königsberg (Prusse Orientale) …   Wikipédia en Français

  • HILBERT (PROBLÈMES DE) — «Qui ne se réjouirait de pouvoir soulever le voile qui cache le futur, de jeter un regard sur le développement des mathématiques, ses progrès ultérieurs, les secrets des découvertes des siècles à venir?...» Prévoir le futur des mathématiques: qui …   Encyclopédie Universelle

  • Hilbert's problems — are a list of twenty three problems in mathematics put forth by German mathematician David Hilbert at the Paris conference of the International Congress of Mathematicians in 1900. The problems were all unsolved at the time, and several of them… …   Wikipedia

  • Hilbert's sixth problem — is to axiomatize those branches of science in which mathematics is prevalent. It occurs on the list of Hilbert s problems given out in 1900.The explicit statement reads:6. Mathematical Treatment of the Axioms of Physics. The investigations on the …   Wikipedia

  • Programme de langlands — Pour les articles homonymes, voir Langlands. En mathématiques, le programme de Langlands est, en 2009, un domaine de recherche actif et fertile en conjectures. Ce programme souhaite relier la théorie des nombres aux représentations de certains… …   Wikipédia en Français

  • Programme d'Erlangen — Le programme d Erlangen est un programme de recherche mathématique publié par le mathématicien allemand Felix Klein en 1872, dans le mémoire Vergleichende Betrachtungen über neuere geometrische Forschungen (ou « Étude comparée de différentes …   Wikipédia en Français

  • Hilbert-Matrix — Die Hilbert Matrix der Ordnung ist folgende quadratische, symmetrische, positiv definite Matrix: , die einzelnen Komponenten sind also durch …   Deutsch Wikipedia

  • Programme de Langlands — Pour les articles homonymes, voir Langlands. En mathématiques, le programme de Langlands est encore, au début du XXIe siècle, un domaine de recherche actif et fertile en conjectures. Ce programme souhaite relier la théorie des nombres aux… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”