Title: The Entscheidungsproblem has been solved
Subjects: Decision making, Mathematical models