Putnam, trabajando con Martin Davis y Julia Robinson, demostró que el teorema de Matiyasévich era suficiente para probar que no existe un algoritmo general como el descrito.