DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Primitive_recursive_function> ?p ?o }

• Primitive_recursive_function abstract "In computability theory, primitive recursive functions are a class of functions that are defined using primitive recursion and composition as central operations and are a strict subset of the total µ-recursive functions (µ-recursive functions are also called partial recursive). Primitive recursive functions form an important building block on the way to a full formalization of computability. These functions are also important in proof theory.Most of the functions normally studied in number theory are primitive recursive. For example: addition, division, factorial, exponential and the nth prime are all primitive recursive. So are many approximations to real-valued functions. In fact, it is difficult to devise a total recursive function that is not primitive recursive, although some are known (see the section on Limitations below).The set of primitive recursive functions is known as PR in computational complexity theory.".
• Primitive_recursive_function wikiPageExternalLink 0603063v3.
• Primitive_recursive_function wikiPageExternalLink 1230396909.
• Primitive_recursive_function wikiPageExternalLink compute.pdf.
• Primitive_recursive_function wikiPageID "24829".
• Primitive_recursive_function wikiPageLength "26356".
• Primitive_recursive_function wikiPageOutDegree "97".
• Primitive_recursive_function wikiPageRevisionID "681990218".
• Primitive_recursive_function wikiPageWikiLink Ackermann_function.
• Primitive_recursive_function wikiPageWikiLink Addition.
• Primitive_recursive_function wikiPageWikiLink Arity.
• Primitive_recursive_function wikiPageWikiLink Axiom.
• Primitive_recursive_function wikiPageWikiLink BlooP_and_FlooP.
• Primitive_recursive_function wikiPageWikiLink Cantors_diagonal_argument.
• Primitive_recursive_function wikiPageWikiLink Category:Computability_theory.
• Primitive_recursive_function wikiPageWikiLink Category:Functions_and_mappings.
• Primitive_recursive_function wikiPageWikiLink Category:Recursion.
• Primitive_recursive_function wikiPageWikiLink Category:Theory_of_computation.
• Primitive_recursive_function wikiPageWikiLink Computability_theory.
• Primitive_recursive_function wikiPageWikiLink Computable_function.
• Primitive_recursive_function wikiPageWikiLink Computational_complexity_theory.
• Primitive_recursive_function wikiPageWikiLink Consistency.
• Primitive_recursive_function wikiPageWikiLink Consistency_proof.
• Primitive_recursive_function wikiPageWikiLink Constant_term.
• Primitive_recursive_function wikiPageWikiLink Course-of-values_recursion.
• Primitive_recursive_function wikiPageWikiLink Division_(mathematics).
• Primitive_recursive_function wikiPageWikiLink Domain_of_a_function.
• Primitive_recursive_function wikiPageWikiLink Double_recursion.
• Primitive_recursive_function wikiPageWikiLink Douglas_Hofstadter.
• Primitive_recursive_function wikiPageWikiLink Exponential_function.
• Primitive_recursive_function wikiPageWikiLink Exponentiation.
• Primitive_recursive_function wikiPageWikiLink Factorial.
• Primitive_recursive_function wikiPageWikiLink Field_(mathematics).
• Primitive_recursive_function wikiPageWikiLink Finitism.
• Primitive_recursive_function wikiPageWikiLink For_loop.
• Primitive_recursive_function wikiPageWikiLink Forcing_(mathematics).
• Primitive_recursive_function wikiPageWikiLink Function_(mathematics).
• Primitive_recursive_function wikiPageWikiLink Function_composition.
• Primitive_recursive_function wikiPageWikiLink GOTO.
• Primitive_recursive_function wikiPageWikiLink George_Boolos.
• Primitive_recursive_function wikiPageWikiLink Goodstein_function.
• Primitive_recursive_function wikiPageWikiLink Goodsteins_theorem.
• Primitive_recursive_function wikiPageWikiLink Goto.
• Primitive_recursive_function wikiPageWikiLink Grzegorczyk_hierarchy.
• Primitive_recursive_function wikiPageWikiLink Gxc3xb6dels_incompleteness_theorem.
• Primitive_recursive_function wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
• Primitive_recursive_function wikiPageWikiLink Gödel,_Escher,_Bach.
• Primitive_recursive_function wikiPageWikiLink Gödel_number.
• Primitive_recursive_function wikiPageWikiLink Gödel_numbering.
• Primitive_recursive_function wikiPageWikiLink Halting_problem.
• Primitive_recursive_function wikiPageWikiLink Identity_function.
• Primitive_recursive_function wikiPageWikiLink If_and_only_if.
• Primitive_recursive_function wikiPageWikiLink Indicator_function.
• Primitive_recursive_function wikiPageWikiLink John_P._Burgess.
• Primitive_recursive_function wikiPageWikiLink LOOP_(programming_language).
• Primitive_recursive_function wikiPageWikiLink Machine_that_always_halts.
• Primitive_recursive_function wikiPageWikiLink Machines_that_always_halt.
• Primitive_recursive_function wikiPageWikiLink Monus.
• Primitive_recursive_function wikiPageWikiLink Mu-operator.
• Primitive_recursive_function wikiPageWikiLink Mu_operator.
• Primitive_recursive_function wikiPageWikiLink Natural_number.
• Primitive_recursive_function wikiPageWikiLink Number_theory.
• Primitive_recursive_function wikiPageWikiLink Operation_(mathematics).
• Primitive_recursive_function wikiPageWikiLink PR_(complexity).
• Primitive_recursive_function wikiPageWikiLink Paris–Harrington_theorem.
• Primitive_recursive_function wikiPageWikiLink Partial_function.
• Primitive_recursive_function wikiPageWikiLink Partial_recursive_function.
• Primitive_recursive_function wikiPageWikiLink Peano_arithmetic.
• Primitive_recursive_function wikiPageWikiLink Peano_axioms.
• Primitive_recursive_function wikiPageWikiLink Peano_postulates.
• Primitive_recursive_function wikiPageWikiLink Primality_test.
• Primitive_recursive_function wikiPageWikiLink Primitive_recursive_arithmetic.
• Primitive_recursive_function wikiPageWikiLink Primitive_recursive_function.
• Primitive_recursive_function wikiPageWikiLink Primitive_recursive_functional.
• Primitive_recursive_function wikiPageWikiLink Primitive_recursive_ordinal_function.
• Primitive_recursive_function wikiPageWikiLink Primitive_recursive_set_function.
• Primitive_recursive_function wikiPageWikiLink Projection_(set_theory).
• Primitive_recursive_function wikiPageWikiLink Projection_function.
• Primitive_recursive_function wikiPageWikiLink Proof_theory.
• Primitive_recursive_function wikiPageWikiLink Ramsey_theory.
• Primitive_recursive_function wikiPageWikiLink Rational_number.
• Primitive_recursive_function wikiPageWikiLink Recursion_(computer_science).
• Primitive_recursive_function wikiPageWikiLink Recursion_theory.
• Primitive_recursive_function wikiPageWikiLink Recursive_definition.
• Primitive_recursive_function wikiPageWikiLink Recursively_enumerable.
• Primitive_recursive_function wikiPageWikiLink Recursively_enumerable_set.
• Primitive_recursive_function wikiPageWikiLink Richard_Dedekind.
• Primitive_recursive_function wikiPageWikiLink Richard_Jeffrey.
• Primitive_recursive_function wikiPageWikiLink Robert_I._Soare.
• Primitive_recursive_function wikiPageWikiLink Rózsa_Péter.
• Primitive_recursive_function wikiPageWikiLink Set_theory.
• Primitive_recursive_function wikiPageWikiLink Stephen_Cole_Kleene.
• Primitive_recursive_function wikiPageWikiLink Stephen_Kleene.
• Primitive_recursive_function wikiPageWikiLink Subset.
• Primitive_recursive_function wikiPageWikiLink Sudan_function.
• Primitive_recursive_function wikiPageWikiLink Total_function.
• Primitive_recursive_function wikiPageWikiLink Total_recursive_function.
• Primitive_recursive_function wikiPageWikiLink Truth_value.
• Primitive_recursive_function wikiPageWikiLink Turing-complete_language.
• Primitive_recursive_function wikiPageWikiLink Turing_completeness.

• next