Una razón es que no hay un algoritmo para probar la igualdad de dos números computables.