El dilema era saber si existían problemas no resolubles por la Máquina de Turing, porque carecían de solución algoritmica o por que esta no podía resolverlos.