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.