Original: In mathematics , the ( , German for ` decision problem ' ) is a challenge posed by David Hilbert in 1928 . The asks for an algorithm that will take as input a description of a formal language and a mathematical statement in the language and produce as output either '' True '' or '' False '' according to whether the statement is true or false .
Simplified: 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 .