|
|
|
Does there exist an Algorithm for deciding whether or not a specific mathematical assertion does or does not have a proof? The decision problem is also known as the Entscheidungsproblem (which, not so coincidentally, is German for ``decision problem''). Using the concept of the Turing Machine, Turing showed the answer to be Negative for elementary Number Theory. J. Robinson and Tarski showed the decision problem is undecidable for arbitrary Fields.