recursion theory love

recursion theory

Definitions

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?".

Etymologies

Sorry, no etymologies found.

Examples

    Sorry, no example sentences found.

Comments

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