A natural number coding a finite syntactic object under a fixed Gödel numbering. For program descriptions it records a function in intension; different codes may denote the same function in extension.
New to topics? Read the docs here!
New to topics? Read the docs here!