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)
Licence
Loading...

Dates et versions

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

Licence

Identifiants

  • HAL Id : hal-01446372 , version 1

Citer

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

Partager

  • More