Al problema en cuestión se le denominó "Entscheidungsproblem".