Difference between revisions of "Gödel Numbering System"
Jump to navigation
Jump to search
| Line 5: | Line 5: | ||
[[Category:Meta Mathematics]] | [[Category:Meta Mathematics]] | ||
[[Category:Meta Programming]] | [[Category:Meta Programming]] | ||
[[Category:Gödel Number]] | |||
Revision as of 18:30, 28 January 2022
According to Wikipedia:
Gödel numbering is a function that assigns to each symbol and well-formed formula of some formal language a unique natural number, called its Gödel number.