Definition
Gödel Number
Given a Gödel numbering
of a set of syntactic objects, the Gödel number of is the natural number The number depends on the chosen numbering
; within that numbering, it uniquely identifies .
Gödel Number
Given a Gödel numbering
of a set of syntactic objects, the Gödel number of is the natural number The number depends on the chosen numbering
; within that numbering, it uniquely identifies .