Kleene's recursion theorem
Sign in to saveTheorem in computability theory
Connections
Elsevier
Entity
μ-recursive function
Entity
Journal of Symbolic Logic
Entity
sₘₙ theorem
Entity
Hartley Rogers, Jr.
Entity
International Standard Book Number
Entity
natural number
Entity
digital object identifier
Entity
Cambridge
Entity
International Standard Serial Number
Entity
factorial
Entity
Lisp
Entity
empty set
Entity
Turing machine
Entity
OCLC, Inc.
Entity
JSTOR
Organization
graph of a function
Entity
Cambridge University Press
Entity
finite set
Entity
ordered pair
Entity