加载中…
2014-09-03
On effective undecidability and Post's problem
Bas Westerbaan
文献摘要
In this thesis, we will look at some known and some previously uninvestigated notions of effective undecidability. We try to discover how far we can stretch effective undecidability in the hope to get a more tractable solution to Post’s problem, than that of Friedberg and Muchnik.
讨论
0讲解博客
生成讲解博客的中文版本
AI智能校验
生成AI智能校验的中文版本