Matiiassevitch Youri

En 1970, le mathématicien russe Youri Matiiassevitch répond à une question posée par le dixième problème de Hilbert. On cherchait une procédure unique capable de recevoir n’importe quelle équation diophantienne et d’annoncer si elle possède une solution en nombres entiers.

Sa réponse est négative : cette procédure générale n’existe pas. Cela ne résout pas chaque équation une par une ; cela montre qu’aucun algorithme ne peut trancher tous les cas possibles.

Youri Matiiassevitch, né en 1947, est un mathématicien russe dont les travaux concernent principalement la théorie de la décidabilité et les équations diophantiennes. Son résultat le plus connu répond au dixième problème de Hilbert : construire un algorithme général qui décide, pour une équation diophantienne quelconque, si elle admet ou non une solution en nombres entiers.

Le verdict attendu aurait toujours été binaire — existence ou absence d’une solution entière — et aurait dû fonctionner pour toute équation du domaine. Matiiassevitch démontre en 1970 qu’un tel algorithme n’existe pas. Le problème est donc indécidable au sens de cette demande générale. Ce résultat complète les travaux antérieurs de Martin Davis, Hilary Putnam et Julia Robinson ; il constitue une contribution majeure à la logique mathématique du XX^e siècle.

Matiiassevitch est également associé à la table de Matiiassevitch, aussi appelée crible de Matiiassevitch. La source la décrit comme une méthode graphique servant à effectuer des multiplications et à tester la primalité d’un entier. Cette représentation visuelle peut illustrer les propriétés des nombres premiers dans un cadre didactique.

Un lecteur rencontre le dixième problème de Hilbert et veut formuler exactement ce que le résultat de 1970 interdit. Les données sont une équation diophantienne quelconque, la recherche d’une solution en nombres entiers et l’exigence d’un même algorithme pour tous les cas.

1. Il repère l’entrée demandée : l’algorithme devrait accepter n’importe quelle équation diophantienne.

2. Il repère la sortie attendue : décider si une solution entière existe ou non, sans devoir produire cette solution.

3. Il conserve la portée générale : une procédure différente pour quelques équations ne répondrait pas à la demande de Hilbert.

4. Il applique le résultat de Matiiassevitch : aucun algorithme général de ce type n’existe. Le contrôle consiste à retrouver ensemble les trois éléments décisifs : équation quelconque, solutions entières et procédure unique pour tous les cas.

Dans une notice historique, l’année 1970 doit être rattachée précisément à la résolution du dixième problème de Hilbert. La naissance en 1947 est un repère biographique distinct, et non la date d’un résultat.

Devant une affirmation sur l’indécidabilité, le bon geste consiste à vérifier sa portée. Le résultat vise un algorithme général pour une équation diophantienne quelconque ; il ne dispense pas d’étudier séparément une équation donnée.

Pour attribuer le résultat, il faut conserver la chaîne historique donnée par la source. Matiiassevitch achève la résolution du problème en complétant les travaux antérieurs de Martin Davis, Hilary Putnam et Julia Robinson.

Dans un contexte didactique sur les nombres premiers, la table ou crible de Matiiassevitch constitue l’autre piste mentionnée par la source. Elle relève d’une méthode graphique de multiplication et de test de primalité, et non du verdict d’indécidabilité.

Le dixième problème de Hilbert et l’étude d’une équation diophantienne particulière n’ont pas la même portée. Le premier exige une procédure valable pour toute équation ; résoudre ou écarter un cas isolé ne satisfait pas cette exigence générale.

Décider l’existence d’une solution ne signifie pas construire une solution. La question de Hilbert demande un verdict oui ou non ; un procédé qui ne ferait que chercher des solutions sans garantir ce verdict ne répondrait pas au problème formulé.

Le résultat d’indécidabilité et le crible de Matiiassevitch sont deux contributions distinctes. Une mention d’équations diophantiennes et d’algorithme général renvoie au premier ; une représentation graphique pour multiplier ou tester la primalité renvoie au second.

L’absence d’algorithme général ne signifie pas que chaque équation diophantienne particulière résiste à toute étude. Le symptôme d’une conclusion trop large est le passage de « tous les cas par une même procédure » à « aucun cas ne peut être tranché » ; il faut rétablir la portée générale.

Le domaine des solutions ne doit pas être effacé. La source formule le dixième problème avec des solutions en nombres entiers ; parler simplement de « solution » rendrait le verdict ambigu. Il faut toujours préciser la nature entière des solutions recherchées.

La date de 1970 s’attache à la démonstration de Matiiassevitch qui résout le dixième problème de Hilbert. Les travaux de Martin Davis, Hilary Putnam et Julia Robinson sont dits antérieurs, sans date plus fine dans la source ; il ne faut pas leur en attribuer une par déduction.

La source indique les usages du crible de Matiiassevitch, mais n’en fournit ni la construction ni les règles de lecture. Le symptôme d’un développement inventé serait une procédure graphique détaillée absente du dossier ; il faut alors consulter une présentation complète de cette méthode.

Quatre entrées indexées prolongent le portrait vers les notions qui structurent ses deux contributions citées.

équation diophantienne précise l’objet mathématique auquel s’applique le dixième problème de Hilbert.

décidabilité et indécidabilité replace le résultat de 1970 dans son cadre logique.

algorithme éclaire la nature de la procédure générale demandée par Hilbert.

nombre premier prolonge l’usage didactique du crible de Matiiassevitch pour la primalité.