Discussion:Théorème de Matiiassevitch
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Mathématiques.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Ébauche | À évaluer |  | Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Inversion de propos[modifier le code]
Je lis « Il a pour conséquence immédiate l'indécidabilité du problème général de savoir si un entier naturel (ou un n-uplet d'entiers naturels) est solution ou non d'une équation diophantienne, ce qui est une solution négative au dixième problème de Hilbert. » Euh, savoir si un entier est solution d'une équation diophantienne est immédiat, non ? C'est savoir si une équation diophantienne a une solution entière qui pose un pb, n'est-ce pas ? --λf(λx(f)(x)x)λx(f)(x)x = Y 16 janvier 2022 à 15:54 (CET)
- Oui, c'est corrigé.--Dfeldmann (discuter) 16 janvier 2022 à 17:01 (CET)
- Je me disais aussi. Merci ! --λf(λx(f)(x)x)λx(f)(x)x = Y 16 janvier 2022 à 18:00 (CET)