Así pues, no sólo no existe un algoritmo general para detectar la resolubilidad de las ecuaciones diofánticas, sino que también puede demostrarse que ni siquiera existe un algoritmo particular para la familia de ecuaciones con un único parámetro.