Initiation à la calculabilité - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Quadrature Année : 2012

Initiation à la calculabilité

David Monniaux

Résumé

Le problème de savoir si un système d'équations diophantiennes, c'est-à-dire polynomiales et à solutions entières, a des solutions n'a a priori rien à voir avec les bugs des logiciels informatiques. La théorie de la calculabilité établit pourtant un lien : un résultat classique est que savoir si un système d'équations diophantiennes a une solution est un problème du même type que déterminer si un programme informatique va atteindre un certain état.
Fichier principal
Vignette du fichier
calculabilite1.pdf (300.91 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01446372 , version 1 (27-01-2017)

Identifiants

  • HAL Id : hal-01446372 , version 1

Citer

David Monniaux. Initiation à la calculabilité. Quadrature, 2012, 86, pp.17-28. ⟨hal-01446372⟩
193 Consultations
1095 Téléchargements

Partager

Gmail Facebook X LinkedIn More