con un’Applicazione all’Entscheidungsproblem