Gödel number
= Gödel number
{c}
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>.
= Gödel number
{c}
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>.