Il s'agissait historiquement du premier problème pour lequel il était possible de prouver l'indecidabilité.
Il s'agissait de la première question, même avant le problème des haltes, pour lequel l'indécidabilité pouvait être prouvée.