Entscheidungsproblem

The Entscheidungsproblem, or "decision problem," is a challenge in mathematical logic and computer science that asks whether there is a general algorithm that can determine the truth or falsehood of any given statement in first-order logic. The problem was first proposed by mathematician David Hilbert in 1928 as part of his broader program to establish a solid foundation for all of mathematics.