La respuesta negativa al "Entscheidungsproblem" fue dada por Alonzo Church en 1936 e independientemente, muy poco tiempo después por Alan Turing, también en 1936.