μ operator
Sign in to saveAlso known as minimization operator, unbounded search operator, mu operator
concept in computability theory
Connections
μ-recursive function
Entity
natural number
Entity
partial function
Entity
primitive recursive function
Entity
International Standard Book Number
Entity
digital object identifier
Entity
mathematical induction
Entity
OCLC, Inc.
Entity
Marvin Minsky
Entity
Cambridge University Press
Entity
computability theory
Entity
Peano axioms
Entity
indicator function
Entity
Stephen Cole Kleene
Entity
arithmetic function
Entity
Turing completeness
Entity
existential quantification
Entity
predicate
Entity
program loop
Entity
abstract machine
Entity