Para el caso de números enteros (como Hilbert había planteado inicialmente), el truco de los cuatro cuadrados muestra que no hay algoritmo para ecuaciones que no tengan más de 36 incógnitas.