We introduce several notions of effective undecidability and show they are equivalent to previously investigated notions of completeness and creativity.
We introduce several notions of effective undecidability and show they are equivalent to previously investigated notions of completeness and creativity.