Property |
Value |
dbo:abstract
|
- Le dixième problème de Hilbert fait partie de la liste des 23 problèmes posés par David Hilbert en 1900 à Paris, lors de sa conférence au congrès international des mathématiciens. Il énonce : X. — De la possibilité de résoudre une équation diophantienne. On donne une équation diophantienne à un nombre quelconque d'inconnues et à coefficients entiers rationnels : On demande de trouver une méthode par laquelle, au moyen d'un nombre fini d'opérations, on pourra distinguer si l'équation est résoluble en nombres entiers rationnels. En termes modernes, il demande de trouver un algorithme général permettant de décider, pour n'importe quelle équation diophantienne (c'est-à-dire équation polynomiale à coefficients entiers), si cette équation possède des solutions entières. En 1970, Youri Matiiassevitch démontre qu'il n'existe pas de tel algorithme.Le théorème de Matiiassevitch établit que les ensembles diophantiens, qui sont les ensembles de solutions entières positives ou nulles d'une équation diophantienne avec paramètres, sont exactement tous les ensembles récursivement énumérables, ce qui entraîne qu'un tel algorithme ne peut exister. (fr)
- Le dixième problème de Hilbert fait partie de la liste des 23 problèmes posés par David Hilbert en 1900 à Paris, lors de sa conférence au congrès international des mathématiciens. Il énonce : X. — De la possibilité de résoudre une équation diophantienne. On donne une équation diophantienne à un nombre quelconque d'inconnues et à coefficients entiers rationnels : On demande de trouver une méthode par laquelle, au moyen d'un nombre fini d'opérations, on pourra distinguer si l'équation est résoluble en nombres entiers rationnels. En termes modernes, il demande de trouver un algorithme général permettant de décider, pour n'importe quelle équation diophantienne (c'est-à-dire équation polynomiale à coefficients entiers), si cette équation possède des solutions entières. En 1970, Youri Matiiassevitch démontre qu'il n'existe pas de tel algorithme.Le théorème de Matiiassevitch établit que les ensembles diophantiens, qui sont les ensembles de solutions entières positives ou nulles d'une équation diophantienne avec paramètres, sont exactement tous les ensembles récursivement énumérables, ce qui entraîne qu'un tel algorithme ne peut exister. (fr)
|
dbo:isPartOf
| |
dbo:namedAfter
| |
dbo:thumbnail
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 15512 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1902 (xsd:integer)
- 1991 (xsd:integer)
- 1996 (xsd:integer)
|
prop-fr:auteur
|
- J. P. Jones (fr)
- Maxim Vsemirnov (fr)
- Y. V. Matijasevič (fr)
- Yuri Matiyasevich (fr)
- J. P. Jones (fr)
- Maxim Vsemirnov (fr)
- Y. V. Matijasevič (fr)
- Yuri Matiyasevich (fr)
|
prop-fr:auteurInstitutionnel
|
- Congrès international des mathématiciens (fr)
- Congrès international des mathématiciens (fr)
|
prop-fr:doi
| |
prop-fr:id
|
- CIM1900 (fr)
- CIM1900 (fr)
|
prop-fr:langue
|
- en (fr)
- fr (fr)
- en (fr)
- fr (fr)
|
prop-fr:lieu
| |
prop-fr:lireEnLigne
| |
prop-fr:numéro
| |
prop-fr:pages
| |
prop-fr:pagesTotales
| |
prop-fr:périodique
|
- The American Mathematical Monthly (fr)
- The American Mathematical Monthly (fr)
|
prop-fr:site
|
- Institut de mathématiques Steklov (fr)
- Institut de mathématiques Steklov (fr)
|
prop-fr:titre
|
- --08-12
- Proof of Recursive Unsolvability of Hilbert's Tenth Problem (fr)
|
prop-fr:url
|
- http://logic.pdmi.ras.ru/Hilbert10/index.html|titre=Welcome to Hilbert's Tenth Problem page! (fr)
- http://logic.pdmi.ras.ru/~yumat/personaljournal/H10history/H10histe.pdf|titre=Hilbert's Tenth Problem: What can we do with Diophantine equations? (fr)
- http://logic.pdmi.ras.ru/Hilbert10/index.html|titre=Welcome to Hilbert's Tenth Problem page! (fr)
- http://logic.pdmi.ras.ru/~yumat/personaljournal/H10history/H10histe.pdf|titre=Hilbert's Tenth Problem: What can we do with Diophantine equations? (fr)
|
prop-fr:volume
| |
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
|
- Gauthier-Villars (fr)
- Gauthier-Villars (fr)
|
dct:subject
| |
rdfs:comment
|
- Le dixième problème de Hilbert fait partie de la liste des 23 problèmes posés par David Hilbert en 1900 à Paris, lors de sa conférence au congrès international des mathématiciens. Il énonce : X. — De la possibilité de résoudre une équation diophantienne. On donne une équation diophantienne à un nombre quelconque d'inconnues et à coefficients entiers rationnels : On demande de trouver une méthode par laquelle, au moyen d'un nombre fini d'opérations, on pourra distinguer si l'équation est résoluble en nombres entiers rationnels. (fr)
- Le dixième problème de Hilbert fait partie de la liste des 23 problèmes posés par David Hilbert en 1900 à Paris, lors de sa conférence au congrès international des mathématiciens. Il énonce : X. — De la possibilité de résoudre une équation diophantienne. On donne une équation diophantienne à un nombre quelconque d'inconnues et à coefficients entiers rationnels : On demande de trouver une méthode par laquelle, au moyen d'un nombre fini d'opérations, on pourra distinguer si l'équation est résoluble en nombres entiers rationnels. (fr)
|
rdfs:label
|
- Dixième problème de Hilbert (fr)
- Dziesiąty problem Hilberta (pl)
- Décimo problema de Hilbert (es)
- Décimo problema de Hilbert (pt)
- Hilbert's tenth problem (en)
- Hilberts tionde problem (sv)
- 希爾伯特第十問題 (zh)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |