11 Jul 2012 · done · supervised by dr. Wim Veldman [pdf · arXiv]
We introduce several notions of effective undecidability and show they are equivalent to previously investigated notions of completeness and creativity.