Jump to content

erikduop

New Members
  • Posts

    1
  • Joined

  • Last visited

Everything posted by erikduop

  1. Classical computability theory originated with the seminal work of Gödel, Church, Turing, Kleene and Post in the 1930's, and includes a wide spectrum of topics, such as the theory of reducibilities and their degree structures, computably enumerable sets and their automorphisms, subrecursive hierarchy classifications, computable structures, and complexity theory relating to the preceding. There are still very many open questions, both of a technical nature, concerning extensions of what is known about the Turing degrees and their context in the enumeration degrees, and similar questions for other natural reducibility degree structures, and less well-defined questions concerning the scope of relevance of such work. ______________ VLC Player
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.