Robinson Julia

En 1970, Youri Matiiassevitch achève la preuve qu'aucun algorithme ne peut décider correctement, pour toute équation polynomiale à coefficients entiers dont on cherche des solutions entières — appelée équation diophantienne —, si elle possède de telles solutions. Cette conclusion s'appuie directement sur les résultats obtenus auparavant par Julia Robinson.

Le problème paraît pourtant concret : une équation à coefficients entiers étant donnée, une procédure pourrait-elle toujours décider si elle admet des solutions entières ? Robinson n'a pas fourni seule la preuve finale. Elle a établi une avancée décisive qui a rendu cette preuve possible, au croisement de la logique et de l'arithmétique.

Julia Bowman Robinson (1919–1985) est une mathématicienne américaine spécialiste de logique mathématique, de théorie de la décision et des fondements de l'arithmétique. Elle étudie à l'université de Berkeley, puis prépare sous la direction d'Alfred Tarski une thèse intitulée Definability and decision problems in arithmetic. Elle travaille aussi sur la théorie des jeux, tandis que l'indécidabilité et les problèmes non standard de l'arithmétique restent au centre de ses recherches.

Son apport majeur concerne le dixième problème de Hilbert. Ce problème demande s'il existe un algorithme capable de décider, pour toute équation diophantienne proposée, si elle possède des solutions entières. Une équation diophantienne est ici une équation polynomiale dont on cherche des solutions composées d'entiers. Robinson ne résout pas seule le problème, mais ses résultats constituent une étape décisive vers la preuve de son indécidabilité. En 1970, Youri Matiiassevitch apporte la preuve finale en s'appuyant directement sur ces résultats.

En 1941, son mariage avec son ancien professeur Raphael Robinson déclenche l'application d'un règlement universitaire qui lui interdit d'enseigner dans le même département. Elle travaille alors pendant de nombreuses années au laboratoire de statistiques. En 1976, elle devient la première femme mathématicienne élue à l'Académie nationale des sciences des États-Unis.

Un cas élémentaire permet de voir la différence entre résoudre une équation particulière et disposer d'une méthode valable pour toutes les équations diophantiennes.

1. Poser un cas particulier. Considérons l'équation x + y = 5, où x et y doivent être des entiers. La question est simplement : peut-on exhiber une solution entière ?

2. Vérifier. Prenons x = 2 et y = 3. En remplaçant x et y, on obtient 2 + 3 = 5 : cette égalité montre que l'équation particulière admet au moins une solution entière. Le lecteur peut refaire le contrôle avec x = 1 et y = 4.

3. Changer d'échelle. Ce contrôle répond uniquement pour x + y = 5 ; il ne fournit pas une procédure capable de trancher pour toute équation diophantienne. Le dixième problème de Hilbert porte sur cette procédure générale. Les résultats de Robinson ont constitué une étape décisive vers la preuve qu'elle n'existe pas, achevée par Matiiassevitch en 1970.

Pour lire l'histoire du dixième problème de Hilbert, il faut distinguer une étape indispensable de l'achèvement d'une preuve. Cette distinction attribue à Robinson son avancée décisive et à Matiiassevitch la conclusion obtenue en 1970.

Pour aborder l'indécidabilité, le parcours de Robinson relie une question très concrète sur les solutions entières à une limite générale des algorithmes. Lorsque la question porte sur la nature des équations elles-mêmes, la notion d'équation diophantienne est l'entrée préférable.

Pour situer une carrière scientifique, les repères institutionnels complètent les résultats mathématiques. Le règlement appliqué après son mariage en 1941 explique son long passage par le laboratoire de statistiques ; son élection de 1976 marque une autre étape.

Julia Robinson et Raphael Robinson. Julia Robinson est la mathématicienne dont les travaux préparent la résolution du dixième problème de Hilbert. Raphael Robinson est son ancien professeur, qu'elle épouse en 1941.

Avancée décisive et preuve finale. Les résultats de Julia Robinson rendent possible une étape essentielle vers l'indécidabilité. La preuve finale est apportée par Youri Matiiassevitch en 1970 ; attribuer les deux rôles à la même personne effacerait la chronologie.

Dixième problème de Hilbert et équation diophantienne. Le premier est une question générale sur l'existence d'un algorithme de décision. La seconde est le type d'équation à coefficients entiers auquel cette question s'applique.

Dire que Julia Robinson « a résolu » le dixième problème de Hilbert est trop fort. Le symptôme est l'effacement de Matiiassevitch et de l'année 1970 ; il faut parler d'une avancée décisive ayant directement soutenu la preuve finale.

L'indécidabilité ne signifie pas que chaque équation diophantienne est impossible à étudier. Elle porte ici sur l'absence d'un algorithme général décidant l'existence de solutions entières pour toute équation proposée.

Le règlement universitaire appliqué en 1941 ne marque pas l'arrêt de ses recherches. Le signe contraire est son activité prolongée au laboratoire de statistiques ; il faut distinguer l'interdiction d'enseigner dans le même département de l'impossibilité de travailler.

Son élection de 1976 concerne précisément l'Académie nationale des sciences des États-Unis et le fait qu'elle est la première femme mathématicienne élue. Élargir cette formulation à toute académie ou à toute femme scientifique dépasserait la source.

équation diophantienne — Pour préciser le type d'équation auquel s'applique le dixième problème de Hilbert.

décidabilité et indécidabilité — Pour approfondir la limite algorithmique au cœur des recherches de Robinson.

Tarski Alfred — Pour situer le directeur de sa thèse sur la définissabilité et les problèmes de décision en arithmétique.