"recursion theory" - related articles and key terms

Related terms: relative computability   recursively enumerable sets   recursive function   total recursive function   logic empirical   turing degrees   uncountably many   calculable   effectively calculable   algorithmically   priority method   sufficiently strong   logical inference   any function   stephen kleene   constructive mathematics   turing jump   if the word   models of computation   medieval logicians   consistency proof   total computable   finite sequence   total computable function   partial recursive function   relevance logic   second order arithmetic   hilbert's program

Wikipedia sources: Computability theory   Mathematical logic   Computable function   Recursively enumerable set   Logic


Context for words: recursion   theory