Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical operator
|
| gptkbp:alsoKnownAs |
minimization operator
|
| gptkbp:category |
gptkb:logic
|
| gptkbp:defines |
returns the least natural number satisfying a given predicate
|
| https://www.w3.org/2000/01/rdf-schema#label |
μ-operator
|
| gptkbp:introduced |
gptkb:Alonzo_Church
|
| gptkbp:relatedTo |
gptkb:lambda_calculus
Turing computability |
| gptkbp:symbol |
μ
|
| gptkbp:usedFor |
defining partial recursive functions
|
| gptkbp:usedIn |
recursion theory
|
| gptkbp:bfsParent |
gptkb:Kleene's_normal_form_theorem
|
| gptkbp:bfsLayer |
8
|