Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Μ_operator> ?p ?o }
Showing triples 1 to 59 of
59
with 100 triples per page.
- Μ_operator abstract "In computability theory, the μ operator, minimization operator, or unbounded search operator searches for the least natural number with a given property. Adding the μ-operator to the five primitive recursive operators makes it possible to define all computable functions (given that the Church-Turing thesis is true).".
- Μ_operator wikiPageID "693197".
- Μ_operator wikiPageLength "28994".
- Μ_operator wikiPageOutDegree "34".
- Μ_operator wikiPageRevisionID "593823407".
- Μ_operator wikiPageWikiLink Category:Computability_theory.
- Μ_operator wikiPageWikiLink Church-Turing_thesis.
- Μ_operator wikiPageWikiLink Church–Turing_thesis.
- Μ_operator wikiPageWikiLink Computability_theory.
- Μ_operator wikiPageWikiLink Computable_function.
- Μ_operator wikiPageWikiLink Constructive_mathematics.
- Μ_operator wikiPageWikiLink Constructivism_(mathematics).
- Μ_operator wikiPageWikiLink Counter_machine.
- Μ_operator wikiPageWikiLink George_Boolos.
- Μ_operator wikiPageWikiLink Indicator_function.
- Μ_operator wikiPageWikiLink John_P._Burgess.
- Μ_operator wikiPageWikiLink Markovs_principle.
- Μ_operator wikiPageWikiLink Marvin_L._Minsky.
- Μ_operator wikiPageWikiLink Marvin_Minsky.
- Μ_operator wikiPageWikiLink Mathematical_induction.
- Μ_operator wikiPageWikiLink Mu-recursive_function.
- Μ_operator wikiPageWikiLink Mu_recursive_function.
- Μ_operator wikiPageWikiLink Natural_number.
- Μ_operator wikiPageWikiLink Partial_function.
- Μ_operator wikiPageWikiLink Partial_recursive_function.
- Μ_operator wikiPageWikiLink Peano_Axioms.
- Μ_operator wikiPageWikiLink Peano_axioms.
- Μ_operator wikiPageWikiLink Predicate_(mathematical_logic).
- Μ_operator wikiPageWikiLink Predicate_(mathematics).
- Μ_operator wikiPageWikiLink Primitive_recursive.
- Μ_operator wikiPageWikiLink Primitive_recursive_function.
- Μ_operator wikiPageWikiLink Primitive_recursive_functions.
- Μ_operator wikiPageWikiLink Recursion_theory.
- Μ_operator wikiPageWikiLink Register_machine.
- Μ_operator wikiPageWikiLink Representing_function.
- Μ_operator wikiPageWikiLink Richard_Jeffrey.
- Μ_operator wikiPageWikiLink Stephen_Cole_Kleene.
- Μ_operator wikiPageWikiLink Stephen_Kleene.
- Μ_operator wikiPageWikiLink Total_function.
- Μ_operator wikiPageWikiLink Total_recursive_function.
- Μ_operator wikiPageWikiLink Μ-recursive_function.
- Μ_operator wikiPageWikiLinkText "unbounded iteration".
- Μ_operator wikiPageWikiLinkText "Μ operator".
- Μ_operator wikiPageWikiLinkText "μ operator".
- Μ_operator hasPhotoCollection Μ_operator.
- Μ_operator wikiPageUsesTemplate Template:Lowercase.
- Μ_operator subject Category:Computability_theory.
- Μ_operator comment "In computability theory, the μ operator, minimization operator, or unbounded search operator searches for the least natural number with a given property. Adding the μ-operator to the five primitive recursive operators makes it possible to define all computable functions (given that the Church-Turing thesis is true).".
- Μ_operator label "Μ operator".
- Μ_operator sameAs Μ-operatoro.
- Μ_operator sameAs Minimalizzazione.
- Μ_operator sameAs Operador_µ.
- Μ_operator sameAs m.0339j3.
- Μ_operator sameAs Операція_мінімізації.
- Μ_operator sameAs Q307772.
- Μ_operator sameAs Q307772.
- Μ_operator sameAs Μ算子.
- Μ_operator wasDerivedFrom Μ_operator?oldid=593823407.
- Μ_operator isPrimaryTopicOf Μ_operator.