About: Recursion theory

Property	Value
rdf:type	skos:Concept
rdfs:label	Recursion theory
skos:broader	dbpedia:Category:Mathematical_logic
skos:prefLabel	Recursion theory
is skos:broader of	dbpedia:Category:Effective_descriptive_set_theory dbpedia:Category:Combinatory_logic dbpedia:Category:Theory_of_computation dbpedia:Category:Lambda_calculus
is skos:subject of	dbpedia:Recursion_(computer_science) dbpedia:Turing_machine dbpedia:Church–Turing_thesis dbpedia:Post_correspondence_problem dbpedia:Recursively_enumerable_language dbpedia:Computable_number dbpedia:Computable_function dbpedia:Smn_theorem dbpedia:Word_problem_(computability) dbpedia:Analytical_hierarchy dbpedia:Automatic_semigroup dbpedia:Forcing_(recursion_theory) dbpedia:High_(computability) dbpedia:Bounded_quantifier dbpedia:List_of_undecidable_problems dbpedia:Course-of-values_recursion dbpedia:Creative_and_productive_sets dbpedia:Computable_analysis dbpedia:Computable_isomorphism dbpedia:Computation dbpedia:Craig's_theorem dbpedia:ELEMENTARY dbpedia:Grzegorczyk_hierarchy dbpedia:Gödel_numbering_for_sequences dbpedia:History_of_the_Church–Turing_thesis dbpedia:Kleene's_T_predicate dbpedia:Many-one_reduction dbpedia:Martin_measure dbpedia:Morphological_computation_(robotics) dbpedia:Myhill_isomorphism_theorem dbpedia:Lambda_calculus dbpedia:Μ-recursive_function dbpedia:Primitive_recursive_function dbpedia:Recursive_set dbpedia:Kolmogorov_complexity dbpedia:Oracle_machine dbpedia:Recursively_enumerable_set dbpedia:Reverse_mathematics dbpedia:Algorithm_characterizations dbpedia:Alpha_recursion_theory dbpedia:Complete_numbering dbpedia:Computability_logic dbpedia:Effectively_separable dbpedia:Hyperarithmetical_theory dbpedia:Index_set_(recursion_theory) dbpedia:Interactive_computation dbpedia:Limiting_recursive dbpedia:Low_(computability) dbpedia:Arithmetical_hierarchy dbpedia:Halting_problem dbpedia:Post's_theorem dbpedia:Recursive_language dbpedia:Busy_beaver dbpedia:König's_lemma dbpedia:Kleene's_recursion_theorem dbpedia:Arithmetical_set dbpedia:Automatic_group dbpedia:Reduction_(recursion_theory) dbpedia:Chain_rule_for_Kolmogorov_complexity dbpedia:Church–Turing–Deutsch_principle dbpedia:Computation_in_the_limit dbpedia:Decision_problem dbpedia:Effective_method dbpedia:Kolakoski_sequence dbpedia:McCarthy_Formalism dbpedia:Entscheidungsproblem dbpedia:Ackermann_function dbpedia:Algorithm_examples dbpedia:Maximal_set dbpedia:Computability_theory dbpedia:Description_number dbpedia:Effective_dimension dbpedia:Enumeration dbpedia:Low_basis_theorem dbpedia:Malament–Hogarth_spacetime dbpedia:Mutual_recursion dbpedia:PA_degree dbpedia:Recursive_ordinal dbpedia:Richardson's_theorem dbpedia:Simple_set dbpedia:Μ_operator dbpedia:Numbering_(computability_theory) dbpedia:Post–Turing_machine dbpedia:Recursive_languages_and_sets dbpedia:Specker_sequence dbpedia:Tarski–Kuratowski_algorithm dbpedia:Trakhtenbrot's_theorem dbpedia:Truth_table_reduction dbpedia:Turing_jump dbpedia:Turing_machine_examples dbpedia:Von_Neumann_universal_constructor dbpedia:Wolfram's_2-state_3-symbol_Turing_machine dbpedia:Wang_B-machine dbpedia:Turing_degree dbpedia:Turing_machine_gallery dbpedia:Utm_theorem dbpedia:Primitive_recursive_functional dbpedia:Turing_reduction