Corpus ID: 119323902

On effective undecidability and Post's problem

@article{Westerbaan2014OnEU,
  title={On effective undecidability and Post's problem},
  author={Bas Westerbaan},
  journal={arXiv: Logic},
  year={2014}
}
  • Bas Westerbaan
  • Published 2014
  • Mathematics
  • arXiv: Logic
  • 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. 

    Figures from this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 26 REFERENCES
    COMPLETE RECURSIVELY ENUMERABLE SETS
    6
    The Inconsistency of Certain Formal Logics
    157
    Classical recursion theory
    947
    An Unsolvable Problem of Elementary Number Theory
    1228
    Systems of Logic Based on Ordinals
    439
    Introduction to Lambda Calculus
    33