De este 'debate' nació directamente la base para la informática teórica de Alonzo Church y Alan Turing.