What is the Entscheidungsproblem?
The Entscheidungsproblem, or decision problem, asked whether there exists a general procedure that can determine, for any given mathematical statement, whether it is provable from a set of axioms. My work showed that such a universal algorithm cannot exist. This fundamentally limits what can be achieved through formal methods and computation.