Kronecker Leopold

À Berlin, en 1845, Leopold Kronecker soutient une thèse consacrée aux unités des corps cyclotomiques. Ce mathématicien allemand quitte pourtant l'université pour administrer les biens de sa famille, avant de reprendre ses recherches en 1853.

Son parcours associe des travaux majeurs sur les nombres, les fonctions elliptiques et la résolubilité des équations algébriques, sans fournir de résolution générale par radicaux du quintique. Sur les fondements, il accorde un rôle central aux entiers naturels et refuse l'infini actuel de Cantor. Concrètement, une procédure finie part d'opérations réalisables sur les entiers et s'achève après un nombre limité d'étapes. Cette orientation finitiste et constructive annonce le constructivisme mathématique.

Leopold Kronecker (1823-1891) est un mathématicien et logicien allemand. Formé d'abord par des précepteurs, puis au gymnasium où Ernst Kummer remarque ses aptitudes, il étudie les mathématiques, l'astronomie et la philosophie à l'université de Berlin. Sous la direction de Dirichlet, il soutient en 1845 une thèse sur les unités des corps cyclotomiques. Il administre ensuite les biens familiaux, ce qui lui procure une indépendance financière durable.

Kronecker reprend ses recherches en 1853 avec Kummer, Borchardt et Weierstrass. Élu à l'Académie des sciences de Berlin en 1861, il dirige aussi le Journal de Crelle après son fondateur, puis accepte une chaire universitaire en 1883. Ses contributions fondamentales touchent la théorie algébrique des nombres et les fonctions elliptiques. En 1850, il étudie l'équation générale du cinquième degré par des méthodes liées à la théorie des groupes, sans en donner une résolution générale par radicaux. Son traité de 1853 sur les équations algébriques prolonge et généralise les résultats de Galois. Il travaille également en algèbre linéaire dans le sillage de Cayley et Grassmann.

Sa philosophie donne aux entiers naturels un rôle fondateur. La formule célèbre qui lui est attribuée réserve à Dieu la création de ces entiers. Dans son programme de refondation de l'analyse et de l'algèbre, Kronecker rejette l'infini actuel de Cantor et privilégie des définitions et des preuves fondées sur des procédures finies portant sur les entiers, sans que cette exigence résume à elle seule toute sa philosophie. Cette position suscite des tensions durables à Berlin. La théorie cantorienne a prévalu, mais cette position fait de Kronecker un précurseur du constructivisme mathématique, développé ensuite par Brouwer et repris par Poincaré.

Pour suivre la trajectoire de Kronecker sans confondre ses travaux et ses fonctions, on peut ordonner cinq jalons donnés par la source : 1845, 1850, 1853, 1861 et 1883. La frise associée distingue trois jalons de recherche suivis de deux jalons institutionnels.

1. En 1845, Kronecker soutient sa thèse sur les unités des corps cyclotomiques, puis quitte la carrière universitaire pour administrer les biens familiaux.

2. En 1850, il étudie l'équation générale du cinquième degré par des méthodes liées à la théorie des groupes, sans en donner une résolution générale par radicaux.

3. En 1853, il reprend ses recherches et publie son traité sur les équations algébriques.

4. En 1861, son élection à l'Académie des sciences de Berlin marque sa reconnaissance institutionnelle.

5. En 1883, il accepte finalement une chaire universitaire. Le contrôle consiste à relire les dates dans l'ordre : la reprise des recherches précède de huit ans l'élection à l'Académie, puis la chaire vient vingt-deux ans après cette élection.

Pour lire sa biographie, séparez les résultats mathématiques des postes occupés. Une chronologie convient lorsque la question porte sur son parcours ; un classement par domaines convient mieux pour relier théorie des nombres, équations, fonctions elliptiques et algèbre linéaire.

Pour situer sa philosophie, partez du rôle qu'il accorde aux entiers naturels. Cette entrée est préférable à une simple liste d'oppositions, car elle donne le critère qui éclaire son refus de l'infini actuel de Cantor et de la construction des réels de Weierstrass.

Pour étudier son héritage, distinguez enfin ce qui a prévalu de ce qui a subsisté comme orientation. Les théories de Cantor et Weierstrass l'ont emporté, tandis que la position de Kronecker reste un jalon vers le constructivisme développé par Brouwer et repris par Poincaré.

Leopold Kronecker et le symbole de Kronecker. Ici, le nom désigne la personne née en 1823 et morte en 1891. Une recherche portant sur le « symbole de Kronecker » vise au contraire un objet mathématique : la présence d'une définition symbolique ou d'un calcul tranche immédiatement.

Contribution mathématique et position philosophique. Les travaux sur les nombres, les fonctions elliptiques, les équations et l'algèbre linéaire constituent des contributions mathématiques. L'affirmation selon laquelle les mathématiques doivent reposer sur les entiers naturels exprime une position sur leurs fondements.

Ne pas attribuer toute sa carrière à l'université. Le symptôme est une chronologie continue entre la thèse de 1845 et la chaire. Il faut conserver l'interruption consacrée aux biens familiaux, puis la reprise des recherches à partir de 1853 et l'acceptation tardive d'une chaire en 1883.

Ne pas présenter sa position comme la théorie finalement dominante. La source indique que les théories de Cantor et Weierstrass ont prévalu. Il faut donc parler de Kronecker comme d'un précurseur rétrospectif du constructivisme, non comme du vainqueur de ces controverses.

Ne pas transformer une formule attribuée en citation établie mot pour mot. La source rapporte l'idée selon laquelle Dieu seul aurait créé les entiers. Il faut conserver cette attribution prudente au lieu de fabriquer une citation littérale.

Un premier prolongement consiste à suivre séparément les trois fils réunis par cette biographie : la théorie algébrique des nombres, les équations algébriques et les fonctions elliptiques. Cette séparation permet de mesurer la diversité des travaux de Kronecker sans les réduire à sa philosophie.

Un second prolongement porte sur les fondements des mathématiques. La confrontation entre le rôle fondateur des entiers naturels, l'infini actuel de Cantor et la construction des réels de Weierstrass éclaire la place rétrospective de Kronecker dans l'histoire du constructivisme.