dr. Bas Westerbaan

github

On effective undecidability and Post's problem

11 Jul 2012 [ pdf · arXiv ]

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