Bas Westerbaan

home

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.