dr. Bas Westerbaan

email github scholar

<On effective undecidability and Post's problem

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.