recursion theory love

recursion theory


from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun logic A branch of mathematical logic studying computable functions and Turing degrees, concerned with questions such as "What does it mean for a function from the natural numbers to themselves to be computable?" and "Can noncomputable functions be classified into a hierarchy based on their level of noncomputability?".


Sorry, no etymologies found.


    Sorry, no example sentences found.


Log in or sign up to get involved in the conversation. It's quick and easy.