|
|
Definition of Gödel number
1. Noun. (logic) A number uniquely assigned to each symbol, and to each well-formed formula of some formal language. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Gödel Number
Other Resources:
|
|
1. Noun. (logic) A number uniquely assigned to each symbol, and to each well-formed formula of some formal language. ¹
¹ Source: wiktionary.com