Como la existencia de dicho conjunto no parecía plausible, Wang conjeturó que el Problema Dominó es recursivo.