the entscheidungsproblem (german, "decision problem") is a famous problem of mathematics. david hilbert formulated the problem in 1928: is there an algorithm that will take a formal language, and a logical statement in that language, and that will output "true" or "false", depending on the truth value of the statement? the algorithm does not tell how it reaches the answer, nor prove it, as long as the answer is always correct.