operador µ
Sign in to saveAlso known as minimization operator, unbounded search operator, mu operator
concept in computability theory
Wikidata facts
- Instance of
- operator
Show 2 more facts
- studied by
- computability theory
- maintained by WikiProject
- WikiProject Mathematics
via Wikidata · CC0
Article · Português
Em Teoria da computabilidade, o operador μ ou operador de minimização procura pelo menor número natural com uma dada propriedade. Adicionando o μ-operador aos cinco operadores primitivos recursivos, é possivel definir todas as funções de computabilidade (dado que a tese de Church-Turing é verdadeira).
Abstract from DBpedia / Wikipedia · CC BY-SA