| French |
| has gloss | fra: Le dixième problème de Hilbert demande de trouver une méthode algorithmique générale pour la recherche des solutions entières des équations diophantiennes à plusieurs inconnues, cest-à-dire des équations polynômiales à coefficients entiers. Il fait partie dune célèbre liste de problèmes dressée par David Hilbert en 1900 lors de sa conférence au congrès international de mathématiques de Paris. Le théorème de Matiiassevitch, démontré par ce dernier en 1970, établit que les ensembles diophantiens, qui sont les ensembles de solutions entières positives ou nulles dune équation diophantienne avec paramètres, sont exactement tous les ensembles récursivement énumérables, ce qui entraîne quun tel algorithme ne peut exister : le dixième problème de Hilbert n'a pas de solution. |
| lexicalization | fra: dixième problème de Hilbert |
| Hebrew |
| has gloss | heb: הבעיה העשירית מבין עשרים ושלוש הבעיות שהציג דויד הילברט בקונגרס המתמטי של שנת 1900. בעיה זו היא מהבעיות המפורסמות ביותר במתמטיקה של המאה ה-20, ותולדותיה הן אבני דרך בולטות בהתפתחות הלוגיקה המתמטית ומדעי המחשב התאורטיים. הדרישה שהציגה הבעיה: : |
| lexicalization | heb: הבעיה העשירית של הילברט |
| Italian |
| has gloss | ita: Il teorema di Matiyasevich, provato nel 1970 da Yuri Matiyasevich, implica che il decimo problema di Hilbert è irrisolvibile. Il problema richiede la costruzione di un algoritmo generale che sia in grado di stabilire se un dato sistema di equazioni diofantee (polinomi a coefficienti interi) ha soluzioni intere. David Hilbert ha posto il problema durante il suo discorso del 1900 al Congresso Internazionale dei Matematici. |
| lexicalization | ita: teorema di Matiyasevich |
| Portuguese |
| has gloss | por: O Teorema de Matiyasevich, provado em 1970 por Yuri Matiyasevich, implica que o décimo problema de Hilbert é irresolúvel. |
| lexicalization | por: Teorema de matiyasevich |
| Chinese |
| lexicalization | zho: 丟番圖集 |
